Lancaster EPrints

Integrating Object-Oriented Analysis and Formal Specification

Araújo, João and Sawyer, Peter (1998) Integrating Object-Oriented Analysis and Formal Specification. Journal of the Brazilian Computer Society, 5 (1).

Full text not available from this repository.

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.

Item Type: Article
Journal or Publication Title: Journal of the Brazilian Computer Society
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 11560
Deposited By: ep_importer_comp
Deposited On: 07 Jul 2011 16:45
Refereed?: No
Published?: Published
Last Modified: 11 Nov 2013 12:14
Identification Number:
URI: http://eprints.lancs.ac.uk/id/eprint/11560

Actions (login required)

View Item