CoFI: The Common Framework Initiative

CoFI: The Common Framework Initiative for algebraic specification and development of software

You can read about all about CoFI here. This page is just a place to store a few CoFI-related papers I have written and Edinburgh contributions to CoFI.

M. Codescu, T. Mossakowski, D. Sannella and A. Tarlecki. Specification refinements: calculi, tools, and applications.. Science of Computer Programming, 144:1-49 (2017).
M. Bidoit, D. Sannella and A. Tarlecki. Observational interpretation of CASL specifications. Mathematical Structures in Computer Science 18:325--371 (2008).
T. Mossakowski, D. Sannella and A. Tarlecki. A simple refinement language for CASL. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT 2004, Barcelona. Springer LNCS 3423, 162-185 (2004).
T. Mossakowski, A. Haxthausen, D. Sannella and A. Tarlecki. CASL -- the Common Algebraic Specification Language: semantics and proof theory. Computing and Informatics 22:285-321 (2003). An extended version of this paper appeared in the book Logics of Specification Languages, 241--298, D. Bjørner and M. Henson eds., Springer (2008).
M. Bidoit, D. Sannella and A. Tarlecki. Toward component-oriented formal software development: an algebraic approach. Proc. 9th Monterey Workshop, Radical Innovations of Software and Systems Engineering in the Future, Venice, October 2002. Springer LNCS 2941, 75-90 (2004).
E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Brückner, P. Mosses, D. Sannella and A. Tarlecki. CASL: The common algebraic specification language. Theoretical Computer Science 286:153--196 (2002).
M. Bidoit, D. Sannella and A. Tarlecki. Architectural Specifications in CASL. Formal Aspects of Computing 13:252-273 (2002). Here is an earlier and shorter version of the same thing, published in Proc. 7th Intl. Conference on Algebraic Methodology and Software Technology (AMAST'98), Manaus. Springer LNCS 1548, 341-357 (1999).
D. Aspinall and D. Sannella. From specifications to code in CASL. Proc. 9th Intl. Conf. on Algebraic Methodology And Software Technology, Reunion. Springer LNCS 2422, 1--14 (2002).
P.D.L. Machado and D. Sannella. Unit testing for CASL architectural specifications. Proc. 27th Intl. Symp. on Mathematical Foundations of Computer Science, Warsaw. Springer LNCS 2420, 506--518 (2002).
M. Bidoit, D. Sannella and A. Tarlecki. Global development via local observational construction steps. Proc. 27th Intl. Symp. on Mathematical Foundations of Computer Science, Warsaw. Springer LNCS 2420, 1--24 (2002).
D. Sannella. First "free-standing" version of the semantics of CASL v1.0.1 basic specifications (2002).
D. Sannella. The Common Framework Initiative for algebraic specification and development of software: recent progress. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT 2001, Genova. Springer LNCS, 2267, 328--343 (2001).
D. Sannella. The Common Framework Initiative for algebraic specification and development of software. Proc. 3rd Intl. Conf. on Perspectives of System Informatics (PSI'99), Novosibirsk. Springer LNCS 1755, 1-9 (2000).
CASLtoPVS, a program to convert basic specifications in CASL to PVS written by Donald Baillie as his MSc project in Computer Science at the University of Edinburgh in 1998/99.
Various CoFI study notes.

Don Sannella (dts@inf.ed.ac.uk)