Werner Struckmann

Publication Activity (10 Years)

Years Active: 1982-2000
Publications (10 Years): 0

Braunschweig University of Technology, Germany (PHD)

Education History

Braunschweig University of Technology, Germany

PHD

Publications

Werner Struckmann
A general theorem on the total correctness of programs in a category. Electron. Notes Theor. Comput. Sci. 35 (2000)
Kai Tödter, Carsten Hammer, Werner Struckmann
PARC++: A Parallel C++. Softw. Pract. Exp. 25 (6) (1995)
Bernd Fischer, Carsten Hammer, Werner Struckmann
ALADIN: A Scanner Generator for Incremental Programming Environments. Softw. Pract. Exp. 22 (11) (1992)
Peter Friedrich, Rudolf Kruse, Werner Struckmann
Das Salzgitter-Modell - Ein Beispiel für die Zusammenarbeit zwischen Hochschule und Industrie bei der Entwicklung komplexer Software-Systeme. GI-Fachgespräch über Rechenzentren (1989)
Peter Friedrich, Rudolf Kruse, Werner Struckmann
Ein softwaretechnisches Praktikum: Kooperation zwischen Hochschule und Industrie. Angew. Inform. 28 (3) (1986)
Bernhard Stürmer, Werner Struckmann
Ein Überblick über Software-Testmethoden und ein Vorschlag für ein automatisiertes, in der Praxis einsetzbares Verfahren. Angew. Inform. 28 (10) (1986)
Werner Struckmann
L Systems and Categories of Automata. J. Inf. Process. Cybern. 21 (9) (1985)
Dietmar Wätjen, Werner Struckmann
An Algorithm for Verifying Equations of Morphisms in a Category. Inf. Process. Lett. 14 (3) (1982)