• Haxthausen, Anne Elisabeth (Project Manager, organisational)
  • 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 (Project participant)
  • Hélène Kirchner http://www.loria.fr/%7Ehkirchne/
  • INRIA Lorraine
  • Heinrich Hussmann, TU Dresden
  • 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.
StatusCompleted
Period01-10-9830-04-01

ID: 2256465