Accession Number : ADA188947

Title :   The Formal Specification of Computer Systems.

Descriptive Note : Master's thesis,

Corporate Author : NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Personal Author(s) : Karrasch, Klaus

PDF Url : ADA188947

Report Date : Dec 1987

Pagination or Media Count : 129

Abstract : With the introduction of formal specification of abstracted computer resources, both physical and logical, there is the possibility that a major step forward can be made toward developing a methodology for reducing the portability and reusability costs of computing system components. Still, the current methodology is only concerned with the static functional properties of resources and not their timing properties. This places limitations on the generality of the method. This study describes a way to formally specify the timing of computer systems by combining ideas of both semantic algebras and Petri Nets.

Descriptors :   *SPECIFICATIONS, *DIGITAL COMPUTERS, *TIMING CIRCUITS, ALGEBRA, COMPUTERS, LIMITATIONS, METHODOLOGY, SEMANTICS, TIME, MATHEMATICAL PROGRAMMING, NETWORKS, THESES

Subject Categories : Computer Systems

Distribution Statement : APPROVED FOR PUBLIC RELEASE