Documents Related by Co-Citation

43 CoFI: The Common Framework Initiative for Algebraic Specification and Development – Peter D. Mosses, Peter D. Mosses - 1997
42 The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible from http://www.brics.dk/Projects/CoFI – CoFI
134 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
425 Institutions: Abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
8 Executing Casl equational specifications with the ELAN rewrite engine – H Kirchner, C Ringeissen - 1999
18 Algebraic Specification of Concurrent Systems – Egidio Astesiano, Manfred Broy, Gianna Reggio - 1999
14 Specifications in an arbitrary institution with symbols – T Mossakowski - 1999
12 Checking amalgamability conditions for Casl architectural specifications – Bartek Klin Piotr Hoffman - 2001
130 Putting theories together to make specifications – R Burstall, J Goguen - 1977
43 Algebraic Foundations of Systems Specification – E Astesiano, H-J Kreowski, B Krieg-Brckner - 1999
54 Essential Concepts of Algebraic Specification and Program Development – Donald Sannella, Andrzej Tarlecki - 1996
26 Pre-logical Relations – Furio Honsell, Donald Sannella - 1999
12 Constructive Data Refinement in Typed Lambda Calculus – Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki - 2000
5 An implementation of static semantics for architectural specifications – B Klin - 2000
49 CASL: The Common Algebraic Specification Language – Egidio Astesiano, Michel Bidoit, Helene Kirchner, Bernd Krieg-Bruckner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki - 2001
3 Casl: The common algebraic specification language. semantics. Version 1.0, to be completed – H Baumeister, M Cerioli, A Haxthausen, T Mossakowski, P Mosses, D Sannella, A Tarlecki - 2001
3 Basic Casl at work: a compass for the labyrinth of partiality, subsorting and predicates. Presented at WADT'99 – M Cerioli, G Reggio - 1999
4 Specification of abstract dynamic datatypes: A temporal logic approach – G Costa, G Reggio - 1997
3 Domain specific languages and software architectures -- a challenge for Casl. Presented at CoFI meeting – M Haveraaen - 1999