Semantics of architectural specifications in CASL

DOI10.1007/3-540-45314-8_19MaRDI QIDQ2764130zbMATH OpenFDO

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

Publication date 22 January 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/2029/20290253

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01) Logic in artificial intelligence (68T27) Computing methodologies and applications (68U99)

Recommendations

• Amalgamation in the semantics of CASL
• Checking amalgamability conditions for CASL architectural specifications
• Amalgamation in CASL via enriched signatures
• Architectural specifications in CASL
• Lambda expressions in Casl architectural specifications

Cited in

(8)

• HasCasl: integrated higher-order specification and program development
• Amalgamation in the semantics of CASL
• Relating CASL with other specification languages: the institution level.
• Lambda expressions in Casl architectural specifications
• scientific article; zbMATH DE number 2079671 (Why is no real title available?)
• Checking amalgamability conditions for CASL architectural specifications
• Verifying generative Casl architectural specifications.
• Architectural specifications in CASL

Describes a project that uses

Uses Software

• LARCH
• CASL

This page was built for publication: Semantics of architectural specifications in CASL

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