An Approach to Object-Oriented Specification Using Z.
Peter John WhysallJohn Alexander McDermidPublished in: Z User Workshop (1990)
Keyphrases
- object oriented
- programming language
- conceptual models
- database design
- office information systems
- definition language
- conceptual model
- object oriented programs
- database schema
- object oriented databases
- data model
- neural network
- entity relationship
- user defined
- high level
- object oriented database systems
- software engineering
- relational databases
- specification language
- data sets
- query language
- databases
- programming interface
- object oriented concepts
- industry standard
- conceptual modeling
- information systems
- object oriented programming
- formal specification
- reverse engineering
- database systems
- design patterns
- real time
- data structure
- general purpose