V&V in the next decade [software validation]
Janet R. Dunham · IEEE Software · 1989
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.>