Dr.-Ing. Robert L. Baber, FBCS, CEng, Eur.Ing.
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
- Akkadisch lernen
- Französisch lernen
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 Februar 27.