Formal Analysis of Domain Models in Proc. International Workshop on Requirements for High Assurance Systems Rhas'02

Abstract

Recently, there has been a great deal of interest in the application of formal methods, in particular precise formal notations and automatic analysis tools, for the creation and analysis of artifacts of requirements engineering. In this paper we discuss the role of formal methods in requirements engineering (RE), emphasizing that in contrast to their more… (More)

Topics

4 Figures and Tables

Cite this paper

@inproceedings{Bharadwaj2002FormalAO, title={Formal Analysis of Domain Models in Proc. International Workshop on Requirements for High Assurance Systems Rhas'02}, author={Ramesh Bharadwaj}, year={2002} }