Specifications in an arbitrary institution
Information and Computation - Semantics of Data Types
Behavioural correctness of data representations
Science of Computer Programming
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Behavioural and abstractor specifications
ESOP '94 Selected papers of ESOP '94, the 5th European symposium on Programming
The definition of extended ML: a gentle introduction
Theoretical Computer Science - Special issue: algebraic development techniques
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
ACM Transactions on Programming Languages and Systems (TOPLAS)
Algebraic Foundations of Systems Specification
Algebraic Foundations of Systems Specification
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
CASL: the common algebraic specification language
Theoretical Computer Science
Semantics of Architectural Specifications in CASL
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
HASCASL: Towards Integrated Specification and Development of Functional Programs
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
A General Framework for Modular Implementations of Modular System Specifications
TAPSOFT '93 Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract)
TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages
The Semantics of CLEAR, A Specification Language
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Behavioural Satisfaction and Equivalence in Concrete Model Categories
CAAP '96 Proceedings of the 21st International Colloquium on Trees in Algebra and Programming
Good Functors... are Those Preserving Philosophy
Category Theory and Computer Science
Global Development via Local Observational Construction Steps
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Amalgamation in the semantics of CASL
Theoretical Computer Science - Automata, languages and programming
Behavioral extensions of institutions
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Observability Concepts in Abstract Data Type Specification, 30 Years Later
Concurrency, Graphs and Models
The VSE Refinement Method in Hets
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Refinement trees: calculi, tools, and applications
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Generic constructions for behavioral specifications
Theoretical Computer Science
| Hi-index | 0.00 |
We explore the way in which the refinement of individual ‘local’ components of a specification relates to the development of a ‘global’ system from a specification of requirements. The observational interpretation of specifications and refinements adds expressive power and flexibility, but introduces some subtle problems. Our study of these issues is carried out in the context of Casl architectural specifications. We introduce a definition of observational equivalence for Casl models, leading to an observational semantics for architectural specifications for which we prove important properties. Overall, this fulfills the long-standing goal of complementing the standard semantics of Casl specifications with an observational view that supports observational refinement of specifications in combination with Casl-style architectural design.