Framework Document: Model-Based Verification Pilot Study

October 1, 2001 • Special Report

By

David P. Gluch, John J. Hudak, Robert Janousek, Charles Weinstock, Julie A. Walker, and David Zubrow

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-024

DOI (Digital Object Identifier)

10.1184/R1/6573920.v1

Subjects

Performance And Dependability

Abstract

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