Modular Specification of Encapsulated Object-Oriented Components.
Arnd Poetzsch-HeffterJan SchäferPublished in: FMCO (2005)
Keyphrases
- object oriented
- design patterns
- programming language
- formal specification
- object oriented databases
- data model
- database design
- database applications
- object oriented programs
- definition language
- software components
- database
- building blocks
- software engineering
- query language
- relational databases
- information systems
- conceptual model
- data warehousing
- multimedia
- formal methods
- social networks
- object oriented languages
- programming interface
- information retrieval