Implementation of Parameterized Observational Specifications

Abstract

An observational approach to the modular construction of algebraic implementations is presented. Based on the theory of parameterized observational specifications an implementation relation is defined which formalizes the intuitive idea that an implementation is correct if it produces correct observable output. It is shown that observational implementations… (More)
DOI: 10.1007/3-540-50939-9_139

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics