Jürgen F. H. Winkler

34 papers A* 1Journal 20Unranked 11
YearRankTypeTitle / Venue / Authors
2019 J jnl
Oprema - The Relay Computer of Carl Zeiss Jena.
CoRR
Jürgen F. H. Winkler
2010 J jnl
Mechanical inference of invariants for FOR-loops.
J. Symb. Comput.
Stefan Kauer, Jürgen F. H. Winkler
2004 J jnl
C#: eine Konkurrenz für Java?
it Inf. Technol.
Jürgen F. H. Winkler
2003 — ed.
Ada Deutschland Tagung 2002: Software für sicherheitskritische Systeme, 6. bis 8. März 2002, Jena, Friedrich-Schiller-Universität
Ada Deutschland Tagung
Jürgen F. H. Winkler, Peter Dencker, Hubert B. Keller, Michael Tonndorf
2002 J jnl
A safe variant of the unsafe integer arithmetic of Java
Softw. Pract. Exp.
Jürgen F. H. Winkler
2002 — conf
Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK.
Ada Deutschland Tagung
Carsten Freining, Stefan Kauer, Jürgen F. H. Winkler
1997 J jnl
Proving Assertions is Also Useful.
ACM SIGPLAN Notices
Jürgen F. H. Winkler, Stefan Kauer
1997 J jnl
Type Compatibility for Extensible Module Types, Their Reference Parameters, and Their Pointer Types.
J. Univers. Comput. Sci.
Jürgen F. H. Winkler
1993 J jnl
25 Jahre Software-Engineering - Editorial.
Inform. Spektrum
Andreas Spillner, Jürgen F. H. Winkler
1993 J jnl
Anwendung der Objektorientierung in einem industriellen Telekommunikationsprojekt.
Inform. Spektrum
Wolfgang Günther, Jürgen F. H. Winkler
1992 — conf
Beispiele zur Rekursion von Reinhold Franck und anderen Autoren.
Informatik zwischen Wissenschaft und Gesellschaft
Jürgen F. H. Winkler
1992 — conf
Object CHILL - An Object Oriented Language for Systems Implementation.
ACM Conference on Computer Science
Jürgen F. H. Winkler, Georg Dießl
1990 — conf
A Prolog Debugger Based on a Refined Box Model.
LPE
Jürgen F. H. Winkler, Axel v. Reeken, Adolf Schleiermacher
1990 — conf
Adding inheritance to Ada.
WADAS
Jürgen F. H. Winkler
1990 J jnl
The Implementation of ProTest: a Prolog Debugger for a Refined Box Model.
Softw. Pract. Exp.
Adolf Schleiermacher, Jürgen F. H. Winkler
1990 — conf
Visualisierung in der Software-Entwicklung.
GI Jahrestagung (1)
Jürgen F. H. Winkler
1989 J jnl
Wie soll die Fakultätsfunktion programmiert werden? Overflow.
Inform. Spektrum
Jürgen F. H. Winkler, Jürg Nievergelt
1988 — ed.
Proceedings of the International Workshop on Software Version and Configuration Control, January 27-29, 1988, Grassau, Germany
SCM
Jürgen F. H. Winkler
1988 — conf
Program-Variations-in-the-Small.
SCM
Jürgen F. H. Winkler
1988 J jnl
Workshop on software version and configuration control.
ACM SIGSOFT Softw. Eng. Notes
Jürgen F. H. Winkler
1987 A* conf
Version Control in Families of Large Programs.
ICSE
Jürgen F. H. Winkler
1986 — conf
Eine Konfigurationssprache für Ada.
Software-Architektur
Jürgen F. H. Winkler
1986 — conf
The Integration of Version Control into Programming Languages.
Advanced Programming Environments
Jürgen F. H. Winkler
1984 J jnl
Some improvements of ISO-Pascal.
ACM SIGPLAN Notices
Jürgen F. H. Winkler
1984 J jnl
Some improvements of ISO-Pascal.
ACM SIGPLAN Notices
Jürgen F. H. Winkler
1982 J jnl
Ada: die neuen Konzepte.
Elektron. Rechenanlagen
Jürgen F. H. Winkler
1981 J jnl
Differences between preliminary and final ADA.
ACM SIGPLAN Notices
Jürgen F. H. Winkler
1981 — conf
Formale Definition der Semantik von Prozessoperationen.
Implementierungssprachen für nichtsequentielle Programmsysteme
Jürgen F. H. Winkler
1980 J jnl
Das Prozeßkonzept in Betriebssystemen und Programmiersprachen II.
Inform. Spektrum
Jürgen F. H. Winkler
1980 — conf
Methode zur Erzeugung angepaßter und übertrabarer Betriebssysteme.
Portable Software
Jürgen F. H. Winkler, Clemens Stoffel
1979 J jnl
Das Prozeßkonzept in Betriebssystemen und Programmiersprachen I.
Inform. Spektrum
Jürgen F. H. Winkler
1979 J jnl
Eine Übersicht über Hilfsmittel zur Beschreibung der Struktur und Funktion von Rechensystemen.
Elektron. Rechenanlagen
Clemens Stoffel, Jürgen F. H. Winkler
1978 J jnl
Zum Begriff des Prozesses: am Beispiel von PEARL.
Elektron. Rechenanlagen
Jürgen F. H. Winkler
1976 J jnl
Schleifen und strukturierte Programmierung.
Elektron. Rechenanlagen
Jürgen F. H. Winkler