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. Language: English