A Formal Method for Specifying Computer Resources in an Implementation Independent Manner
Daniel L. Davis · 1984
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.