Reinhard Budde

According to our database, Reinhard Budde authored at least 22 papers between 1981 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Perzeptrons programmieren und explorieren im Rahmen der Open Roberta Lernumgebung.

Alisa Véronique Münsterberg, Reinhard Budde, Ute Schmid, Thorsten Leimbach

Proceedings of the Informatikunterricht zwischen Aktualität und Zeitlosigkeit: 20. GI-Fachtagung Informatik und Schule, 2023

2014

Graphical Programming Environments for Educational Robots: Open Roberta - Yet Another One?

Beate Jost, Markus Ketterl, Reinhard Budde, Thorsten Leimbach

Proceedings of the 2014 IEEE International Symposium on Multimedia, 2014

2011

Kultur im Wissensnetz - Die Architektur der Deutschen Digitalen Bibliothek.

Kai Stalmann, Reinhard Budde, Robert Mertens, Christoph Tornau, Dennis Wegener, Volker Heydegger, Thorsten Wunderlich, Bernd Ingenbleek, Florian Schulz

EMISA Forum, 2011

2004

synERJY An Object-oriented Synchronous Language.

Reinhard Budde, Axel Poigné, Karl-Heinz Sylla

Proceedings of the Third International Workshop on Synchronous Languages, 2004

2000

Complex Reactive Control with Simple Synchronous Models.

Reinhard Budde, Axel Poigné

Proceedings of the Languages, 2000

1999

Coordination of Synchronous Programs.

Reinhard Budde, G. Michele Pinna, Axel Poigné

Proceedings of the Coordination Languages and Models, Third International Conference, 1999

1998

The Synchronous Approach to Designing Reactive Systems.

Axel Poigné, Matthew Morley, Olivier Maffeïs, Leszek Holenderski, Reinhard Budde

Formal Methods Syst. Des., 1998

1996

Formal Verification as a Design Tool - The Transponder Lock Example.

Reinhard Budde, Agathe Merceron, Karl-Heinz Sylla

Proceedings of the 15th International Conference on Computer Safety, 1996

1995

Objektorientierte Konstruktion von Software-Werkzeugen und -Materialien.

Dirk Bäumer, Reinhard Budde, Karl-Heinz Sylla, Guido Gryczan, Heinz Züllighoven

Inform. Spektrum, 1995

ESTEREL.

Reinhard Budde

Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995

1992

Tools and Materials: an Analysis and Design Metaphor.

Reinhard Budde, Marie-Luise Christ-Neumann, Karl-Heinz Sylla, Heinz Züllighoven

Proceedings of the TOOLS 1992: 7th International Conference on Technology of Object-Oriented Languages and Systems, 1992

Erfahrungen beim objektorientierten Entwerfen und Analysieren.

Reinhard Budde, Marie-Luise Christ-Neumann, Karl-Heinz Sylla, Heinz Züllighoven

Proceedings of the Eiffel, 1992

Prototyping - an approach to evolutionary system development.

Reinhard Budde

Springer, ISBN: 038754352X, 1992

1990

Software-Werkzeuge in einer Programmierwerkstatt: Ansätze eines hermeneutisch fundierten Werkzeug- und Maschinenbegriffs.

Reinhard Budde, Heinz Züllighoven

PhD thesis, 1990

1987

Konstruktion interaktiver Anwendungen in einer Prolog-Programmierumgebung.

Reinhard Budde, Karin Kuhlenkamp, Karl-Heinz Sylla, Heinz Züllighoven

Proceedings of the Künstliche Intelligenz, 5. Frühjahrsschule, 1987

Methodik des Programmierens in Prolog.

Reinhard Budde, Karin Kuhlenkamp, Karl-Heinz Sylla, Heinz Züllighoven

Proceedings of the Künstliche Intelligenz, 5. Frühjahrsschule, 1987

1986

Prototypenbau bei der Systemkonstruktion - Konzepte der Systementwicklung.

Reinhard Budde, Karin Kuhlenkamp, Karl-Heinz Sylla, Heinz Züllighoven

Angew. Inform., 1986

Prototypenbau bei der Systemkonstruktion - Erfahrungen und Probleme.

Reinhard Budde, Karin Kuhlenkamp, Karl-Heinz Sylla, Heinz Züllighoven

Angew. Inform., 1986

1984

Objektorientierte Programmierumgebungen.

Reinhard Budde, Karl-Heinz Sylla

Proceedings of the Programmierumgebungen und Compiler, 1984

1983

Ein Dokumenteditor für natürlichsprachliche Texte in einer Software-Entwicklungs-Umgebung.

Reinhard Budde, Angela Spittel

Proceedings of the Software-Ergonomie, 1983

Aufruf-Hierarchie und Klassen-Definition.

Reinhard Budde

Proceedings of the Objektorientierte Software- und Hardwarearchitekturen, 1983

1981

Einige Bemerkungen zum Verständnis nebenläfiger Prozesse und Systeme.

Reinhard Budde

Proceedings of the GI, 1981