Implementation of Parameterized Observational Specifications


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


Figures and Tables

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

Slides referencing similar topics