WG1.3

Foundations of System Specification

 


An IFIP TC1
Working Group

Composition
Chairman
           T.Mossakowski
Secretary
           C.Choppy
History
  

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

The next meeting will be in Elelsen (near Bremen), Germany, July 5-6, 2010, organised by Till Mossakowski. The meeting will be preceded by WADT'10. The list of talks is available here

Previous meetings

Sponsored Activities

 		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.

Latest or Forthcoming Sponsored Events
  • CALCO'09: 3rd Conference on Algebra and Coalgebra in Computer Science
    September 6-10, 2009, Udine, Italy

Related Activities and Events

The European Joint Conferences on Theory and Practice of Software

March 22 - 29, 2009,
York, UK

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


User Manual
by Michel Bidoit and Peter Mosses, January 2004

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

THE WADT SERIES

Algebraic Development Techniques

latest volume edited in 2007 by
José Luiz Fiadeiro and Pierre-Yves Schobbens

THE CALCO SERIES

Algebra and Coalgebra in Computer Science

latest volume edited in 2007 by
Till Mossakowski, Ugo Montanari, and Magne Haveraaen


THE ICGT SERIES

Graph Transformations

latest volume edited in 2006 by Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro and Gregorz Rozenberg

THE CMCS SERIES

Coalgebraic Methods in Computer Science

latest volume edited in 2006 by N. Ghani and J. Power


Last updated: 21 November 2007