Model-Based Verification: A Technology for Dependable Upgrade
• Technical Report
Publisher
Software Engineering Institute
CMU/SEI Report Number
CMU/SEI-98-TR-009Topic or Tag
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.
Cite This Technical Report
Gluch, D., & Weinstock, C. (1998, September 1). Model-Based Verification: A Technology for Dependable Upgrade. (Technical Report CMU/SEI-98-TR-009). Retrieved December 22, 2024, from https://insights.sei.cmu.edu/library/model-based-verification-a-technology-for-dependable-upgrade/.
@techreport{gluch_1998,
author={Gluch, David and Weinstock, Charles},
title={Model-Based Verification: A Technology for Dependable Upgrade},
month={{Sep},
year={{1998},
number={{CMU/SEI-98-TR-009},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://insights.sei.cmu.edu/library/model-based-verification-a-technology-for-dependable-upgrade/},
note={Accessed: 2024-Dec-22}
}
Gluch, David, and Charles Weinstock. "Model-Based Verification: A Technology for Dependable Upgrade." (CMU/SEI-98-TR-009). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, September 1, 1998. https://insights.sei.cmu.edu/library/model-based-verification-a-technology-for-dependable-upgrade/.
D. Gluch, and C. Weinstock, "Model-Based Verification: A Technology for Dependable Upgrade," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Report CMU/SEI-98-TR-009, 1-Sep-1998 [Online]. Available: https://insights.sei.cmu.edu/library/model-based-verification-a-technology-for-dependable-upgrade/. [Accessed: 22-Dec-2024].
Gluch, David, and Charles Weinstock. "Model-Based Verification: A Technology for Dependable Upgrade." (Technical Report CMU/SEI-98-TR-009). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 Sep. 1998. https://insights.sei.cmu.edu/library/model-based-verification-a-technology-for-dependable-upgrade/. Accessed 22 Dec. 2024.
Gluch, David; & Weinstock, Charles. Model-Based Verification: A Technology for Dependable Upgrade. CMU/SEI-98-TR-009. Software Engineering Institute. 1998. https://insights.sei.cmu.edu/library/model-based-verification-a-technology-for-dependable-upgrade/