Reusing Specifications in OO Applications.
Roberto BellinzonaMaria Grazia FuginiBarbara PerniciPublished in: IEEE Softw. (1995)
Keyphrases
- object oriented
- conceptual models
- conceptual modeling
- programming language
- query language
- class diagram
- object oriented databases
- delay insensitive
- formal specification
- high level
- learning objects
- software engineering
- data model
- finite state machines
- specification language
- software development
- design methodology
- relational databases
- database systems
- artificial intelligence