Research Projects

CoFI - Common Framework Initiative for algebraic specification and development of software

Der Lehrstuhl war an der europäischen Forschergruppe CoFI beteiligt, die sich mit der Entwicklung und dem Einsatz einer standardisierten praxistauglichen algebraischen Spezifikationssprache (CASL) befaßt. Thema des Lehrstuhls ist hier die Anbindung von CASL an die objektorientierte Modellierungssprache UML.

• Funded by: EU
• Contact person: Heinrich Hußmann
• Project Website: link
• Funding period: 10/1998 - 04/2001