IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Chairman: M. Roggenbach      Secretary: C. Choppy      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.

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.

Sponsored Events

Fonseca WADT 2012: 21st International Workshop on Algebraic Development Techniques
Salamanca, Spain, June 7-10, 2012

Related Activities and Events

The European Joint Conferences on Theory and Practice of Software

16 - 24 March 2013,
Rome, Italy

Etapslogo

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

latest volume edited in 2011 by
Till Mossakowski and Hans-Jörg Kreowski

Wadt10

THE CALCO SERIES

Algebra and Coalgebra in Computer Science

latest volume edited in 2011 by
Andrea Corradini, Bartek Klin, Corina Cîrstea

Calco11

THE ICGT SERIES

Graph Transformations

latest volume edited in 2010 by Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg and Andy Schürr

Icgt10

THE CMCS SERIES

Coalgebraic Methods in Computer Science

latest volume edited in 2010 by Bart Jacobs, Milad Niqui, Jan Rutten, Alexandra Silva

Entcs