Object-Oriented Specification and Stepwise Refinement.
Gunter SaakeRalf JungclausHans-Dieter EhrichPublished in: Open Distributed Processing (1991)
Keyphrases
- object oriented
- conceptual models
- relational databases
- programming language
- specification language
- conceptual model
- office information systems
- database design
- object oriented databases
- database applications
- data model
- query language
- high level
- object oriented database systems
- object oriented programs
- user defined
- definition language
- conceptual modeling
- entity relationship
- formal specification
- database technology
- database schema
- software engineering
- specification languages
- object oriented languages
- object orientation
- constraint language
- object oriented systems
- information systems
- formal verification
- databases
- object oriented programming
- design patterns
- reverse engineering
- artificial intelligence
- neural network
- database systems
- object oriented concepts
- real time
- data sets