Domain Engineering Validation Case Study: Synthesis for the Air Traffic Display/Collision Warning Monitor Domain

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1992
Accession Number
ADA259407

Entities

People

  • Grady Campbell
  • Jeff Facemire
  • Jim O'connor
  • Neil Burkhard
  • Steve Wartik

Tags

Communities of Interest

  • Air Platforms
  • Space

DTIC Thesaurus Topics

  • Aircrafts
  • Application Software
  • Computer Programming
  • Computer Programs
  • Computers
  • Coordinate Systems
  • Debugging
  • Floating Point Operations
  • Grids
  • High Level Languages
  • Operating Systems
  • Programming Languages
  • Software Design
  • Software Development
  • Three Dimensional
  • Two Dimensional
  • Warning Systems