search menu icon-carat-right cmu-wordmark

An Introduction to Software Engineering Practices Using Model-Based Verification

Technical Report
This is an introductory report on the use of model-based verification techniques within software development and upgrade practices.
Publisher

Software Engineering Institute

CMU/SEI Report Number
CMU/SEI-99-TR-005

Abstract

This is an introductory report on the use of model-based verification techniques within software development and upgrade practices. It presents the specific activities and responsibilities that are required of engineers who use the model-based verification paradigm and describes proposed approaches for integrating model-based verification into an organization's software engineering practices. The approaches outlined in this report are preliminary concepts for the integration of model building and analysis techniques into software engineering review and inspection practices. These techniques are presented as both practices within peer review processes and as autonomous engineering investigations. The objective of this report is to provide a starting point for the use of model-based verification techniques and a framework for their evaluation in real-world applications. It is expected that the results of pilot studies that employ the preliminary approaches described here will form the basis for improving the practices themselves and software verification generally.

Cite This Technical Report

Gluch, D., & Brockway, J. (1999, April 1). An Introduction to Software Engineering Practices Using Model-Based Verification. (Technical Report CMU/SEI-99-TR-005). Retrieved February 23, 2024, from https://insights.sei.cmu.edu/library/an-introduction-to-software-engineering-practices-using-model-based-verification/.

@techreport{gluch_1999,
author={Gluch, David and Brockway, Jared},
title={An Introduction to Software Engineering Practices Using Model-Based Verification},
month={Apr},
year={1999},
number={CMU/SEI-99-TR-005},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://insights.sei.cmu.edu/library/an-introduction-to-software-engineering-practices-using-model-based-verification/},
note={Accessed: 2024-Feb-23}
}

Gluch, David, and Jared Brockway. "An Introduction to Software Engineering Practices Using Model-Based Verification." (CMU/SEI-99-TR-005). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, April 1, 1999. https://insights.sei.cmu.edu/library/an-introduction-to-software-engineering-practices-using-model-based-verification/.

D. Gluch, and J. Brockway, "An Introduction to Software Engineering Practices Using Model-Based Verification," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Report CMU/SEI-99-TR-005, 1-Apr-1999 [Online]. Available: https://insights.sei.cmu.edu/library/an-introduction-to-software-engineering-practices-using-model-based-verification/. [Accessed: 23-Feb-2024].

Gluch, David, and Jared Brockway. "An Introduction to Software Engineering Practices Using Model-Based Verification." (Technical Report CMU/SEI-99-TR-005). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 Apr. 1999. https://insights.sei.cmu.edu/library/an-introduction-to-software-engineering-practices-using-model-based-verification/. Accessed 23 Feb. 2024.

Gluch, David; & Brockway, Jared. An Introduction to Software Engineering Practices Using Model-Based Verification. CMU/SEI-99-TR-005. Software Engineering Institute. 1999. https://insights.sei.cmu.edu/library/an-introduction-to-software-engineering-practices-using-model-based-verification/