Keyphrases
- object oriented systems
- test case generation
- object oriented
- software maintenance
- object oriented design
- temporal ordering
- source code
- software engineering
- software systems
- object oriented technology
- real time
- source code metrics
- class diagrams
- formal specification
- high level
- software components
- constraint propagation
- query language
- relational databases
- specification language
- formal verification
- case study
- provably correct
- information systems
- real world
- neural network
- databases
- database