Keyphrases
- software development
- databases
- source code
- software systems
- software tools
- formal methods
- computer systems
- software maintenance
- data mining
- tool suite
- control flow
- highly modular
- conceptual schema
- formal verification
- hardware design
- data model
- user interface
- software testing
- schema matching
- software design
- reactive systems
- program code
- test case generation
- artificial intelligence
- database