Accession Number:

ADA149955

Title:

A Formal Method for Specifying Computer Resources in an Implementation Independent Manner

Descriptive Note:

Corporate Author:

NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Personal Author(s):

Report Date:

1984-11-01

Pagination or Media Count:

39.0

Abstract:

This paper is an investigation of a methodology for the formal specification of computer software or hardware resource interfaces. The objective of the methodology is to make possible the specification of implementation independent, and thus portable, interfaces for the development of software. This paper is concerned with the theoretical and conceptual issues of such a specification methodology, and for the most part is an adaptation of the methods of algebraic specification of data types to the specification of computer resources. This paper is the basis for a practical specification in progress.

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE