The Ina Jo Specification Language: A Critical Study.

Abstract

Ina Jo, a language for formal specification and verification, provides a lucid vehicle for the logical description of software systems under design. This paper gives a self-contained critical account of the full range of features of the language Concrete examples illustrate its strengths and weaknesses, and an approach to giving a formal semantics for the language is sketched. The paper addresses issues fundamental to the design of specification languages, but is also suitable as a tutorial introduction to the Ina Jo language.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1986
Accession Number
ADA173218

Entities

People

  • Joshua D. Guttman

Organizations

  • MITRE Corporation

Tags

Communities of Interest

  • C4I
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Air Force Facilities
  • Calculators
  • Classification
  • Computer Programming
  • Computer Programs
  • Computers
  • Concrete
  • Cybersecurity
  • Language
  • Notation
  • Programming Languages
  • Reliability
  • Security
  • Specifications
  • Verification
  • Vocabulary

Fields of Study

  • Computer science
  • Engineering

Readers

  • Database Systems and Applications
  • Small Business Innovation Research Program (SBIR) EDI Research and Innovation.
  • Systems Analysis and Design