Architectural specifications in CASL

DOI10.1007/S001650200012MaRDI QIDQ699927zbMATH OpenOpenAlexFDO

Authors Michel Bidoit, Donald Sannella, Andrzej Tarlecki

Publication date 25 September 2002

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s001650200012

zbMATH Keywords

algebraic specificationarchitectural specificationsCASLformal software developmentspecification of program structure

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 2172806
• CASL: the Common Algebraic Specification Language.
• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• Recent Trends in Algebraic Development Techniques
• scientific article; zbMATH DE number 1693525

Cited in

(22)

• Amalgamation in the semantics of CASL
• CASL: the Common Algebraic Specification Language.
• Manipulating algebraic specifications with term-based and graph-based representations
• Constructor-based observational logic
• On relating functional specifications to architectural specifications: A case study
• scientific article; zbMATH DE number 1693525 (Why is no real title available?)
• Lambda expressions in Casl architectural specifications
• Algebraic signatures enriched by dependency structure
• Specification architectures
• scientific article; zbMATH DE number 1949589 (Why is no real title available?)
• scientific article; zbMATH DE number 1949594 (Why is no real title available?)
• scientific article; zbMATH DE number 2079671 (Why is no real title available?)
• scientific article; zbMATH DE number 2079672 (Why is no real title available?)
• scientific article; zbMATH DE number 1929964 (Why is no real title available?)
• scientific article; zbMATH DE number 1834668 (Why is no real title available?)
• The foundational legacy of ASL
• Observational interpretation of Casl specifications
• Recent Trends in Algebraic Development Techniques
• Reducible Theories and Amalgamations of Models
• Verifying generative Casl architectural specifications.
• A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures
• A language for configuring multi-level specifications

This page was built for publication: Architectural specifications in CASL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q699927)