View source for 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==
* [http://www.springer.com/la/book/9783319051543 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'' [http://se.ethz.ch/~meyer/publications/proofs/top.pdf PDF] - 2015 (draft)
*''Framing the Frame Problem'' [http://se.ethz.ch/~meyer/publications/aliasing/frame_marktoberdorf.pdf 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.
*[http://www.springer.com/gp/book/9783540921448 Touch of Class: Learning to Program Well with Objects and Contracts] - Springer 2009, ISBN 978-3-540-92144-8
* [http://www.inf.ethz.ch/~meyer/ongoing/etl Standard Eiffel] (revision of preceding entry), ongoing, 1997-present.
*''Invitation to Eiffel'' - ISE Technical Report TR-EI-67/IV. [http://www.maths.tcd.ie/~odunlain/eiffel/eiffel_course/designbyc/invitation.pdf PDF]
*''An automatic technique for static deadlock prevention'' [http://se.ethz.ch/~meyer/publications/aliasing/deadlock_psi.pdf 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'' [http://se.ethz.ch/~meyer/publications/methodology/invariants.pdf PDF] ACM Computing Surveys Sep 2014 (pre-print)

;Online courses
* Marco Piccioni, Bertrand Meyer, Nadia Polikarpova: [https://www.edx.org/course/computing-art-magic-science-ethx-cams-2x 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==
* [https://bertrandmeyer.com/ Bertrand Meyer's homepage and blog]
* [http://se.ethz.ch/~meyer/ Bertrand Meyer's homepage at ETH]

{{DEFAULTSORT:Meyer, Bertrand}}
[[Category:Author]][[Category:Developer]]