Validation and Verification of Formal Specifications in Object-Oriented Software Engineering

Abstract

The use of formal specifications allows for a software system to be defined with stringent mathematical semantics and syntax via such tools as propositional calculus and set theory. There are many perceived benefits garnered from formal specifications, such as a thorough and in-depth understanding of the domain and system being specified and a reduction in user requirement ambiguity. Probably the greatest benefit of formal specifications, and that which is least capitalized upon, is that mathematical proof procedures can be used to test and prove internal consistency and syntactic correctness in an effort to ensure comprehensive validation and verification (V

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 2000
Accession Number
ADA385658

Entities

People

  • Steven A. Thomson

Organizations

  • Air Force Institute of Technology

Tags

Communities of Interest

  • C4I
  • Engineered Resilient Systems
  • Materials and Manufacturing Processes
  • Weapons Technologies

DTIC Thesaurus Topics

  • Air Force
  • Airframes
  • Artificial Intelligence
  • Computer Programming
  • Computer Programs
  • Computers
  • Engineering
  • Engineers
  • Expert Systems
  • Formal Languages
  • High Level Languages
  • Programming Languages
  • Propulsion Systems
  • Simulations
  • Software Design
  • Software Development
  • Software Testing

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Software Engineering.
  • Theoretical Analysis.