Observational interpretation of Casl specifications

DOI10.1017/S0960129507006536zbMath1141.68026MaRDI QIDQ5458070

Donald Sannella, Andrzej Tarlecki, Michel Bidoit

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)

Related Items (5)

Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach ⋮ Property Preserving Refinement for Csp-Casl ⋮ Foundations for structuring behavioural specifications ⋮ Generic constructions for behavioral specifications ⋮ The Foundational Legacy of ASL

Uses Software

• Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Architectural specifications in CASL
• Behavioural correctness of data representations
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Specifications in an arbitrary institution
• Modular correctness proofs of behavioural implementations
• Essential concepts of algebraic specification and program development
• The definition of Extended ML: A gentle introduction
• Amalgamation in the semantics of CASL
• CASL: the Common Algebraic Specification Language.
• Behavioural and abstractor specifications
• Proof of correctness of data representations
• Institutions: abstract model theory for specification and programming
• Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability

This page was built for publication: Observational interpretation of Casl specifications