Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Curriculum Module

Introduction to Software Verification and Validation

  • December 1988
  • By James Collofello
  • This curriculum module provides an overview needed to understand in-depth curriculum modules in the verification and validation area.
  • Performance and Dependability
  • Publisher: Software Engineering Institute
  • Abstract

    Software verification and validation techniques are introduced and their applicability discussed. Approaches to integrating these techniques into comprehensive verification and validation plans are also addressed. This curriculum module provides an overview needed to understand in-depth curriculum modules in the verification and validation area.

  • Download

Cite This Report

SEI

Collofello, James. Introduction to Software Verification and Validation (CMU/SEI-88-CM-013). Software Engineering Institute, Carnegie Mellon University, 1988. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10775

IEEE

Collofello. James, "Introduction to Software Verification and Validation," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Curriculum Module CMU/SEI-88-CM-013, 1988. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10775

APA

Collofello, James. (1988). Introduction to Software Verification and Validation (CMU/SEI-88-CM-013). Retrieved December 19, 2014, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10775

CHI

James Collofello. Introduction to Software Verification and Validation (CMU/SEI-88-CM-013). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 1988. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10775

MLA

Collofello, James. 1988. Introduction to Software Verification and Validation (Technical Report CMU/SEI-88-CM-013). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10775