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

Cached

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

Documents Related by Co-Citation

476 Institutions: Abstract model theory for specication and programming – Joseph Goguen, Rod Burstall - 1992
46 I borrow your logic? (transporting logical structures along maps – M Cerioli, J Meseguer
143 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
50 Moving Between Logical Systems – Andrzej Tarlecki - 1998
55 Essential Concepts of Algebraic Specification and Program Development – Donald Sannella, Andrzej Tarlecki - 1996
168 General logics – J Meseguer - 1989
22 Static Semantic Analysis and Theorem Proving for CASL – Till Mossakowski, Kolyang, Bernd Krieg-Brückner - 1998
34 The KIV-Approach to Software Verification – Wolfgang Reif - 1995
31 Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach – G. Reggio, E. Astesiano, C. Choppy, H. Hussmann - 2000
19 Interactive Correctness Proofs for Software Modules Using KIV – Wolfgang Reif , Gerhard Schellhorn, Kurt Stenzel - 1995
18 The KIV-approach to software veri – Wolfgang Reif - 1995
13 Subsorted partial higher-order logic as an extension of Casl, Recent Trends – T Mossakowski, A Haxthausen, B Krieg-Bruckner - 2000
115 Module algebra – J A Bergstra, J Heering, P Klint - 1990
92 Specifications in an arbitrary institution – Donald Sannella, Andrzej Tarlecki - 1988
5 Logical systems for structured speci – T Borzyszkowski - 2002
3 Towards heterogeneous speci – A Tarlecki - 2000
15 Extending Development Graphs With Hiding – Till Mossakowski, Serge Autexier, Dieter Hutter - 2001
20 Grothendieck institutions. Applied Categorical Structures, 10(4):383–402, 2002. Preliminary version appeared as – Răzvan Diaconescu - 2000
18 Integrating Hol-Casl into the Development Graph Manager – Serge Autexier, Till Mossakowski