Improving Software using Requirements Formalisation.
Greg ReevePublished in: New Zealand Computer Science Research Students' Conference (1999)
Keyphrases
- written in natural language
- real time systems
- requirements engineering
- software package
- commercial off the shelf
- software systems
- software maintenance
- software evolution
- software development
- software tools
- requirements specification
- functional requirements
- formal analysis
- personal computer
- development effort
- software requirements
- source code
- open source
- software engineering
- expert systems
- software development process
- computer software
- software packages
- development lifecycle
- application specific
- software design
- user requirements
- database
- embedded systems
- development process
- software architecture
- multi agent systems
- case study
- information retrieval
- databases