Checking amalgamability conditions for CASL architectural specifications

DOI10.1007/3-540-44683-4_40MaRDI QIDQ4779164zbMATH OpenFDO

Authors Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski

Publication date 25 November 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2136/21360451

zbMATH Keywords

algorithmsamalgamationarchitectural specificationsCASLdecidabilityformal specification and program development

Mathematics Subject Classification ID

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

Recommendations

• Amalgamation in the semantics of CASL
• Semantics of architectural specifications in CASL
• Amalgamation in CASL via enriched signatures
• Verifying generative Casl architectural specifications.
• Architectural specifications in CASL

Cited in

(3)

• Amalgamation in the semantics of CASL
• Semantics of architectural specifications in CASL
• Verifying generative Casl architectural specifications.

This page was built for publication: Checking amalgamability conditions for CASL architectural specifications

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