Object-oriented modelling and specification using SHE.
Marc GeilenJeroen VoetenP. H. A. van der PuttenLeo J. van BokhovenM. P. J. StevensPublished in: Comput. Lang. (2001)
Keyphrases
- object oriented
- modelling language
- conceptual models
- relational databases
- software engineering
- conceptual model
- definition language
- object oriented systems
- database applications
- object oriented programs
- programming language
- database design
- database technology
- data model
- object oriented database systems
- high level
- artificial intelligence
- database schema
- formal specification
- databases
- office information systems
- conceptual modeling
- object oriented programming
- data warehousing
- test cases
- query language
- object oriented modeling
- object oriented databases
- programming interface
- provably correct
- industry standard
- object orientation
- reverse engineering
- website
- information systems
- information retrieval