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

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


NRL Publication Release Number