Keyphrases
- formal specification
- object oriented
- case study
- reverse engineering
- object oriented design
- specification languages
- specification language
- model checking
- relational databases
- programming language
- object oriented databases
- formal methods
- query language
- open source
- concurrent systems
- data model
- process algebra
- data abstraction
- database design
- software engineering
- real world
- design process
- development process
- artificial intelligence
- object oriented systems
- formal specification language
- temporal logic
- knowledge management
- knowledge representation
- conceptual modeling
- model checker
- software maintenance
- design patterns
- quality of service
- protocol specification
- database systems