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 that applies Model-Based Verification (MBV).

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 2001
Accession Number
ADA396124

Entities

People

  • Charles Weinstock
  • David P. Gluch
  • John J. Hudak
  • John K. Walker
  • Robert Janousek

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Human Systems

DTIC Thesaurus Topics

  • Abstracts
  • Artifacts
  • Birds
  • Costs
  • Department Of Defense
  • Engineering
  • Engineers
  • Governments
  • Homosexuality
  • Materials
  • Pilot Studies
  • Software Development
  • Software Metrics
  • Specifications
  • Standards
  • Students
  • Verification

Fields of Study

  • Computer science

Readers

  • Software Engineering.