Software from Verifiable CSPm Specifications.
Stephen DoxseeWilliam B. GardnerPublished in: ECBS (2005)
Keyphrases
- written in natural language
- software development
- software systems
- control flow
- software tools
- software platform
- computer systems
- source code
- test cases
- development process
- software components
- user interface
- web services
- software developers
- software maintenance
- software design
- software quality
- requirements engineering
- sufficient conditions
- requirements specification