 | 2000 |
|---|
| 8 |       | Werner Struckmann:
A general theorem on the total correctness of programs in a category.
Electr. Notes Theor. Comput. Sci. 35: (2000) |
| 1995 |
|---|
| 7 |  | Kai Tödter,
Carsten Hammer,
Werner Struckmann:
PARC++: A Parallel C++.
Softw., Pract. Exper. 25(6): 623-636 (1995) |
| 1992 |
|---|
| 6 | | Bernd Fischer,
Carsten Hammer,
Werner Struckmann:
ALADIN: A Scanner Generator for Incremental Programming Environments.
Softw., Pract. Exper. 22(11): 1011-1025 (1992) |
| 1989 |
|---|
| 5 | | 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: 214-222 |
| 1986 |
|---|
| 4 | | Bernhard Stürmer,
Werner Struckmann:
Ein Überblick über Software-Testmethoden und ein Vorschlag für ein automatisiertes, in der Praxis einsetzbares Verfahren.
Angewandte Informatik 28(10): 437-443 (1986) |
| 3 | | Peter Friedrich,
Rudolf Kruse,
Werner Struckmann:
Ein softwaretechnisches Praktikum: Kooperation zwischen Hochschule und Industrie.
Angewandte Informatik 28(3): 124-126 (1986) |
| 1985 |
|---|
| 2 | | Werner Struckmann:
L Systems and Categories of Automata.
Elektronische Informationsverarbeitung und Kybernetik 21(9): 411-416 (1985) |
| 1982 |
|---|
| 1 | | Dietmar Wätjen,
Werner Struckmann:
An Algorithm for Verifying Equations of Morphisms in a Category.
Inf. Process. Lett. 14(3): 104-108 (1982) |
