IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Chairman: M. Roggenbach      Vice Chairman: L. Schröder      Past Chairmen: T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski

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 A huge majority of members voted for cancelling the Lipari meeting and meet co-located with ETAPS 21 instead.

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