Robert L. Baber
Professor Emeritus
SB, SM electrical engineering, SM industrial management (MIT), Dr.-Ing.
Informatik (Darmstadt)
FBCS, CEng, Eur. Ing., (P.Eng. until 2004 May)
E-mail: BobUniv@RLBaber.de
I retired from McMaster University at the end of 2003 June and
returned to Europe in early July.
Research Interests
- Mathematically rigorous software design and verification
- Specification and documentation for
designing, verifying
and inspecting programs
- Systematization, simplification and tailoring of the above to
enable
and
facilitate their widespread use in practice
- Common and general aspects of the culture of the traditional
engineering
disciplines and their relevance to software development in the present
and in the future
I am especially concerned with making this material more accessible and
useful to software developers in widespread and common practice and
with
the metamorphosis of software development into a true engineering
discipline.
Books
1. Software Reflected: the Socially Responsible Programming of Our
Computers,
North-Holland Publishing Co., Amsterdam, 1982. German translation: 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. Error Free Software: Know-How and Know-Why of Program
Correctness,
John Wiley & Sons, Chichester, 1991. German original: Fehlerfreie
Programmierung für den Software-Zauberlehrling, R. Oldenbourg
Verlag, München, 1990.
4. Praktische Anwendbarkeit mathematisch rigoroser Methoden zum
Sicherstellen
der Programmkorrektheit, Walter de Gruyter, Berlin, 1995.
For information on how to obtain these books, see http://www.cas.mcmaster.ca/~baber/Books/Books.html.
Course materials
Materials for my courses can be found beginning at http://www.cas.mcmaster.ca/~baber/Courses.
Curriculum vitae, publications
A list of my publications can be found in my
curriculum
vitae. It can be read by the Adobe Acrobat Reader, which is
available
without charge from the Adobe web site.
For personal addresses see http://www.RLBaber.de.
Robert L. Baber, revised 2004 May 19.