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 - 2014 - Springer - 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 – 1995 - Prentice Hall - ISBN 0387304150
- Introduction to the Theory of Programming Languages - 1990 - Prentice Hall - ISBN 0134985109
- "Principles of Package Design", Commun. ACM 25(7): 419-428 (1982)
- Theory of Programs - 2015 (draft) - In PDF format.
- Framing the Frame Problem - 2014 (pre-print) - In PDF format.
- Eiffel
- Object Oriented Software Construction - ISBN 0136291554 - In Print
- The book where Eiffel was first described, but is actually a textbook of object-oriented methods rather than a Eiffel tutorial, originally published in 1988.
- 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 - In Print
- The Second printing, 1992, is considered the second (informal) Eiffel standard.
- Touch of Class: Learning to Program Well with Objects and Contracts - 2009 - Springer - ISBN 978-3-540-92144-8
- Standard Eiffel (revision of preceding entry), ongoing, 1997-present.
- Invitation to Eiffel
- An automatic technique for static deadlock prevention - 2014 (pre-print) - In PDF format.
- Reusable Software. The base Object-Oriented Component Libraries. - 1994 - Prentice-Hall - ISBN 0-13-245499-8
- Carlo Furia, Bertrand Meyer and Sergey Velder: Loop invariants: Analysis, Classification and Examples ACM Computing Surveys September 2014 (pre-print) - In PDF format.
- Online courses
- Marco Piccioni, Bertrand Meyer and 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