Titlebook: Algebraic Foundations of Systems Specification; Egidio Astesiano,Hans-Jörg Kreowski,Bernd Krieg-Br Book 1999 IFIP International Federation

CLASH

OUTRE

Institutions: An Abstract Framework for Formal Specifications,formal notion of a logical system viewed from a model-theoretic perspective. We also sketch some possibilities of linking this to more proof-oriented concepts. We argue that the theory of institutions provides an appropriate framework for much of the work on formal software specification and develop