Robert L. Baber
Professor in the Department of Computing and Software, McMaster
University, 2000 - 2003
SB, SM electrical engineering, SM industrial management
(MIT), Dr.-Ing. Informatik (Darmstadt)
FBCS, CEng, Eur. Ing.
I retired from McMaster University at the end of 2003 June and
returned to Europe in early July.
I am especially concerned with making this material more accessible and
useful to software developers in widespread and common practice and
the transformation of software development into a true engineering
- Mathematically rigorous software design and verification
- Specification and documentation of programs, especially for
and inspection of critical software
- Systematization, simplification and tailoring of the above to
facilitate their widespread use in practice
- Common and general aspects of the culture of the traditional
disciplines and their relevance to software development in the present
and in the future
1. Software Reflected: the Socially Responsible Programming of Our
North-Holland Publishing Co., Amsterdam, 1982. German translation: Softwarereflexionen:
Ideen und Konzepte für die Praxis, Springer-Verlag, Berlin,
2. The Spine of Software: Designing Provably Correct Software -
and Practice, John Wiley & Sons, Chichester, 1987.
3. Error Free Software: Know-How and Know-Why of Program
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
der Programmkorrektheit, Walter de Gruyter, Berlin, 1995.
For information on how to obtain these books, see http://home.rlbaber.de/Books/Books.html.
Materials for my courses can be found beginning at http://home.rlbaber.de/Professional/McMaster/Courses.
Curriculum vitae, publications
A list of my publications can be found in my
vitae. It can be read by the Adobe Acrobat Reader, which is
without charge from the Adobe web site.
For personal addresses see http://www.RLBaber.de.
Robert L. Baber, revised 2004 May 17.