Integrating BON and Object-Z

Richard F. Paige, Phillip J. Brooke

Research output: Contribution to journalArticlepeer-review


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 languageUndefined/Unknown
Pages (from-to)121-141
Number of pages21
JournalJournal of Object Technology
Issue number3
Publication statusPublished - 2004

Cite this