Burkhardt Renz

Publikationen und Vorträge

2019

Burkhardt Renz: Natürliches Schließen in Coq. Tutorial, THM, Januar 2019
Portable Document Format, 417 KB, Stand 9.01.2019

2015

Burkhardt Renz: 3 times Sudoku – Logic and Constraints in Clojure. :clojureD, Berlin, Januar 2015
Portable Document Format, 3900 KB, Stand 25.05.2018

2014

Burkhardt Renz: eBC eBooks Collection Toolbox. Technischer Bericht Nr. 5 des Instituts für SoftwareArchitektur
Portable Document Format, 342 KB, Stand 25.05.2018
Burkhardt Renz: (Fast) 12 Jahre Register-Schnittstelle – Ein Fazit. Vortrag bei der Informationsveranstaltung des Verlags für Standesamtswesen für die Referentinnen und Referenten für Personenstandswesen bei den Innenministerien der Länder und des Bundes
Portable Document Format, 4207 KB, Stand 25.05.2018

2010

Burkhardt Renz und Nils Asmussen: Kurze Einführung in Alloy. Fachhochschule Gießen-Friedberg
Portable Document Format, 415 KB, Stand 4.06.2018

2008

Burkhardt Renz: Lösungen mit dem MNI Proposition Analyzer MPA - Logeleien, Kartenfärbung, Sudoku, Variabilitätsmodelle. Technischer Bericht Fachhochschule Gießen-Friedberg University of Applied Sciences
Portable Document Format, 2370 KB, Stand 25.05.2018

2006

Bodo A. Igler, Burkhardt Renz: Softwareanalyse: Einsatzgebiete, Werkzeuge und Beispiele. Workshop Verlag für Standesamtswesen 17. August 2006. (Fassung ohne Animation)
Portable Document Format, 561 KB, Stand 25.05.2018

2005

Burkhardt Renz: Das elektronische Personenstandsbuch: Technische Möglichkeiten und Visionen. Vortrag Deutscher Standesbeamtentag Göttingen 11. November 2005.
Portable Document Format, 2320 KB, Stand 25.05.2018
Burkhardt Renz: Überlegungen zum Curriculum der Informatik an Hochschule und Schule. Referat Geschwister-Scholl-Schule Rodgau-Hainhausen 4. 10. 2005
Portable Document Format, 513 KB, Stand 25.05.2018
Burkhardt Renz: Das elektronische Personenstandsbuch: ein Konzept. Technischer Bericht Fachhochschule Gießen-Friedberg März 2005
Portable Document Format, 238 KB, Stand 25.05.2018
Sebastian Süß, Ingo Graser, Burkhardt Renz: Der ePb-Server: Spezifikation der Schnittstelle. Technischer Bericht Fachhochschule Gießen-Friedberg März 2005
Portable Document Format, 548 KB, Stand 25.05.2018
Burkhardt Renz: Namensrecht und objektorientierte Analyse mit UML: Fragen über Fragen. Fachhochschule Gießen-Friedberg 2005
Portable Document Format, 532 KB, Stand 25.05.2018
Claudia Fritsch and Burkhardt Renz: Four Mechanisms for Adaptable Systems – A Meta-Level Approach to Building a Software Product Line. in: Software Process Improvement and Practice Volume 10, 103 - 124, John Wiley & Sons 2005.
Die elektronische Version ist nur für den persönlichen Gebrauch bestimmt. Copyright hat John Wiley & Sons, Ltd. Weiterverbreitung ist nicht gestattet.
Portable Document Format, 375 KB, Stand 25.05.2018

2004

Claudia Fritsch and Burkhardt Renz: Four Mechanisms for Adaptable Systems – A Meta-Level Approach to Building a Software Product Line. in: Software Product Lines, Third International Conference, SPLC 2004 Boston, MA, USA, August/September 2004 Proceedings LNCS 3154 Springer 2004.
Die elektronische Version ist nur für den persönlichen Gebrauch bestimmt. Copyright hat der Springer-Verlag. Weiterverbreitung ist nicht gestattet.
Portable Document Format, 1676 KB, Stand 25.05.2018
Burkhardt Renz: Publizieren von Modulkatalogen. in: Tagungsbericht des Workshops Leistungspunkte und Modulmanagement L&M 2004 Leipzig 23./24.3.2004
Portable Document Format, 96 KB, Stand 25.05.2018

2002

Burkhardt Renz: Das elektronische Personenstandsbuch: Überlegungen zu Anforderungen und Systemarchitektur. Vortrag Verlag für Standesamtswesen Berlin Dezember 2002.
Portable Document Format, 411 KB, Stand 25.05.2018
Burkhardt Renz: Entwicklung von Softwaresystemen mit der PAC- und Metalevel-Architektur. Vortrag Bosch GmbH CM-DI Frankfurt Mai 2002
Portable Document Format, 235 KB, Stand 25.05.2018

2001

Burkhardt Renz: Die kleine XML-Apotheke: Einführendes zum Thema XML, XSL und Datenbanken. Januar 2001
Portable Document Format, 2635 KB, Stand 25.05.2018

1999

Burkhardt Renz: Information und Struktur: Einführung in XML. Vortrag FH Darmstadt Dezember 1999 (Version ohne Animation)
Portable Document Format, 126 KB, Stand 25.05.2018
Burkhardt Renz: Softwareentwicklung mit Komponenten. Vortrag FH Gießen Oktober 1999 (Version ohne Animation)
Portable Document Format, 132 KB, Stand 25.05.2018

Arbeiten vor 1990

Burkhardt Renz: Geometric invariants and HNN-extensions. in: Group Theory: Proceedings of the 1987 Singapore Conference, Berlin, New York 1989, 465 - 484. (Copyright by Walter de Gruyter – for personal use only)
Portable Document Format, 10624 KB, Stand 25.05.2018
Burkhardt Renz: Geometrische Invarianten und Endlichkeitseigenschaften von Gruppen. Dissertation, Frankfurt am Main 1988.
Portable Document Format, 36632 KB, Stand 25.05.2018
Robert Bieri, Burkhardt Renz: Valuations on free resolutions and higher geometric invariants of groups. Comment. Math. Helvetici 63 (1988), 464 - 497. (Copyright by Birkhäuser – for personal use only)
Portable Document Format, 2868 KB, Stand 25.05.2018
Robert Bieri, Burkhardt Renz: Invariants géométriques supérieurs d'un groupe discret. in: C. R. Acad. Sc. Paris, t.303, Série I, no 10, 1986, 435 - 437.
Portable Document Format, 705 KB, Stand 25.05.2018
Burkhardt Renz: Permutationsgruppen vom Rang 3 und die Konstruktion der sporadischen einfachen Gruppe von Suzuki. Diplomarbeit, Tübingen 1982.
Portable Document Format, 3433 KB, Stand 25.05.2018