Accession Number:

ADA465300

Title:

Formal Analysis of Domain Models

Descriptive Note:

Conference paper

Corporate Author:

NAVAL RESEARCH LAB WASHINGTON DC CENTER FOR HIGH ASSURANCE COMPUTING SYSTEMS (CHACS)

Personal Author(s):

Report Date:

2002-09-01

Pagination or Media Count:

9.0

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 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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE