A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability
A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability
Shaoying Liu,T. Tamai,S. Nakajima
2011 · DOI: 10.1142/S0218194011005268
International journal of software engineering and knowledge engineering · 12 Citations
TLDR
This paper puts forward a framework for systematically integrating formal specification, review, and testing, and shows how it can be applied to effectively eliminate errors in the major phases of software development process to enhance software reliability.