CoFI: The Common Framework Initiative for Algebraic Specification and Development (1997)


Download Links

by Peter D. Mosses , Peter D. Mosses
Venue:Proc. 7th Intl. Joint Conf. on Theory and Practice of Software Development, Lille. Springer LNCS 1214
Citations:43 - 3 self

Active Bibliography

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
unknown title – Egidio Astesiano A, Michel Bidoit B, Hélène Kirchner C, Bernd Krieg-brückner D, Peter D. Mosses E, Donald Sannella F, Andrzej Tarlecki G
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
41 Constructing Specification Morphisms – Douglas R. Smith - 1993
7 A Formal Framework with Late Binding – Davide Ancona, Maura Cerioli, Elena Zucca - 1999
3 Casl for CafeOBJ Users – Peter D. Mosses - 2000
1 A Survey on Design Criteria for Interchange Formats – Jan Mendling - 2004
unknown title – T. Mossakowski, A. Haxthausen, D. Sannella, A. Tarlecki
Specifying and Developing Parameterised Programs: CFI Language Design Study Notes – Don Sannella, Andrzej Tarlecki - 1996
Constructor Implementations – Cfi Language, Don Sannella, Andrzej Tarlecki
Realizing Sets by Hash Tables: How to do it in – Korso Peter, Ralph Betschko, Sabine Dick, Klaus Didrich - 1995
Evaluation of Previous Work – The Fracas Consortium, Robin Cooper, Dick Crouch, Jan Van Eijck, Chris Fox, Josef Van Genabith, Jan Jaspars, Hans Kamp, David Milward, Manfred Pinkal, Massimo Poesio, Steve Pulman, Deliverable D - 1994
Interfaces and Extended ML – Stefan Kahrs, Donald Sannella, Andrzej Tarlecki - 1993
Towards an Evolutionary Formal Software-Development Using CASL – Serge Autexier Dieter, Dieter Hutter - 1999
Realizing Sets by Hash Tables – Peter Pepper, Ralph Betschko, Sabine Dick, Klaus Didrich - 1995
Chapter 1 SPECIFICATION SEMANTICS – Specification Semantics The
The Common Framework Initiative – For Algebraic Specification, D. Mosses
8 Structured Specifications and Implementation of Nondeterministic Data Types – Michal Walicki, Alle Rechte Vorbehalten, Technischen Universität München, Micha L Walicki, Mafred Broy, Manfred Broy - 1995
6 Specification Refinement with System F – Jo Erskine Hannay - 1999