Keyphrases
- software tools
- software development
- software systems
- requirements specification
- high level
- source code
- data sets
- software components
- reactive systems
- formal methods
- software design
- software maintenance
- embedded systems
- data mining
- software architecture
- test cases
- software projects
- business processes
- user interface
- expert systems
- learning algorithm
- software package
- software packages
- formal verification
- software application
- commercial software
- neural network