Other books

Other people who viewed this bought | Other books in this category
Showing items 1 to 10 of 10


Reviews | Bibliographic data
  • Full bibliographic data for Automating Business Modelling

    Automating Business Modelling
    A Guide to Using Logic to Represent Informal Methods and Support Reasoning
    Authors and contributors
    By (author) Yun-Heh Chen-Burger, By (author) David Robertson
    Physical properties
    Format: Hardback
    Number of pages: 339
    Width: 155 mm
    Height: 235 mm
    Thickness: 20 mm
    Weight: 659 g
    ISBN 13: 9781852338350
    ISBN 10: 1852338350

    BIC E4L: BUS
    B&T Book Type: NF
    Nielsen BookScan Product Class 3: S4.1
    B&T Modifier: Region of Publication: 01
    B&T Modifier: Subject Development: 10
    LC subject heading:
    BIC subject category V2: KJQ
    LC classification: QA76.9.D3
    BIC subject category V2: KJMD
    Warengruppen-Systematik des deutschen Buchhandels: 17850
    LC subject heading:
    BISAC V2.8: COM032000
    B&T Modifier: Academic Level: 02
    B&T Modifier: Text Format: 01
    LC subject heading: ,
    BISAC V2.8: BUS042000
    B&T Merchandise Category: COM
    BISAC V2.8: BUS083000, BUS091000, COM014000
    Ingram Subject Code: XG
    BISAC V2.8: BUS087000
    LC classification: HD30.23, QA76.9.M3
    BISAC V2.8: BUS049000
    LC subject heading:
    BISAC V2.8: BUS044000, COM021000, COM004000
    B&T General Subject: 228
    BISAC V2.8: BUS098000, COM018000
    LC subject heading:
    Libri: INFO5200, P0041174, VISU2500, P0040920, SIMU5000
    LC subject heading: ,
    DC22: 338.50113, 338.5/01/13
    LC classification: HD30.2 .C473 2005, QA76.76.A65, QA75.5-76.95, TJ210.2-211.495, Q334-342, TA345-345.5, HF5691-5716
    Thema V1.0: KJM, KJMD, UB, KJQ, UNC, KJMV5, KJT, KJMK
    Edition statement
    2005 ed.
    Illustrations note
    6 black & white tables, biography
    Springer London Ltd
    Imprint name
    Springer London Ltd
    Publication date
    03 February 2005
    Publication City/Country
    Table of contents
    Introduction Background Knowledge Problems and Overviews of Approach Logic Formal Support for Data Modelling Formal Support for Process Modelling Reasoning on and Executing Processes Knowledge sharing and Reuse of Models The Use of System: KBST-BM Evaluation of System Conclusion Appendices - A. Generic Models from BSDM B. Example Models of BSDM C. An Industrial Model D. A Model for Family Restaurants E. A Model for Academic Environment F. The Formal Operators in DefBM G. Entity Model Rules and Guidelines H. Process Model Rules and Guidelines I. An Interpreteer for User-Defined Rules J. Model/Rules/Guidelines By Category K. Test Result of Model Rules and Guidelines L. An Example Use of GMA M. Example Use of Simulator References Index