Specifications of reliable software - what next?
Mark A. ArdisPublished in: ACM SIGSOFT Softw. Eng. Notes (1979)
Keyphrases
- control flow
- written in natural language
- software development
- data flow
- computer systems
- software systems
- source code
- software design
- software packages
- software architecture
- software developers
- software maintenance
- data sets
- database systems
- delay insensitive
- software requirements
- computer software
- software evolution
- social networks
- analysis tool
- software package
- knowledge base
- embedded systems
- real time
- website
- high level
- distributed systems
- open source
- low cost
- software engineering
- expert systems