• Haxthausen, Anne Elisabeth (Project Manager)
  • Mosses, Peter (Project Participant)
  • Lescanne, Pierre (Project Participant)
  • Astesiano, Egidio (Project Participant)
  • Bergstra, Jan (Project Participant)
  • Bert, Didier (Project Participant)
  • Bidoit, Michel (Project Participant)
  • Bettaz, Mohammed (Project Participant)
  • Broy, Manfred (Project Participant)
  • Choppy, Christine (Project Participant)
  • Dahl, Ole-Johan (Project Participant)
  • Ehrich, Hans-Dieter (Project Participant)
  • Ehrig, Hartmut (Project Participant)
  • Fiadeiro, Jose (Project Participant)
  • Gaudel, Marie-Claude (Project Participant)
  • Goguen, Joseph A. (Project Participant)
  • Grosu, Radu (Project Participant)
  • Heering, Jan (Project Participant)
  • Kirchner, Hélène (Project Participant)
  • Kreowski, Hans-Joerg (Project Participant)
  • Krieg-Bruckner, Bernd (Project Participant)
  • Maibaum, Tom (Project Participant)
  • Malcolm, Grant (Project Participant)
  • Meinke, Karl (Project Participant)
  • Orejas, Fernando (Project Participant)
  • Owe, Olaf (Project Participant)
  • Padawitz, Peter (Project Participant)
  • Reggio, Gianna (Project Participant)
  • Reichel, Horst (Project Participant)
  • Sannella, Don (Project Participant)
  • Sernadas, Amilcar (Project Participant)
  • Tarlecki, Andrzej (Project Participant)
  • Wagner, Eric (Project Participant)
  • Walicki, Michal (Project Participant)
  • Wirsing, Martin (Project Participant)
  • Wolter, Uwe (Project Participant)
  • Cerioli, Maura (Project Participant)
  • Mossakowski, Till (Project Participant)

    Project Details


    CoFI (Common Framework Initiative) is
    an international project with participants from most major groups working on algebraic specification.
    The goal of the initiative is to design
    a common framework for algebraic specification. The rationale behind this is that the lack of such a framework hinders the dissemination and application of research results in algebraic specification.
    CoFI will provide a family of specification languages, a development method and tool support.
    The project was partly supported by STVF under the "Codesign" program
    1996-1997, and by the ESPRIT CoFI WG 1998-2001.
    Effective start/end date01/11/199531/12/2003


    Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.