Dr.-Ing. Robert L. Baber, FBCS, CEng, Eur.Ing.
(For an English language version of this web page, click here.)
Pensionierter Unternehmensberater und Hochschulprofessor der Informatik
und der Softwaretechnik
S.B., S.M. Electrical Engineering, S.M. Industrial Management,
Massachusetts Institute of Technology
Dr.-Ing. Informatik, Technische Hochschule Darmstadt (jetzt Technische
Universität Darmstadt)
Dr.-Ing. Robert L. Baber
Ferdinandstraße 19
D-61348 Bad Homburg v.d.H.
Bundesrepublik Deutschland
Telefon (Festnetz, T-Net): +49-6172-687882
Telefon (Festnetz, DSL-Telefonie): +49-6172-808358
Telefon (mobil): +49-1520-1949163
Fax: +49-6172-808359
E-mail: Bob@RLBaber.de
Für sonstige Adressen,
Telefonnummern usw., s. http://www.RLBaber.de.
Schwerpunkte meiner Beratungstätigkeit
- Konzipierung, Spezifizierung, technische Planung und Entwurf von
Computersystemen für technische und kaufmännische Anwendungen
- Mathematische Modellierung, z.B. für betriebswirtschaftliche
Optimierung und das
Spezifizieren von Software
- Anwendung der Mathematik auf praktische Aufgaben und Probleme
Obwohl ich im Ruhestand bin, stehe ich für wichtige und
interessante Beratungsaufgaben immer noch zur Verfügung.
Sonstige professionelle Tätigkeiten
- Seminar über die Konstruktion
fehlerfreier Software (mathematisch rigorose Softwareentwicklung)
- Universitätskurs (Vorlesung mit Übungen) über das
obige Thema
Gegenwärtige Tätigkeiten
- Verfassen eines Buches über die Sprache der Mathematik,
zunächst in englischer Sprache, s. http://Sprache-der-Mathematik.de.
- Keltische Harfe spielen
- Studieren der alten Geschichte, insbesondere der Mathematik, der
Wissenschaften und der Technologie
- Fremdsprachen lernen, z.B. Akkadisch, Französisch, usw.
Bücher
1. Software Reflected: the Socially Responsible Programming of Our
Computers,
North-Holland Publishing Co., Amsterdam, 1982. Deutsche
Übersetzung: Softwarereflexionen:
Ideen und Konzepte für die Praxis, Springer-Verlag, Berlin,
1986.
2. The Spine of Software: Designing Provably Correct Software -
Theory
and Practice, John Wiley & Sons, Chichester, 1987.
3. Fehlerfreie
Programmierung für den Software-Zauberlehrling, R. Oldenbourg
Verlag, München, 1990. Englische Übersetzung: Error Free
Software: Know-How and Know-Why of Program
Correctness,
John Wiley & Sons, Chichester, 1991.
4. Praktische Anwendbarkeit mathematisch rigoroser Methoden zum
Sicherstellen
der Programmkorrektheit, Walter de Gruyter, Berlin, 1995.
Für weitere Informationen über diese Bücher, s. http://baber.servehttp.com/Books/Books.html.
Die Bücher können von dort auch heruntergeladen werden.
Unterrichtsnotizen
Für Unterrichtsnotizen und sonstiges Material zu meinem
Universitätskurs über die mathematisch rigorose
Softwareentwicklung s. http://baber.servehttp.com/Professional/MRSD
und http://baber.servehttp.com/Professional/McMaster/Courses/46L03.
Dieses Material ist in englischer Sprache.
Andere Schriften
Für einige andere von mir verfaßte Schriften, s. http://baber.servehttp.com/Professional/MiscWritings.
Curriculum vitae, Veröffentlichungen
Robert L. Baber,
aktualisiert 2008 Juli 21.