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