Behavioral Specifications of Businesses and Systems

Behavioral Specifications of Businesses and Systems

Paperback(Softcover reprint of the original 1st ed. 1999)

Use Standard Shipping. For guaranteed delivery by December 24, use Express or Expedited Shipping.

Product Details

ISBN-13: 9781461373834
Publisher: Springer US
Publication date: 11/16/2012
Series: The Springer International Series in Engineering and Computer Science , #523
Edition description: Softcover reprint of the original 1st ed. 1999
Pages: 315
Product dimensions: 6.10(w) x 9.25(h) x 0.03(d)

Table of Contents

Preface. 1. Object-oriented transformation; K. Baclawski, et al. 2. Being served: The purposes, strengths and limitations of formal service modelling; B. Cohen. 3. What vs. how of visual modelling: The arrow-diagram logic of visual modelling; Z. Diskin, et al. 4. Meta-modelling semantics of UML; A. Evans, et al. 5. Combining JSD and Cleanroom for object-oriented scenario specification; M. Frappier, R. St-Denis. 6. What is behind UML-RT; R. Grosu, et al. 7. Applying ISO RM-ODP in the specification of CORBA® interfaces and semantics to general ledger systems; J. Hassall, J. Eaton. 8. Component-based algebraic specifications; S. Iida, et al. 9. A meta-model semantics for structural constraints in UML; S. Kent, et al. 10. On the structure of convincing specifications; H. Kilov, A. Ash. 11. Formalising the UML in structured temporal theories; K. Lano, J. Bicarregui. 12. JML: A notation for detailed design; G. Leavens, et al. 13. Agents: Between order and chaos; J. Odell. 14. UML, the future standard software architecture description language? A. Schürr, A. Winter. 15. Using information modelling to define business requirements; M. Shafer. 16. A layered context perspective on enterprises and information systems; I. Simmonds, D. Ing. 17. 30 Things that go wrong in object-oriented modelling with UML 1.3; A. Simons, I. Graham. 18. Formalizing association semantics in terminologies; H.Solbrig.19. On the specification of the business and economic foundations of electronic commerce; A. Thalassinidis, I. Sack. 20. Embedding object-oriented design in system engineering; R. Wieringa. Index.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews