|Title||Formal Analysis of Domain Models|
|Publication Type||Conference Paper|
|Year of Publication||2002|
|Conference Name||International Workshop on Requirements for High Assurance Systems (RHAS'02)|
|Conference Location||Essen, Germany|
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 conventional application in RE for the creation and analysis of requirements specifications, formal methods may be applied in a cost-effective way to answer specific questions about the domain by the construction and automated analysis of "domain models".
|NRL Publication Release Number|| |