 | 2000 |
|---|
| 4 |       | Hartmut Fritzsche,
T. Michel:
Formalization and proof of design guidelines within the scope of testing formally specified electronic product catalogues.
Interacting with Computers 12(3): 209-223 (2000) |
| 1997 |
|---|
| 3 | | Josef Schneeberger,
Nora Koch,
Andreas Turk,
Rainer Lutze,
Martin Wirsing,
Hartmut Fritzsche,
Patrick Closhen:
EPK-fix: Software-Engineering und Werkzeuge für elektronische Produktkataloge.
GI Jahrestagung 1997: 446-455 |
| 2 | | Alexander Knapp,
Nora Koch,
Martin Wirsing,
J. Duckeck,
Rainer Lutze,
Hartmut Fritzsche,
D. Timm,
Patrick Closhen,
M. Frisch,
Hans-Jürgen Hoffmann,
Bernd Gaede,
Josef Schneeberger,
Herbert Stoyan,
Andreas Turk:
EPK-fix: Methods and Tools for Engineering Electronic Product Catalogues.
IDMS 1997: 199-209 |
| 1 | | Hartmut Fritzsche,
Immo O. Kerner:
Man or Boy? Probleme der Rekursion in Compilern.
Informatik Spektrum 20(3): 151-158 (1997) |
