Colimits of Order-Sorted Specifications (0)

Cached

Download Links

by Till Mossakowski
Venue:In Recent Trends in Algebraic Development Techniques, Proc. 12th International Workshop, WADT '97
Citations:4 - 1 self

Documents Related by Co-Citation

43 The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible by WWW at http://www.brics.dk/Projects/CoFI – CoFI
219 Fundamentals of Algebraic Specification 1 – H Ehrig, B Mahr - 1985
143 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
115 Module algebra – J A Bergstra, J Heering, P Klint - 1990
3 Verifying architectural specifications – P Hoffman - 2001
15 Extending Development Graphs With Hiding – Till Mossakowski, Serge Autexier, Dieter Hutter - 2001
12 Checking amalgamability conditions for Casl architectural specifications – Bartek Klin Piotr Hoffman - 2001
54 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
4 Relating abstract datatypes and Z-schemata – Hubert Baumeister - 1999
2 From requirements to software in Casl. Invited talk given at WADT'99 – M Bidoit - 1999
2 Handwritten notes. Available from the author – T Mossakowski - 1998
2 and Kolyang. HOL-CASL demonstration – T Mossakowski - 1999
9 JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems – Eva Coscia, Gianna Reggio - 1999
9 Correct Realizations of Interface Constraints with OCL – Michel Bidoit, Rolf Hennicker, Martin Wirsing - 1999
3 Translating OBJ3 into CASL: the Institution Level – Till Mossakowski - 1998