Atlas home || Conferences | Abstracts | about Atlas
Host: Technical University of Berlin
Homepage: http://www.brics.dk/Projects/CoFI/
Description:
The aim of CoFI is to establish and promote a common framework for algebraic specification and
development of software, building on 25 years of progress in this area. It is an open international
collaboration, presently funded as an ESPRIT working group. CoFI participants have designed
CASL, intended as a common language for formal specification of functional requirements and
modular software design. Present topics include: extensions to CASL; development of proof
techniques; formulation of methodological guidelines; tool support; use of CoFI in the specification
and development of reactive systems; relationship between CASL and other specification
languages; case studies.
This ETAPS 2000 satellite event will be a workshop for CoFI participants consisting mainly of technical working meetings rather than talks of general interest. Newcomers who wish to contribute to CoFI are welcome.
Date received: September 10, 1999
© 2008 Atlas Conferences Inc.