Formal Techniques for Specification and Validation of Tactical Systems.

Abstract

Contents: Object-Oriented Subsystem Specification; An Experiment with an Approach to Formal Specifications; Papers on Z, Programming Research Group, Oxford University.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 02, 1986
Accession Number
ADA171671

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Assembly Languages
  • Computational Science
  • Computer Languages
  • Computer Programming
  • Computer Science
  • Computers
  • Construction
  • Engineering
  • Information Systems
  • Language
  • Machine Languages
  • Operating Systems
  • Prime Numbers
  • Programming Languages
  • Set Theory
  • Software Development
  • Two Dimensional

Fields of Study

  • Computer science
  • Physics