Object-Oriented System Specification Using Defaults.
Udo W. LipeckStefan BrassPublished in: IS/KI (1994)
Keyphrases
- object oriented
- programming language
- default reasoning
- relational databases
- conceptual model
- database applications
- specification language
- high level
- data model
- conceptual models
- database design
- expressive power
- default logic
- database schema
- object oriented databases
- definition language
- object oriented programs
- database
- software engineering
- data warehousing
- default theories
- neural network
- object oriented database systems
- query language
- databases
- conceptual modeling
- object oriented programming
- formal specification
- database technology
- user defined
- formal verification
- reverse engineering
- constraint language
- object oriented modeling
- programming interface
- data sets