Limits to specifications: why not more progress? Panel at IEEE conference on specifications of reliable software.
John E. ShoreKathryn L. HeningerPublished in: ACM SIGSOFT Softw. Eng. Notes (1979)
Keyphrases
- written in natural language
- control flow
- delay insensitive
- high level
- functional requirements
- formal specification
- reactive systems
- software maintenance
- software architecture
- software components
- software design
- specification language
- case study
- artificial intelligence
- design patterns
- software systems
- software requirements
- software development