Proceedings of the IDA Workshop on Formal Specification and Verification of Ada (Trade Name) (3rd) Held in Research Triangle Park, North Carolina on 14-16 May 1986

Abstract

The Third IDA Workshop on Formal Specification and Verification of Ada was conducted at the Research Triangle.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1986
Accession Number
ADA226984

Entities

People

  • John Chludzinski
  • John Mchugh
  • Stephen R. Welke
  • William T. Mayfield

Organizations

  • Institute for Defense Analyses

Tags

Communities of Interest

  • C4I
  • Cyber
  • Engineered Resilient Systems
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Application Software
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Debugging
  • Engineers
  • Grammars
  • High Level Languages
  • Information Systems
  • Linguistics
  • Programming Languages
  • Software Development
  • Software Development Tools
  • Software Testing
  • Systems Engineering

Readers

  • Academic Conference Management
  • Computational Linguistics
  • Software Verification and Validation.