Object-Oriented Behavioral Specifications

Preface. 1. Exactness and Clarity in a Component-based Specification Language; D. Bryan. 2. A Formal Basis for Specifying Object Behaviour; A. Bryant, A. Evans. 3. Information Refraction; B. Harvey, et al. 4. A Pragmatic Approach to Formal Specification; M. Heisel. 5. Anecdotes on Making a Specification Simpler; I. Houston. 6. Invariants in the Trenches; H. Kilov, et al. 7. Fundamentals of Object-Oriented Specification and Modeling of Collective Behaviors; R. Kurki-Suonio. 8. An Overview of Larch/C++: Behavioral Specifications for C++ Modules; G.T. Leavens. 9. Structural Active-Object Systems Fundamentals; T. Minoura. 10. Organizational Culture: An Object-Oriented Framework; J. Morabito, A. Bhate. 11. Specifying and Reasoning About Business Rules in a Semantic Network; L. Morgenstern. 12. Dynamic and Multiple Classification; J.J. Odell. 13. Specifying Business Policy Using Agent-Contract Meta-Constructs; J. Palmer. 14. Architectural Specifications: Modeling and Structuring Behavior Through Rules; C. Paredes, et al. 15. The Search for the Linking Invariant: Behavioral Modeling Versus Modeling Behavior; D. Redberg. 16. Automata Describing Object Behavior; B. Rumpe, C. Klein. 17. Enterprise Modeling with Use Cases; J. Stanford. 18. Formal Object-Oriented Method - FOOM; P. Swatman. Index.