Bertrand Meyer: Difference between revisions
Appearance
Created page with "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 ..." |
|||
(3 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
Bertrand Meyer (b. 1950) is a French gent that is a Professor of Software Engineering at | 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== | ==Publications== | ||
* [http://www.springer.com/la/book/9783319051543 Agile! The Good, the Hype and the Ugly] - 2014 | * [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. | : 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 – | *''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 | *''Introduction to the Theory of Programming Languages'' - Prentice Hall 1990, ISBN 0134985109 | ||
* | *''Principles of Package Design'', Commun. ACM 25(7): 419-428 (1982) | ||
* [http://se.ethz.ch/~meyer/publications/proofs/top.pdf | *''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'' [http://se.ethz.ch/~meyer/publications/aliasing/frame_marktoberdorf.pdf PDF] - 2014 (pre-print) | ||
;Eiffel | ;Eiffel | ||
* Object Oriented Software Construction - ISBN | * ''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, | :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. | * ''Object-Oriented Software Construction, Second Edition'' - Prentice Hall PTR 1997, ISBN 0-13-629155-4 | ||
* Eiffel, the Language - ISBN 0-13-247925-7 | :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. | : 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 | *[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.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'' - ISE Technical Report TR-EI-67/IV. [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'' [http://se.ethz.ch/~meyer/publications/aliasing/deadlock_psi.pdf PDF] - 2014 (pre-print) | ||
* Reusable Software. The base Object-Oriented Component Libraries | *''Reusable Software. The base Object-Oriented Component Libraries'' - Prentice-Hall 1994, ISBN 0-13-245499-8 | ||
* Carlo Furia, Bertrand Meyer | * 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 | ;Online courses | ||
* Marco Piccioni, Bertrand Meyer | * 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. | : Note, closed for new participants but all course material is online if you want to do some self learning. | ||
Line 34: | Line 35: | ||
* [http://se.ethz.ch/~meyer/ Bertrand Meyer's homepage at ETH] | * [http://se.ethz.ch/~meyer/ Bertrand Meyer's homepage at ETH] | ||
[[Category: | {{DEFAULTSORT:Meyer, Bertrand}} | ||
[[Category:Author]][[Category:Developer]] |
Latest revision as of 15:35, 9 July 2021
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