Observational interpretation of Casl specifications
From MaRDI portal
Publication:5458070
DOI10.1017/S0960129507006536zbMATH Open1141.68026MaRDI QIDQ5458070FDOQ5458070
Authors: Michel Bidoit, Donald Sannella, Andrzej Tarlecki 
Publication date: 10 April 2008
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Recommendations
- scientific article; zbMATH DE number 3936496
- Observational implementations
- Observational structures and their logic
- Observational purity and encapsulation
- Fundamental Approaches to Software Engineering
- Integral constraints in spectroscopic surveys
- Observational specifications and the indistinguishability assumption
Cites Work
- Title not available (Why is that?)
- Institutions: abstract model theory for specification and programming
- Proof of correctness of data representations
- Title not available (Why is that?)
- Behavioural and abstractor specifications
- The definition of Extended ML: A gentle introduction
- Title not available (Why is that?)
- Toward formal development of programs from algebraic specifications: Implementations revisited
- Essential concepts of algebraic specification and program development
- Specifications in an arbitrary institution
- CASL: the Common Algebraic Specification Language.
- Title not available (Why is that?)
- Modular correctness proofs of behavioural implementations
- Behavioural correctness of data representations
- Architectural specifications in CASL
- Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
- Amalgamation in the semantics of CASL
Cited In (8)
- DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications
- Foundations for structuring behavioural specifications
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach
- Observational purity and encapsulation
- Property Preserving Refinement for Csp-Casl
- The foundational legacy of ASL
- Generic constructions for behavioral specifications
- Recent Trends in Algebraic Development Techniques
Uses Software
This page was built for publication: Observational interpretation of Casl specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458070)
