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.
|
|
The next meeting is a short one, it will take place in Crete on 1-2 November, colocated with ISoLA/AISoLA.
|
|
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.
|
|
|
|
|
|
|
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
|
|
|
THE CALCO SERIES
Algebra and Coalgebra in Computer Science
|
|
|
THE ICGT SERIES
Graph Transformations
|
|
|
THE CMCS SERIES
Coalgebraic Methods in Computer Science
|
|
|
|
