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

School of Computing, Engineering & Digital Technologies

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

140 Downloads (Pure)

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	English
Pages (from-to)	123-141
Journal	Journal of Object Technology
Volume	3
Issue number	3
DOIs	https://doi.org/10.5381/jot.2004.3.3.a3
Publication status	Published - Mar 2004

Bibliographical note

Author can archive publisher's version/PDF.

Access to Document

10.5381/jot.2004.3.3.a3

Full textFinal published version, 388 KBLicence: CC BY-NC-ND

http://www.jot.fm/contents/issue_2004_03/article3.html

Cite this

@article{2cd7893df327437bb95d41b48712a388,

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

note = "Author can archive publisher's version/PDF.",

year = "2004",

month = mar,

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

language = "English",

volume = "3",

pages = "123--141",

journal = "Journal of Object Technology",

issn = "1660-1769",

publisher = "Association Internationale pour les Technologies Objets",

number = "3",

}

TY - JOUR

T1 - Integrating BON and Object-Z.

AU - Paige, Richard F.

AU - Brooke, Phillip J.

N1 - Author can archive publisher's version/PDF.

PY - 2004/3

Y1 - 2004/3

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

SN - 1660-1769

VL - 3

SP - 123

EP - 141

JO - Journal of Object Technology

JF - Journal of Object Technology

IS - 3

ER -

Integrating BON and Object-Z.

Abstract

Bibliographical note

Access to Document

Fingerprint

Cite this