Architectural specifications in CASL

DOI10.1007/S001650200012zbMath1001.68078OpenAlexW2054411266MaRDI QIDQ699927

Andrzej Tarlecki, Michel Bidoit, Donald Sannella

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 specificationCASLarchitectural specificationsformal software developmentspecification of program structure

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (9)

A language for configuring multi-level specifications ⋮ Lambda Expressions in Casl Architectural Specifications ⋮ Algebraic Signatures Enriched by Dependency Structure ⋮ Constructor-based observational logic ⋮ Amalgamation in the semantics of CASL ⋮ Observational interpretation of Casl specifications ⋮ The Foundational Legacy of ASL ⋮ CASL: the Common Algebraic Specification Language. ⋮ Reducible Theories and Amalgamations of Models

This page was built for publication: Architectural specifications in CASL