Behavioural Coherence in Object-Oriented Algebraic Specification.
Razvan DiaconescuKokichi FutatsugiPublished in: J. Univers. Comput. Sci. (2000)
Keyphrases
- object oriented
- relational databases
- programming language
- conceptual model
- database schema
- object oriented databases
- query language
- database applications
- reactive systems
- specification language
- database design
- object oriented database systems
- conceptual models
- definition language
- data model
- higher order
- object oriented systems
- specification languages
- object oriented concepts
- real time
- object oriented programming
- reverse engineering
- formal methods
- design patterns
- linear algebra
- formal verification
- integrity constraints
- software engineering
- data structure
- information retrieval
- object oriented modeling
- database
- object oriented programs
- office information systems