Author of the publication

Qualitätssicherung durch Programmverifikation und algebraische Methoden in der Softwareentwicklung.

, , and . Inform. Spektrum, 11 (6): 292-302 (1988)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Collaboration Support for Virtual Data Mining Enterprises., , , and . LSO, volume 2176 of Lecture Notes in Computer Science, page 83-95. Springer, (2001)Generic Specialists in Competent Behaviour., , , , and . ECAI, page 567-571. John Wiley and Sons, (1992)C++, Common Lisp/CLOS, Eiffel oder Smalltalk?. Künstliche Intell., 9 (2): 35-44 (1995)Fallgestütztes Entwerfen., and . Künstliche Intell., 10 (1): 29-35 (1996)Über ein Experiment zur Umsetzung einer BABYLON-Wissensbasis in das KADS-Modell: Erste Schritte auf dem Weg zur Modellierung wissensbasierter Systeme., , and . Wissensbasierte Systeme, volume 155 of Informatik-Fachberichte, page 358-368. Springer, (1987)Social Construction of Knowledge., and . Interaktion im Web, volume 50 of Berichte des German Chapter of the ACM, page 125-135. Teubner, (1998)Anforderungen an E-Diskurs-Plattformen illustriert am Beispiel DITO., , , , and . GI Jahrestagung (2), volume P-35 of LNI, page 238-242. GI, (2003)eDiskurse mit Dito., , , and . DFN-Arbeitstagung über Kommunikationsnetze, volume P-44 of LNI, page 583-597. GI, (2003)CBR in Design., and . AI Commun., 9 (3): 117-127 (1996)Implementing KADS Expertise Models with Model-K., and . IEEE Expert, 8 (4): 74-81 (1993)