Background
Baber, Robert Laurence was born on December 11, 1937 in Los Angeles, California, United States. Son of Roy Lindsay Baber and Gladys Faye (Kingsland) Featherstone.
(Demonstrates how formal mathematical methods of proving c...)
Demonstrates how formal mathematical methods of proving correctness can help decrease the incidence of design errors (''bugs'') in software development. While all the techniques described here have a rigorous mathematical foundation, it is omitted in favor of emphasizing practical applications.
http://www.amazon.com/gp/product/0471930164/?tag=2022091-20
Baber, Robert Laurence was born on December 11, 1937 in Los Angeles, California, United States. Son of Roy Lindsay Baber and Gladys Faye (Kingsland) Featherstone.
Bachelor of Science in Electrical Engineering, Massachusetts Institute of Technology, 1959. Master of Science in Electrical Engineering, Massachusetts Institute of Technology. Master of Science in Industrial Management, Massachusetts Institute of Technology, 1962.
Doctor of Engineering in computer science, Tech, Hochschule Darmstadt, Germany, 1994.
Engineer, Control Data Corporation, Minneapolis and Frankfurt, Germany, 1964-1966;
consultant, senior consultant, Diebold Europe S.A., Frankfurt, 1966-1970;
senior consultant, Harbridge House Europe, Frankfurt, 1970-1975;
management consultant, Bad Homburg, Germany, since 1975. External lecturer U. Frankfurt, since 1988. Active several technical working groups of professional societies.
Speaker in field.
(Every engineering field is founded on a body of fundament...)
(Demonstrates how formal mathematical methods of proving c...)
1st lieutenant United States Army, 1962-1964. Fellow British Computer Society. Member Institute of Electrical and Electronics Engineers (senior member, co-founder, 1st chairman computer chapter German section 1986-1990, vice chairman German section), Institute of Electrical and Electronics Engineers Computer Society, Institute of Electrical and Electronics Engineers Reliability Society, German Informatics Society, Society of German Engineers (member technical working group on software reliabiltity and safety of automatic control systems), Association of German Electrical Engineers, society for Information Technology.
Married Ursula Kettler, September 4, 1964. Children: Ingrid Anne Jack, Eric Robert.