Integrating BON and Object-Z.

Richard F. Paige, Phillip J. Brooke

Research output: Contribution to journalArticlepeer-review

95 Downloads (Pure)


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.
Original languageEnglish
Pages (from-to)123-141
JournalJournal of Object Technology
Issue number3
Publication statusPublished - Mar 2004

Bibliographical note

Author can archive publisher's version/PDF.


Dive into the research topics of 'Integrating BON and Object-Z.'. Together they form a unique fingerprint.

Cite this