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

Active Bibliography

Amalgamation in the Semantics of CASL – Lutz Schröder, Till Mossakowski , Andrzej Tarlecki , Bartek Klin, Piotr Hoffman
1 Amalgamation in CASL via Enriched Signatures – Lutz Schröder, Till Mossakowski, Andrzej Tarlecki
5 Representations, Hierarchies, and Graphs of Institutions – Till Mossakowski, Gutachter Prof, Dr. Hans-jorg Kreowski, Prof Dr, Andrzej Tarlecki, Amilcar Sernadas, Horst Reichel, Pepe Meseguer, Bernd Krieg-bruckner, Maura Cerioli, Valentin Antimirov - 1996
10 Foundations of Heterogeneous Specification – Till Mossakowski
2 Institution independent static analysis for Casl – Till Mossakowski, Bartek Klin - 2002
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
55 Essential Concepts of Algebraic Specification and Program Development – Donald Sannella, Andrzej Tarlecki - 1996
8 Global Development via Local Observational Construction Steps – Michel Bidoit, Donald Sannella, Andrzej Tarlecki - 2002
9 Heterogeneous colimits – Mihai Codescu, Till Mossakowski - 2008
3 Observational interpretation for CASL specifications – Michel Bidoit, Donald Sannella, Andrzej Tarlecki - 2004
5 Different Types of Arrow Between Logical Frameworks – Till Mossakowski - 1996
The Common Framework Initiative for algebraic specification and development of software: recent progress – Donald Sannella Laboratory, Donald Sannella - 2001
4 From specifications to code in Casl – David Aspinall, Donald Sannella - 2002
7 Abstract specification theory: an overview – Andrzej Tarlecki - 2003
22 Extended ML: Past, present and future – Donald Sannella , Andrzej Tarlecki - 1991
8 A Survey of Formal Software Development Methods – Donald Sannella - 1988
14 Structured theory presentations and logic representations – Robert Harper, Donald Sannella, Andrzej Tarlecki - 1994
What is a Logic? In memoriam Joseph Goguen – Till Mossakowski, Joseph Goguen, Andrzej Tarlecki
9 General logics – Till Mossakowski, Joseph Goguen, Răzvan Diaconescu - 1989