Object-Oriented Behavioral Specifications

• Main Authors: Kilov, Haim. (Author), Harvey, William. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic
• Language: English
• Published: Boston, MA : Springer US, 1996.
• Series: The Springer International Series in Engineering and Computer Science, 371
• Subjects: Computer science.; Information technology.; Business > Data processing.; Software engineering.; Programming languages (Electronic computers).; Data structures (Computer science).; Computer Science.; Software Engineering/Programming and Operating Systems.; Computer Science, general.; Data Structures, Cryptology and Information Theory.; IT in Business.; Programming Languages, Compilers, Interpreters.
• Online Access: View fulltext via EzAccess

Object-Oriented Behavioral Specifications encourages builders of complex information systems to accelerate their move to using the approach of a scientific discipline in analysis rather than the approach of a craft. The focus is on understanding customers' needs and on precise specification of...

Table of Contents:

• Exactness and Clarity in a Component-Based Specification Language
• A Formal Basis for Specifying Object Behaviour
• Information Refraction
• A Pragmatic Approach to Formal Specification
• Anecdotes About Making a Specification Simpler
• Invariants in the Trenches
• Fundamentals of Object-Oriented Specification and Modeling of Collective Behaviors
• An Overview of Larch/C++: Behavioral Specifications for C++ Modules
• Structural Active-Object Systems Fundamentals
• Organizational Culture: An Object-Oriented Framework
• Specifying and Reasoning about Business Rules in a Semantic Network
• Dynamic and Multiple Classification
• Specifying Business Policy Using Agent-Contract Meta-Constructs
• Architectural Specifications: Modeling and Structuring Behavior Through Rules
• The Search for the Linking Invariant: Behavioral Modeling Versus Modeling Behavior
• Automata Describing Object Behavior
• Enterprise Modeling with USE Cases
• Formal Object-Oriented Method Ớ Foom.