Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Technical Report

Model-Based Verification: A Technology for Dependable Upgrade

  • Abstract

    This is a preliminary report on the technological foundations of model-based verification for engineering software system upgrades. It describes the historical background and technical foundations for the approach and begins to provide a basis for the transition of model-based verification into practice. Critical technical and procedural issues that have been or are being addressed to ensure successful transition are examined. The report is aimed at providing technical insight and understanding for software management and engineering personnel on this emerging technology for verification of software system upgrades.

  • Download

Cite This Report

SEI

Gluch, David; & Weinstock, Charles. Model-Based Verification: A Technology for Dependable Upgrade (CMU/SEI-98-TR-009). Software Engineering Institute, Carnegie Mellon University, 1998. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=13105

IEEE

Gluch. David, and Weinstock. Charles, "Model-Based Verification: A Technology for Dependable Upgrade," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU/SEI-98-TR-009, 1998. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=13105

APA

Gluch, David., & Weinstock, Charles. (1998). Model-Based Verification: A Technology for Dependable Upgrade (CMU/SEI-98-TR-009). Retrieved December 20, 2014, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=13105

CHI

David Gluch, & Charles Weinstock. Model-Based Verification: A Technology for Dependable Upgrade (CMU/SEI-98-TR-009). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 1998. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=13105

MLA

Gluch, David., & Weinstock, Charles. 1998. Model-Based Verification: A Technology for Dependable Upgrade (Technical Report CMU/SEI-98-TR-009). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=13105