Evaluation criteria for functional specifications
- 4 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- A spiral model of software development and enhancementComputer, 1988
- Theory of ModulesIEEE Transactions on Software Engineering, 1987
- Formal models of stepwise refinements of programsACM Computing Surveys, 1986
- File servers for network-based distributed systemsACM Computing Surveys, 1984
- The new math of computer programmingCommunications of the ACM, 1975