| 2004 |
|---|
| 27 | EE | Jürgen F. H. Winkler:
C#: eine Konkurrenz für Java?
it - Information Technology 46(2): 85-93 (2004) |
| 2003 |
|---|
| 26 | | Jürgen F. H. Winkler,
Peter Denecker,
Hubert B. Keller,
Michael Tonndorf:
Ada Deutschland Tagung 2002: Software für sicherheitskritische Systeme, 6. bis 8. März 2002, Jena, Friedrich-Schiller-Universität
Shaker Verlag 2003 |
| 2002 |
|---|
| 25 | | Carsten Freining,
Stefan Kauer,
Jürgen F. H. Winkler:
Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK.
Ada Deutschland Tagung 2002: 127-145 |
| 24 | | Jürgen F. H. Winkler:
A safe variant of the unsafe integer arithmetic of JavaTM.
Softw., Pract. Exper. 32(7): 669-701 (2002) |
| 1997 |
|---|
| 23 | EE | Jürgen F. H. Winkler:
Type Compatibility for Extensible Module Types, Their Reference Parameters, and Their Pointer Types.
J. UCS 3(2): 120-146 (1997) |
| 22 | | Jürgen F. H. Winkler,
Stefan Kauer:
Proving Assertions is Also Useful.
SIGPLAN Notices 32(3): 38-41 (1997) |
| 1993 |
|---|
| 21 | | Andreas Spillner,
Jürgen F. H. Winkler:
25 Jahre Software-Engineering - Editorial.
Informatik Spektrum 16(5): 257-258 (1993) |
| 20 | | Wolfgang Günther,
Jürgen F. H. Winkler:
Anwendung der Objektorientierung in einem industriellen Telekommunikationsprojekt.
Informatik Spektrum 16(6): 341-348 (1993) |
| 1992 |
|---|
| 19 | EE | Jürgen F. H. Winkler,
Georg Dießl:
Object CHILL - An Object Oriented Language for Systems Implementation.
ACM Conference on Computer Science 1992: 139-147 |
| 18 | | Jürgen F. H. Winkler:
Beispiele zur Rekursion von Reinhold Franck und anderen Autoren.
Informatik zwischen Wissenschaft und Gesellschaft 1992: 233-241 |
| 1990 |
|---|
| 17 | | Jürgen F. H. Winkler:
Visualisierung in der Software-Entwicklung.
GI Jahrestagung (1) 1990: 40-72 |
| 16 | | Jürgen F. H. Winkler,
Axel v. Reeken,
Adolf Schleiermacher:
A Prolog Debugger Based on a Refined Box Model.
LPE 1990: 46-51 |
| 15 | | Adolf Schleiermacher,
Jürgen F. H. Winkler:
The Implementation of ProTest: a Prolog Debugger for a Refined Box Model.
Softw., Pract. Exper. 20(10): 985-1006 (1990) |
| 1989 |
|---|
| 14 | | Jürgen F. H. Winkler,
Jürg Nievergelt:
Wie soll die Fakultätsfunktion programmiert werden? Overflow.
Informatik Spektrum 12(4): 220-221 (1989) |
| 1988 |
|---|
| 13 | | Jürgen F. H. Winkler:
Proceedings of the International Workshop on Software Version and Configuration Control, January 27-29, 1988, Grassau, Germany
Teubner 1988 |
| 12 | | Jürgen F. H. Winkler:
Program-Variations-in-the-Small.
SCM 1988: 175-196 |
| 1987 |
|---|
| 11 | | Jürgen F. H. Winkler:
Version Control in Families of Large Programs.
ICSE 1987: 150-165 |
| 1986 |
|---|
| 10 | | Jürgen F. H. Winkler:
The Integration of Version Control into Programming Languages.
Advanced Programming Environments 1986: 230-250 |
| 9 | | Jürgen F. H. Winkler:
Eine Konfigurationssprache f7uumlr Ada.
Software-Architektur 1986: 107-122 |
| 1982 |
|---|
| 8 | | Jürgen F. H. Winkler:
Ada: die neuen Konzepte.
Elektronische Rechenanlagen 24(4): 175-186 (1982) |
| 1981 |
|---|
| 7 | | Jürgen F. H. Winkler:
Formale Definition der Semantik von Prozessoperationen.
Implementierungssprachen für nichtsequentielle Programmsysteme 1981: 26-36 |
| 1980 |
|---|
| 6 | | Jürgen F. H. Winkler,
Clemens Stoffel:
Methode zur Erzeugung angepaßter und übertrabarer Betriebssysteme.
Portable Software 1980: 34-47 |
| 5 | | Jürgen F. H. Winkler:
Das Prozeßkonzept in Betriebssystemen und Programmiersprachen II.
Informatik Spektrum 3(1): 31-40 (1980) |
| 1979 |
|---|
| 4 | | Clemens Stoffel,
Jürgen F. H. Winkler:
Eine Übersicht über Hilfsmittel zur Beschreibung der Struktur und Funktion von Rechensystemen.
Elektronische Rechenanlagen 21(6): 274-287 (1979) |
| 3 | | Jürgen F. H. Winkler:
Das Prozeßkonzept in Betriebssystemen und Programmiersprachen I.
Informatik Spektrum 2(4): 219-229 (1979) |
| 1978 |
|---|
| 2 | | Jürgen F. H. Winkler:
Zum Begriff des Prozesses: am Beispiel von PEARL.
Elektronische Rechenanlagen 20(6): 277-282 (1978) |
| 1976 |
|---|
| 1 | | Jürgen F. H. Winkler:
Schleifen und strukturierte Programmierung.
Elektronische Rechenanlagen 18(4): 172-179 (1976) |
