Integrating BON and Object-Z

Richard F. Paige; Phillip J. Brooke

doi:10.5381/jot.2004.3.3.a3

Integrating BON and Object-Z

Richard F. Paige, Phillip J. Brooke

Computer Science

Research output: Contribution to journal › Article › peer-review

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.

Original language	Undefined/Unknown
Pages (from-to)	121-141
Number of pages	21
Journal	Journal of Object Technology
Volume	3
Issue number	3
DOIs	https://doi.org/10.5381/jot.2004.3.3.a3
Publication status	Published - 2004

Access to Document

10.5381/jot.2004.3.3.a3

http://dx.doi.org/10.5381/jot.2004.3.3.a3

Cite this

@article{eaa068b7277f4db687c7fb79325bff01,

title = "Integrating BON and Object-Z",

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.",

author = "Paige, {Richard F.} and Brooke, {Phillip J.}",

year = "2004",

doi = "10.5381/jot.2004.3.3.a3",

language = "Undefined/Unknown",

volume = "3",

pages = "121--141",

journal = "Journal of Object Technology",

publisher = "Journal of Object Technology",

number = "3",

}

TY - JOUR

T1 - Integrating BON and Object-Z

AU - Paige, Richard F.

AU - Brooke, Phillip J.

PY - 2004

Y1 - 2004

N2 - 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.

AB - 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.

U2 - 10.5381/jot.2004.3.3.a3

DO - 10.5381/jot.2004.3.3.a3

M3 - Article

VL - 3

SP - 121

EP - 141

JO - Journal of Object Technology

JF - Journal of Object Technology

IS - 3

ER -