Die CoFI Initiative der IFIP WG 1.3 besteht aus einem Verbund verschiedener Forscher/innen europäischer Universitäten und Forschungsinstitute. Es soll ein einheitliches Rahmenwerk für Spezifikationssprachen entworfen und zur internationalen Standardisierung vorgeschlagen werden. Die wesentliche Idee dabei ist es, nicht eine allumfassende Sprache, sondern eine Familie von Spezifikationssprachen zu entwickeln, die als Teilsprachen oder Erweiterungen der Basissprache in Beziehung zueinander stehen. Vorläufiges Ergebnis dieser Standardisierungsbemühungen ist als Basis der Sprachfamilie die Spezifikationssprache CASL (Common Algebraic Specification Language), an deren Entwicklung wir maßgeblich beteiligt waren. Im Jahr 1999 wurden im BISS Werkzeuge zur syntaktischen und semantischen Analyse sowie zum Pretty-Printing von CASL-Spezifikationen erstellt; Grundlagen der Semantik von CASL erforscht; eine Methodologie für Anforderungsspezifikationen entwickelt; eine Erweiterung der Basissprache CASL um Higher-Order Konzepte aus funktionalen Programmiersprachen konzipiert; Studien zur Erweiterung der Basissprache CASL um reaktive Elemente durchgeführt; Bibliotheken von Standard-Datentypen in CASL geschrieben. Seit 1998 wird die Initiative als ESPRIT Working Group von der EU gefördert.