Observational interpretation of Casl specifications

DOI10.1017/S0960129507006536MaRDI QIDQ5458070zbMATH OpenFDO

Authors Michel Bidoit, Donald Sannella, Andrzej Tarlecki

Publication date 10 April 2008

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

observational semantics for architectural specifications

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

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

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 1324839 (Why is no real title available?)
• scientific article; zbMATH DE number 517385 (Why is no real title available?)
• scientific article; zbMATH DE number 3310090 (Why is no real title available?)
• Amalgamation in the semantics of CASL
• Architectural specifications in CASL
• Behavioural and abstractor specifications
• Behavioural correctness of data representations
• CASL: the Common Algebraic Specification Language.
• Essential concepts of algebraic specification and program development
• Institutions: abstract model theory for specification and programming
• Modular correctness proofs of behavioural implementations
• Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
• Proof of correctness of data representations
• Specifications in an arbitrary institution
• The definition of Extended ML: A gentle introduction
• Toward formal development of programs from algebraic specifications: Implementations revisited

Cited in

(8)

• DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications
• Generic constructions for behavioral specifications
• Foundations for structuring behavioural specifications
• Observational purity and encapsulation
• Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach
• Property Preserving Refinement for Csp-Casl
• Recent Trends in Algebraic Development Techniques
• The foundational legacy of ASL

Describes a project that uses

Uses Software

• LARCH

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)