A Formal Method For Specifying Computer Resources In An Implementation Independent Manner
Loading...
Authors
Davis, Daniel
Subjects
Advisors
Date of Issue
1984-11
Date
Publisher
Monterey, California. Naval Postgraduate School
Language
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.
Type
Technical Report
Description
Series/Report No
Department
Organization
Naval Postgraduate School (U.S.)
Identifiers
NPS Report Number
NPS5284-022
Sponsors
Funder
Format
39 p.
Citation
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.