• Project Manager, organisational: Haxthausen, Anne Elisabeth

    Department of Information Technology, Technical University of Denmark, Denmark

  • Project participant: Mosses, Peter

    University of Aarhus, Denmark

  • Project participant: Sannella, Don

    University of Edinburgh

  • Project participant: Tarlecki, Andrzej

    Warsaw University

  • Project participant: Krieg-Brückner, Bernd

    Universität Bremen, Germany

  • Project participant: Bidoit, Michel

    Laboratoire Spécification et Vérification, France

External Organisations

  • Hélène Kirchner http://www.loria.fr/%7Ehkirchne/
  • INRIA Lorraine
  • Dresden University of Technology, Germany
  • Egidio Astesiano http://www.disi.unige.it/person/AstesianoE/

View graph of relations

CoFI, the Common Framework Initiative for algebraic specificationand development of software, is an open international (but predominantly European) collaboration. CoFI participants have designed CASL, intended as a /common/ language for formal specification of functional requirements and modular software design. The Working Group will coordinate the completion of and disseminate the Common Framework, demonstrate its practical applicability in industrial contexts, and establish the infrastructure needed for future European collaborative research in algebraic techniques.
Download as:
Download as PDF
Select render style:
Download as HTML
Select render style:
Download as Word
Select render style:

ID: 2256465