This Pilot Study Framework document describes the processes, activities, artifacts, and deliverables associated with an Engineering Practice Investigation of Model-Based Verification (MBV).
This report is related to the following area(s) of work:
Performance and DependabilitySpecial Report
CMU/SEI-2001-SR-024
October 2001
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://www.sei.cmu.edu/library/abstracts/reports/01sr024.cfm
IEEE:
D. Gluch, J. Hudak, R. Janousek, J. Walker, C. Weinstock, and D. Zubrow, "Framework Document: Model-Based Verification Pilot Study," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Special Report CMU/SEI-2001-SR-024, 2001. http://www.sei.cmu.edu/library/abstracts/reports/01sr024.cfm
APA:
Gluch, D., Hudak, J., Janousek, R., Walker, J., Weinstock, C., & Zubrow, D. (2001). Framework Document: Model-Based Verification Pilot Study (CMU/SEI-2001-SR-024). Retrieved June 18, 2013, from the Software Engineering Institute, Carnegie Mellon University website: http://www.sei.cmu.edu/library/abstracts/reports/01sr024.cfm
CHI:
Gluch, David, John Hudak, Robert Janousek, Julie Walker, Charles Weinstock, and David Zubrow. Framework Document: Model-Based Verification Pilot Study (CMU/SEI-2001-SR-024). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2001. http://www.sei.cmu.edu/library/abstracts/reports/01sr024.cfm
MLA:
Gluch, D., Hudak, J., Janousek, R., Walker, J., Weinstock, C., & Zubrow, D. 2001. Framework Document: Model-Based Verification Pilot Study (Technical Report CMU/SEI-2001-SR-024). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://www.sei.cmu.edu/library/abstracts/reports/01sr024.cfm
For more information