Keyphrases
- software systems
- software tools
- requirements specification
- software design
- software maintenance
- user interface
- source code
- formal methods
- commercial software
- knowledge base
- software package
- computer systems
- software architecture
- software application
- software packages
- formal model
- development process
- database
- test cases
- software engineering
- information systems
- artificial intelligence
- neural network
- real time