Object-Oriented Behavioral Specifications

• Κύριοι συγγραφείς: Kilov, Haim (Συγγραφέας), Harvey, William (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 1996.
• Σειρά: The Springer International Series in Engineering and Computer Science, 371
• Θέματα: 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.

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...

Πίνακας περιεχομένων:

• 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.