Formal Analysis of Domain Models
NAVAL RESEARCH LAB WASHINGTON DC CENTER FOR HIGH ASSURANCE COMPUTING SYSTEMS (CHACS)
Pagination or Media Count:
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 requirements specifications i.e., mathematically precise descriptions of the required black-box behavior of a system. In this paper, the author discusses 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 through the construction and automated analysis of domain models.
- Computer Programming and Software