Keyphrases
- software systems
- software engineering
- software design
- software development
- computer systems
- cost effective
- formal methods
- test suite
- software tools
- software components
- test case generation
- test cases
- source code
- high level
- artificial intelligence
- highly modular
- requirements specification
- reactive systems
- formal verification
- control flow
- database
- specification language
- formal specification
- software maintenance
- reverse engineering
- development process
- software architecture
- databases