MOOV++: A Methodology for Formally Developing Object-Oriented Specifications.
Quentin CharatanPublished in: Applied Informatics (1999)
Keyphrases
- object oriented
- relational databases
- data model
- conceptual models
- design methodology
- programming language
- software requirements
- software engineering
- database design
- object oriented databases
- artificial intelligence
- delay insensitive
- formal specification
- database schema
- object oriented programming
- database applications
- operational semantics
- high level
- data mining
- programming interface