Bertrand Meyer: Difference between revisions

Revision as of 22:21, 16 November 2016

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

@@ Line 2: / Line 2: @@
 ==Publications==
-* [http://www.springer.com/la/book/9783319051543 Agile! The Good, the Hype and the Ugly] - 2014 - Springer - ISBN 978-3-319-05154-3
+* [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 – 1995 - Prentice Hall - ISBN 0387304150
+*''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 - 1990 - Prentice Hall - ISBN 0134985109
+*''Introduction to the Theory of Programming Languages'' - Prentice Hall 1990, ISBN 0134985109
-*  "Principles of Package Design", Commun. ACM 25(7): 419-428 (1982)
+*''Principles of Package Design'', Commun. ACM 25(7): 419-428 (1982)
-* [http://se.ethz.ch/~meyer/publications/proofs/top.pdf Theory of Programs] - 2015 (draft) - In [[PDF]] format.
+*''Theory of Programs'' [http://se.ethz.ch/~meyer/publications/proofs/top.pdf PDF] - 2015 (draft)
-* [http://se.ethz.ch/~meyer/publications/aliasing/frame_marktoberdorf.pdf Framing the Frame Problem] - 2014 (pre-print) - In [[PDF]] format.
+*''Framing the Frame Problem'' [http://se.ethz.ch/~meyer/publications/aliasing/frame_marktoberdorf.pdf PDF] - 2014 (pre-print)
 ;Eiffel
-* Object Oriented Software Construction - ISBN 0136291554 - In Print
+* ''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, originally published in 1988.
+: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.
+: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
+* ''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] - 2009 - Springer - ISBN 978-3-540-92144-8
+*[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.
-* [http://www.maths.tcd.ie/~odunlain/eiffel/eiffel_course/designbyc/invitation.pdf Invitation to Eiffel]
+*''Invitation to Eiffel'' [http://www.maths.tcd.ie/~odunlain/eiffel/eiffel_course/designbyc/invitation.pdf PDF]
-* [http://se.ethz.ch/~meyer/publications/aliasing/deadlock_psi.pdf An automatic technique for static deadlock prevention] - 2014 (pre-print) - In [[PDF]] format.
+*''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. - 1994 - Prentice-Hall - ISBN 0-13-245499-8
+*''Reusable Software. The base Object-Oriented Component Libraries'' - Prentice-Hall 1994, ISBN 0-13-245499-8
-* Carlo Furia, Bertrand Meyer and Sergey Velder: [http://se.ethz.ch/~meyer/publications/methodology/invariants.pdf Loop invariants: Analysis, Classification and Examples] ACM Computing Surveys September 2014 (pre-print) - In PDF format.
+* 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 and 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."
+* 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.
@@ Line 34: / Line 34: @@
 * [http://se.ethz.ch/~meyer/ Bertrand Meyer's homepage at ETH]
-[[Category:Contributors]]
+{{DEFAULTSORT:Meyer, Bertrand}}
+[[Category:Author]][[[[Category:Developer]]