Abstract Specification Theory: An Overview

Abstract

Specification Theory: An Overview Andrzej TARLECKI∗ Institute of Informatics, Warsaw University and Institute of Computer Science, Polish Academy of Sciences Warsaw, Poland Abstract. This paper presents an overview of abstract specification theory, as understood and viewed by the author. We start with a brief outline of the basic assumptions underlying work… (More)

Topics

15 Figures and Tables

Cite this paper

@inproceedings{Tarlecki2003AbstractST, title={Abstract Specification Theory: An Overview}, author={Andrzej Tarlecki}, year={2003} }