Initial computability, algebraic specifications, and partial algebras
Initial computability, algebraic specifications, and partial algebras
On observational equivalence and algebraic specification
Journal of Computer and System Sciences
Specifications in an arbitrary institution
Information and Computation - Semantics of Data Types
Initial behavior semantics for algebraic specifications
Lecture notes in Computer Science on Recent trends in data type specification
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Behavioural and abstractor specifications
ESOP '94 Selected papers of ESOP '94, the 5th European symposium on Programming
On behavioural abstraction and behavioural satisfaction in higher-order logic
TAPSOFT '95 Selected papers from the 6th international joint conference on Theory and practice of software development
Specification of abstract data types
Specification of abstract data types
Algebraic Foundations of Systems Specification
Algebraic Foundations of Systems Specification
CASL: the common algebraic specification language
Theoretical Computer Science
Correctness of a logical system for structured specifications
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Swinging Data Types: Syntax, Semantics, and Theory
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
A Modular Framework for Specification and Implementation
TAPSOFT '89/CAAP '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming
On the Duality between Observability and Reachability
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Observational logic, constructor-based logic, and their duality
Theoretical Computer Science - Foundations of software science and computation structures
Stratified institutions and elementary homomorphisms
Information Processing Letters
Ultraproducts and possible worlds semantics in institutions
Theoretical Computer Science
Behavioural semantics of algebraic specifications in arbitrary logical systems
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Type class polymorphism in an institutional framework
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Behavioral extensions of institutions
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
| Hi-index | 0.00 |
This paper focuses on the integration of reachability and observability concepts within an algebraic, institution-based framework.We develop the essential notions that are needed to construct an institution which takes into account both the generation- and observation-oriented aspects ofsof tware systems. Thereby the underlying paradigm is that the semantics ofa specification should be as loose as possible to capture all its correct realizations. We also consider the so-called "idealized models" ofa specification which are useful to study the behavioral properties a user can observe when he/she is experimenting with the system. Finally, we present sound and complete proofsystems that allow us to derive behavioral properties from the axioms of a given specification.