Dave Robertson / Yun-Heh Chen-Burger
Librería Samer Atenea
Librería Aciertas (Toledo)
Kálamo Books
Librería Perelló (Valencia)
Librería Elías (Asturias)
Donde los libros
Librería Kolima (Madrid)
Librería Proteo (Málaga)
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