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

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1984
Accession Number
ADA149955

Entities

People

  • Daniel Davis

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • California
  • Classification
  • Computer Programs
  • Computer Science
  • Computers
  • Construction
  • Equations
  • Grammars
  • High Level Languages
  • Language
  • Military Research
  • Notation
  • Numbers
  • Security
  • Semantics
  • Template Patterns
  • Words (Language)

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.