Integration of formal specification, review, and testing for software component quality assurance
Integration of formal specification, review, and testing for software component quality assurance
Shaoying Liu,T. Tamai,S. Nakajima
2009 · DOI: 10.1145/1529282.1529375
ACM Symposium on Applied Computing · 12 Citations
TLDR
It is discussed how formalization, review, and testing work together at different levels of software development for improving software quality through detecting and removing errors in documentation.