TitleFormal Analysis of Domain Models
Publication TypeConference Paper
Year of Publication2002
AuthorsBharadwaj, R.
Conference NameInternational Workshop on Requirements for High Assurance Systems (RHAS'02)
Conference LocationEssen, Germany
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 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".

Full Text

Bharadwaj2002.pdf

NRL Publication Release Number

02-1221.1-1416