This paper describes a family of tools which not only supports software development, but also assures the quality of each software product from the requirements definition to the integrated system. It is based upon an explicit definition of the design objectives and includes specification verification, design evaluation, static program analysis, dynamic program analysis, integration test auditing, and configuration management.
No takes yet. Share an insight, caveat, or question.
Sneed et al. (1985) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: