Issue No. 03 - May/June (1989 vol. 6)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.28123
<p>The author examines potential changes resulting from current research and evaluation studies of software verification and validation techniques and tools. She offers specific predictions with regard to: standards and guidelines; specification, modeling, and analysis; reviews, inspections, and walkthroughs; and tests.</p>
software verification; validation; standards; specification; modeling; program verification
J. R. Dunham, "V&V in the Next Decade," in IEEE Software, vol. 6, no. , pp. 47-53, 1989.