A Methodology for Formal Specification and Implementation of Ada Packages Using Anna.

Abstract

This paper presents a methodology for formal specification and prototype implementation of Ada packages using the Anna specification language. Specifications play an important role in the software development cycle. The methodology allows specifiers of Ada packages to follow a sequence of simple steps to formally specify packages. Given the formal specification of a package resulting from the methodology for package specifications, the methodology allows implementors of packages to follow a few simple steps to implement the package. The implementation is meant to be a prototype. This methodology for specification and implementation is applicable to most Ada packages. Limitations of this approach are pointed out at various points in the paper. We present software tools which help the process of specification and implementation.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1990
Accession Number
ADA314222

Entities

People

  • Neel Madhav
  • Walter Mann

Organizations

  • Stanford University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Analyzers
  • Automatic Programming
  • Computer Science
  • Computers
  • Electrical Engineering
  • Equations
  • Generators
  • Language
  • Lists (Data Structures)
  • Numbers
  • Observers
  • Prototypes
  • Software Development
  • Specifications
  • Square Roots
  • Technical Information Centers
  • Verification

Fields of Study

  • Computer science
  • Engineering

Readers

  • Database Systems and Applications