Bertrand Meyer

Bertrand Meyer (b. 1950) is a French gent that is a Professor of Software Engineering at ETH. He created the Eiffel programming language alongside Jean Marc Nerson in the 1980's and is the originator the ideas of "Design by contract" and the "Uniform access principle", his book Object-Oriented Software Construction is considered the introductory text on object oriented topics. He founded and owns Eiffel Software (originally known as ISE) in the USA in 1985.

Publications

 * Agile! The Good, the Hype and the Ugly - Springer 2014, ISBN 978-3-319-05154-3
 * Superb book on the Agile! software methodologies, mostly negative but a solid read no matter what your opinion of the matter.


 * Object Success : A Manager's Guide to Object-Oriented Technology And Its Impact On the Corporation – Prentice Hall 1995, ISBN 0387304150
 * Introduction to the Theory of Programming Languages - Prentice Hall 1990, ISBN 0134985109
 * Principles of Package Design, Commun. ACM 25(7): 419-428 (1982)
 * Theory of Programs PDF - 2015 (draft)
 * Framing the Frame Problem PDF - 2014 (pre-print)


 * Eiffel
 * Object Oriented Software Construction - 1988, ISBN 0136291554
 * The book where Eiffel was first described, but is actually a textbook of object-oriented methods rather than a Eiffel tutorial.
 * The first edition (1988) and second edition (1997) are considered the first and third informal Eiffel standards.


 * Eiffel, the Language - ISBN 0-13-247925-7
 * The Second printing, 1992, is considered the second (informal) Eiffel standard.


 * Touch of Class: Learning to Program Well with Objects and Contracts - Springer 2009, ISBN 978-3-540-92144-8
 * Standard Eiffel (revision of preceding entry), ongoing, 1997-present.
 * Invitation to Eiffel PDF
 * An automatic technique for static deadlock prevention PDF - 2014 (pre-print)
 * Reusable Software. The base Object-Oriented Component Libraries - Prentice-Hall 1994, ISBN 0-13-245499-8
 * Carlo Furia, Bertrand Meyer, Sergey Velder: Loop invariants: Analysis, Classification and Examples PDF ACM Computing Surveys Sep 2014 (pre-print)


 * Online courses
 * Marco Piccioni, Bertrand Meyer, Nadia Polikarpova: Art, Magic, Science - "Learn the basics of Information Technology and how to write quality programs in this introductory computer science course."
 * Note, closed for new participants but all course material is online if you want to do some self learning.

Known software projects

 * ISE Eiffel - 1986 onwards

Links

 * Bertrand Meyer's homepage and blog
 * Bertrand Meyer's homepage at ETH