Adding rigour to object-oriented analysis
- 1 January 1996
- journal article
- Published by Institution of Engineering and Technology (IET) in Software Engineering Journal
- Vol. 11 (5) , 270-280
- https://doi.org/10.1049/sej.1996.0037
Abstract
The rigorous object-oriented analysis (ROOA) method integrates formal description techniques with standard object-oriented analysis methods. ROOA provides a systematic development process which, starting from a set of informal requirements, produces an executable objected-oriented analysis model. The model is expressed in LOTOS and provides a precise and unambiguous formal requirements specification of the static, dynamic and functional aspects of a problem. As the specification is executable, prototyping can be used to validate the specification against the requirements. Inconsistencies, omissions and ambiguities in the requirements can be detected sufficiently early in a development so that feedback can be given to the requirement capture process.Keywords
This publication has 8 references indexed in Scilit:
- A specification language for object-oriented analysis and designPublished by Springer Nature ,2006
- Combining object-oriented analysis and formal description techniquesPublished by Springer Nature ,2006
- Case StudiesPublished by Springer Nature ,1995
- Rigorous object-oriented analysisPublished by Springer Nature ,1994
- O-O Requirements Analysis: an Agent PerspectivePublished by Springer Nature ,1993
- Inheritance in LOTOSPublished by Elsevier ,1992
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985