Formal Analysis of Domain Models

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

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 2002
Accession Number
ADA465300

Entities

People

  • Ramesh Bharadwaj

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Abstracts
  • Acceptance Tests
  • Altitude
  • Automatic
  • Dictionaries
  • Embedded Systems
  • Engineering
  • Information Operations
  • Language
  • Military Research
  • Notation
  • Phase
  • Phase Transformations
  • Robotics
  • Simulators
  • Software Development
  • Transitions

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Systems Analysis and Design
  • Theoretical Analysis.