V&V in the Next Decade

Authors:
Janet R. Dunham
Affiliations:
-
Venue:
IEEE Software
Year:
1989

Citing 5
Cited 0

Experimentation in software engineering

IEEE Transactions on Software Engineering
Experiments in software reliability: Life-critical applications

IEEE Transactions on Software Engineering
Comparing the Effectiveness of Software Testing Strategies

IEEE Transactions on Software Engineering
Measuring Ada for software development in the software engineering laboratory

Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
The Software Life Cycle Support Environment (SLCSE): a computer based framework for developing software systems

SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.