Hdl Handle:
http://hdl.handle.net/10149/111710
Title:
Integrating BON and Object-Z
Authors:
Paige, R. F. (Richard); Brooke, P. J. (Phillip)
Affiliation:
University of Plymouth. School of Computing.
Citation:
Paige, R. F. and Brooke, P. J. (2004) 'Integrating BON and Object-Z', Journal of Object Technology, 3(3), pp.123-141.
Publisher:
Chair of Software Engineering
Journal:
Journal of Object Technology
Issue Date:
Mar-2004
URI:
http://hdl.handle.net/10149/111710
Additional Links:
http://www.jot.fm/contents/issue_2004_03/article3.html
Type:
Article
Language:
en
Keywords:
formal specification languages; object-oriented; Object-Z; BON
ISSN:
1660-1769
Rights:
Author can archive publisher's version/PDF. [Email from Editor of Journal of Object Technology]
Citation Count:
4 [Scopus, 23/09/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorPaige, R. F. (Richard)en
dc.contributor.authorBrooke, P. J. (Phillip)en
dc.date.accessioned2010-09-23T14:58:15Z-
dc.date.available2010-09-23T14:58:15Z-
dc.date.issued2004-03-
dc.identifier.citationJournal of Object Technology; 3(3): 123-141en
dc.identifier.issn1660-1769-
dc.identifier.urihttp://hdl.handle.net/10149/111710-
dc.language.isoenen
dc.publisherChair of Software Engineeringen
dc.relation.urlhttp://www.jot.fm/contents/issue_2004_03/article3.htmlen
dc.rightsAuthor can archive publisher's version/PDF. [Email from Editor of Journal of Object Technology]en
dc.subjectformal specification languagesen
dc.subjectobject-orienteden
dc.subjectObject-Zen
dc.subjectBONen
dc.titleIntegrating BON and Object-Zen
dc.typeArticleen
dc.contributor.departmentUniversity of Plymouth. School of Computing.en
dc.identifier.journalJournal of Object Technologyen
ref.citationcount4 [Scopus, 23/09/2010]en
or.citation.harvardPaige, R. F. and Brooke, P. J. (2004) 'Integrating BON and Object-Z', Journal of Object Technology, 3(3), pp.123-141.-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.