Adding rigour to object-oriented analysis

Ana M.D. Moreira, Robert G. Clark

Research output: Contribution to journalArticle

13 Citations (Scopus)

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 requirements capture process.

Original languageEnglish
Pages (from-to)270-280
Number of pages11
JournalSoftware Engineering Journal
Volume11
Issue number5
DOIs
Publication statusPublished - 1 Jan 1996

Fingerprint Dive into the research topics of 'Adding rigour to object-oriented analysis'. Together they form a unique fingerprint.

Cite this