Semantics of architectural specifications in Casl (2001)

by Lutz Schröder , Till Mossakowski , Andrzej Tarlecki , Bartek Klin , Piotr Hoffman
Venue:Proc. 4th Intl. Conf. Fundamental Approaches to Software Engineering FASE’01, Springer LNCS 2029
Citations:8 - 6 self

Document Versions

Semantics of architectural specifications in Casl –Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman — 2001 — Proc. 4th Intl. Conf. Fundamental Approaches to Software Engineering FASE’01, Springer LNCS 2029
Semantics of Architectural Specifications in CASL –Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman