Advanced Search

Content Type

Topics

Publication Date

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).

Cite This Report

Show Citation Formats

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 September 17, 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