Integrating BON and Object-Z.
Richard F. Paige, Phillip J. Brooke · The Journal of Object Technology · 2004
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.An extensible CASE tool for BON is also described that supports the integration with an Object-Z code generation engine.