Automated Integrative Analysis of State-based Requirements

Abstract

Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analysis is performed on an abstraction of the original requirements specification. Abstractions in the model may lead to spurious errors in the analysis output. Spurious errors are… (More)
DOI: 10.1109/ASE.1998.732601

Topics

4 Figures and Tables

Cite this paper

@inproceedings{Czerny1998AutomatedIA, title={Automated Integrative Analysis of State-based Requirements}, author={Barbara J. Czerny and Mats Per Erik Heimdahl}, booktitle={ASE}, year={1998} }