CoFI WG (ESPRIT Working Group no. 29432)

  • Haxthausen, Anne Elisabeth (Project Manager)
  • Mosses, Peter (Project Participant)
  • Sannella, Don (Project Participant)
  • Tarlecki, Andrzej (Project Participant)
  • Krieg-Bruckner, Bernd (Project Participant)
  • Bidoit, Michel (Project Participant)
  • Astesiano, Egidio (Project Participant)
  • Kirchner, Hélène (Project Participant)

    Project Details

    Description

    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.
    StatusFinished
    Effective start/end date01/10/199830/04/2001

    Fingerprint

    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.