A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques.
A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques.
Preface Part I. Object-Oriented Distributed Systems: 1. Issues in distributed systems P. F. Linington 2. Distributed systems, an ODP perspective P. F. Linington 3. Issues in formal methods H. Bowman and J. Derrick Part II. Specification Notations: 4. Finite state machine based: SDL R. O. Sinnott and D. Hogrefe 5. Process calculi: E-LOTOS T. Robles, G. Huecas, J. Quemada, A. Verdejo and L. F. Llana-Dìaz 6. State-based approaches: from Z to object-Z G. Smith 7. The united modelling language S. Kent Part III. Dynamic Reconfiguration: 8. Actors: a model for reasoning about open distributed systems G. A. Agha, P. Thati and R. Ziaei 9. ¿-calculi P. Sewell 10. Mobile mabients l. Cardelli and A. D. Gordon Part IV. Subtyping: 11. Subtyping in distributed systems J. Indulska 12. Behavioural subtyping using invariants and constraints B. H. Liskov and J. M. Wing 13. Behavioural typing for objects and process calculi E. Najm, A. Nimour and J-B. Stefani Part V. Concurrent OO Language: 14. Reflections in concurrent object-oriented languages H. Masuhara and A. Yonezawa 15. Inheritance in concurrent objects C. Laneve Part VI. Nonfunctional Requirements: 16. Multimedia in the E-LOTOS process algebra G. Leduc 17. Specifying and analysing multimedia systems L. Blair and G. Blair Part VII. Development Architectures: 18. Piccola - a small composition language F. Achermann, M. Lumpe, J.-G. Schneider and O. Nierstrasz 19. Specification architectures K. J. Turner and R. O. Sinnott 20. Viewpoints modelling H. Bowman and J. Derrick Indices.
Preface Part I. Object-Oriented Distributed Systems: 1. Issues in distributed systems P. F. Linington 2. Distributed systems, an ODP perspective P. F. Linington 3. Issues in formal methods H. Bowman and J. Derrick Part II. Specification Notations: 4. Finite state machine based: SDL R. O. Sinnott and D. Hogrefe 5. Process calculi: E-LOTOS T. Robles, G. Huecas, J. Quemada, A. Verdejo and L. F. Llana-Dìaz 6. State-based approaches: from Z to object-Z G. Smith 7. The united modelling language S. Kent Part III. Dynamic Reconfiguration: 8. Actors: a model for reasoning about open distributed systems G. A. Agha, P. Thati and R. Ziaei 9. ¿-calculi P. Sewell 10. Mobile mabients l. Cardelli and A. D. Gordon Part IV. Subtyping: 11. Subtyping in distributed systems J. Indulska 12. Behavioural subtyping using invariants and constraints B. H. Liskov and J. M. Wing 13. Behavioural typing for objects and process calculi E. Najm, A. Nimour and J-B. Stefani Part V. Concurrent OO Language: 14. Reflections in concurrent object-oriented languages H. Masuhara and A. Yonezawa 15. Inheritance in concurrent objects C. Laneve Part VI. Nonfunctional Requirements: 16. Multimedia in the E-LOTOS process algebra G. Leduc 17. Specifying and analysing multimedia systems L. Blair and G. Blair Part VII. Development Architectures: 18. Piccola - a small composition language F. Achermann, M. Lumpe, J.-G. Schneider and O. Nierstrasz 19. Specification architectures K. J. Turner and R. O. Sinnott 20. Viewpoints modelling H. Bowman and J. Derrick Indices.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309
