Skip to main navigation
Skip to search
Skip to main content
Teesside University's Research Portal Home
Home
Profiles
Research units
TeesRep
Student theses
Projects
Datasets
Press/Media
Search by expertise, name or affiliation
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
120
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Integrating BON and Object-Z.'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Development Process
100%
Formal Specification
100%
Process Management
100%
Object-Oriented System
100%
Specification Language
100%
Keyphrases
Object-Z
100%
Object-oriented
25%
Object-oriented Method
25%
Management Process
25%
Formal Specification Languages
25%
Object-oriented Systems
25%