Object-Oriented Behavioral Specifications

Object-Oriented Behavioral Specifications edited by Haim Kilov, William Harvey.

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

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Kilov, Haim (Editor), Harvey, William (Editor)
Format: eBook
Language:English
Published: New York, NY : Springer US : Imprint: Springer, 1996.
Edition:1st ed. 1996.
Series:The Springer International Series in Engineering and Computer Science, 371
Springer eBook Collection.
Subjects:
Software engineering.
Computer science.
Data structures (Computer science).
Information technology.
Business—Data processing.
Programming languages (Electronic computers).
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
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.

Similar Items