Integrating BON and Object-Z

By: Richard F. Paige, Phillip J. Brooke

Abstract

A significant limitation with object-oriented formal specification languages, such as Object-Z, is that they lack development and management processes, which can be used to guide the production of reliable, robust object-oriented systems. An integration of an object-oriented methodology, BON, and Object-Z is presented in order to add an industrially validated development process to Object-Z.

Cite as:

Richard F. Paige, Phillip J. Brooke, “Integrating BON and Object-Z”, Journal of Object Technology, Volume 3, no. 3 (March 2004), pp. 121-141, doi:10.5381/jot.2004.3.3.a3.

PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact