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 0-13-629155-4

The book where Eiffel was first described, but is actually a textbook of object-oriented methods rather than a Eiffel tutorial.

Object-Oriented Software Construction, Second Edition - Prentice Hall PTR 1997, ISBN 0-13-629155-4

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 - ISE Technical Report TR-EI-67/IV. 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