Keyphrases
- software systems
- software development
- computer systems
- requirements specification
- user interface
- source code
- software maintenance
- software architecture
- software platform
- commercial software
- hardware design
- formal methods
- software design
- formal specification
- software tools
- error rate
- software developers
- software projects
- database
- natural language
- database systems
- decision trees
- information systems