IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification

Aims

To support and promote the systematic development of the fundamental mathematical theory of systems specification. To investigate the theory of formal models for systems specification, development, transformation and verification.

Meetings

Assets The next meeting is a short one, it will take place in Crete on 1-2 November, colocated with ISoLA/AISoLA.

Sponsored Activities

Cofi
A voluntary organisation founded in 1995 as an open collaborative effort to produce a Common Framework for Algebraic Specification and Development, including CASL, the Common Algebraic Specification Language.

Scope

The theoretical aspects of the specification and development of computing systems that are based on algebraic and logical concepts, and can be studied systematically within a theory of systems specification.

Publications

THE CASL COLLECTION

Reference Manual
edited by Peter Mosses, March 2004

Caslr


User Manual
by Michel Bidoit and Peter Mosses, January 2004

Caslu

The IFIP State-of-the-Art Report on

Algebraic Foundations of Systems Specification

edited in 1999 by
Egidio Astesiano,
Hans-Jörg Kreowski,
and Bernd Krieg-Brückner

Springer

THE WADT SERIES

Algebraic Development Techniques

Wadt10

THE CALCO SERIES

Algebra and Coalgebra in Computer Science

Calco11

THE ICGT SERIES

Graph Transformations

Icgt10

THE CMCS SERIES

Coalgebraic Methods in Computer Science

Cmcs12