Towards Dependable Software Requirement Specifications.
Stefan ScheerThomas MaierPublished in: SAFECOMP (1997)
Keyphrases
- written in natural language
- software development
- commercial software
- computer systems
- software systems
- software design
- software package
- software tools
- data sets
- control flow
- specification language
- functional requirements
- personal computer
- source code
- open source
- formal specification
- design patterns
- development process
- hardware design
- software application
- databases
- software platform
- software requirements
- database