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

Special Report

Framework Document: Model-Based Verification Pilot Study

  • Abstract

    This Pilot Study Framework document describes the processes, activities, artifacts, and deliverables associated with an Engineering Practice Investigation of Model-Based Verification (MBV).

  • Download

Cite This Report

SEI

Gluch, David; Hudak, John; Janousek, Robert; Walker, Julie; Weinstock, Charles; & Zubrow, David. Framework Document: Model-Based Verification Pilot Study (CMU/SEI-2001-SR-024). Software Engineering Institute, Carnegie Mellon University, 2001. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=5403

IEEE

Gluch. David, Hudak. John, Janousek. Robert, Walker. Julie, Weinstock. Charles, and Zubrow. David, "Framework Document: Model-Based Verification Pilot Study," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Special Report CMU/SEI-2001-SR-024, 2001. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=5403

APA

Gluch, David., Hudak, John., Janousek, Robert., Walker, Julie., Weinstock, Charles., & Zubrow, David. (2001). Framework Document: Model-Based Verification Pilot Study (CMU/SEI-2001-SR-024). Retrieved December 22, 2014, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=5403

CHI

David Gluch, John Hudak, Robert Janousek, Julie Walker, Charles Weinstock, & David Zubrow. Framework Document: Model-Based Verification Pilot Study (CMU/SEI-2001-SR-024). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2001. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=5403

MLA

Gluch, David., Hudak, John., Janousek, Robert., Walker, Julie., Weinstock, Charles., & Zubrow, David. 2001. Framework Document: Model-Based Verification Pilot Study (Technical Report CMU/SEI-2001-SR-024). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=5403