Framework Document: Model-Based Verification Pilot Study
• Special Report
This 2001 document describes the processes, activities, artifacts, and deliverables associated with an Engineering Practice Investigation of MBV.
Publisher
Software Engineering Institute
CMU/SEI Report Number
CMU/SEI-2001-SR-024DOI (Digital Object Identifier)
10.1184/R1/6573920.v1Topic or Tag
Abstract
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 provides a description of the goals of the study, a description of the phases of the study, and the activities necessary to acquire the information to meet the study goals. A description of the metrics and associated logs necessary to acquire the study data are also included.