Grey-box specifications for object-oriented program components.
Yannick WelschPublished in: OOPSLA Companion (2008)
Keyphrases
- object oriented
- relational databases
- object oriented concepts
- programming language
- test cases
- software components
- building blocks
- programming interface
- data model
- execution traces
- control flow
- design patterns
- formal specification
- database design
- recursive programs
- object oriented database systems
- object oriented programming
- computer programs
- real time
- software engineering
- high level
- case study
- databases