Object-oriented development: the fusion method
Object-oriented development: the fusion method
Designing object systems: object-oriented modelling with Syntropy
Designing object systems: object-oriented modelling with Syntropy
Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
The Unified Modeling Language user guide
The Unified Modeling Language user guide
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Computer
The Requirements/Service/Interface (RSI) Approach to Use Case Analysis
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Hi-index | 0.00 |
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the vocabulary needed to specify the behaviour of a video store system. Behaviour is modelled as events, such as the renting of a video by a member of the video store. It also shows how state models can be used to enrich the vocabulary of the type model.The specifications of behaviour are in the form of contracts, with preconditions and postconditions. The "with attitude" part of the sub-title comes from the use of the Object Constraint Language to express the contracts, and to cross-reference the vocabulary of the state models to the vocabulary of the type models.