12,000

We have over 12,000 students, from over 100 countries, within one of the safest campuses in the UK

93%

93% of Lancaster students go into work or further study within six months of graduating

Home > Research > Publications & Outputs > Integrating Object-Oriented Analysis and Formal...
View graph of relations

« Back

Integrating Object-Oriented Analysis and Formal Specification

Research output: Contribution to journalJournal article

Published

Journal publication date07/1998
JournalJournal of the Brazilian Computer Society
Journal number1
Volume5
Original languageEnglish

Abstract

One of the main inhibitors to the widespread acceptance of formal specification methods is the difficulty of integrating formal specification with the development process. Integrated methods seek to mitigate this difficulty by integrating formal specification with widely used structured requirements analysis methods. Several structured and formal methods are object-oriented. This paper describes a prototype integrated method and support tool called Metamorphosis that exploits the object paradigm to integrate OMT and Object-Z. Metamorphosis is presented here to demonstrate how object-oriented analysis methods such as OMT may be augmented to provide the additional rigour of formal analysis.