Informationen / Meinungen

Das DFG-Schwerpunktprogramm ” Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen“, kurz DFG SPP SoftSpez, über das in Informatik, Forschung und Entwicklung, Band 13, Heft 1, S. 43-46 und Band 16, Heft 2, S. 110-117 bereits ausführlich berichtet wurde, ist auf dem Abschlusskolloquium am 17./28.9.2004 in Stuttgart nach 6-jähriger Laufzeit beendet worden. Im Rahmen dieses Kolloquiums hat der Koordinator, Prof. Dr. H. Ehrig (TU-Berlin) als Abschlussdokumentation einen Band mit dem Titel ” Integration of Software Specification Techniques for Applications in Engineering“, in der LNCS-Reihe des Springer-Verlages vorgelegt. Dieser Band wurde von ihm zusammen mit W. Damm, J. Desel, M. Grosse-Rhode, W. Reif, E. Schnieder und E. Westkämper, den Koordinatoren der einzelnen Themenbereiche von SoftSpez, als LNCS-Band 3147, 2004, herausgegeben und enthält sowohl die aktuellsten Ergebnisse der Projektpartner von SoftSpez als auch interessante Beiträge internationaler Partner für diese Thematik. Damit sind das DFG SPP SoftSpez und die in diesem Zusammenhang organisierten internationalen Workshops INT 2000, 2002 und 2004 im Rahmen der ETAPS-Konferenzen in Berlin, Grenoble und Barcelona erfolgreich abgeschlossen, während die 11 Einzelprojekte und die assoziierten Projekte von SoftSpez – je nach Laufzeit der beteiligten wiss. Mitarbeiter – die Abschlussberichte noch vorlegen werden, die dann von der DFG abschließend begutachtet werden. Die wichtigsten Resultate sind jedoch bereits im LNCSBand 3147 und zahlreichen Tagungsbänden und Journals dokumentiert. Insbesondere hat ein fruchtbarer Austausch der Forschungsergebnisse mit internationalen Experten im Rahmen der INT-Workshops stattgefunden, der sich auch in