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

Documents Related by Co-Citation

25 HasCASL: Towards Integrated Specification and Development of Functional Programs – Lutz Schröder, Till Mossakowski - 2002
143 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
12 Checking amalgamability conditions for Casl architectural specifications – Bartek Klin Piotr Hoffman - 2001
36 Fundamentals of algebraic specification: Equational and initial semantics – H Ehrig, B Mahr - 1985
13 A General Framework for Modular Implementations of Modular System Specifications – Michel Bidoit, Rolf Hennicker - 1993
30 Modular Correctness Proofs of Behavioural Implementations – Michel Bidoit, Rolf Hennicker - 1995
42 Data Abstraction and the Correctness of Modular Programming – O Schoett - 1987
161 The semantics of Clear, a specification language – R M Burstall, J A Goguen - 1980
13 Behavioural and abstractor specifications. Science of Computer Programming 25:149–186 – M Bidoit, R Hennicker, M Wirsing - 1995
14 Parameterized specifications: parameter passing and implementation with respect to observability – H Ganzinger
36 Algebraic implementation of abstract data types – H Ehrig, H-J Kreowski, B Mahr, P Padawitz - 1982
11 Refinement and implementation – H Ehrig, H-J Kreowski - 1999
10 A.: Architectural specifications in Casl. Formal Aspects of Computing 13 – M Bidoit, D Sannella, Tarlecki - 2002
48 Algebraic Theory of Automata – A Ginzburg - 1969
38 Behavioural equivalence – a unifying concept for initial and final specifications – Horst Reichel - 1981
418 Proof of correctness of data representations – C A R Hoare - 1972
92 Specifications in an arbitrary institution – Donald Sannella, Andrzej Tarlecki - 1988
32 Behavioural correctness of data representations – O Schoett - 1985