Jump to content

Bertrand Meyer: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
Tag: possible unreferenced addition to BLP
 
(45 intermediate revisions by 32 users not shown)
Line 1: Line 1:
{{Short description|French computer scientist}}
{{Use dmy dates|date=March 2023}}
{{Infobox person
{{Infobox person
|name = Bertrand Meyer
|name = Bertrand Meyer
Line 13: Line 15:
*[[École Polytechnique]]
*[[École Polytechnique]]
}}
}}
|employer = [[ETH Zurich]]<ref>{{cite web|url=http://se.ethz.ch/~meyer/ |title=Chair of Software Engineering Bertrand Meyer|website=Faculty web page for Bertrand Meyer|access-date=28 August 2020}}</ref>
|employer = [[ETH Zurich]]<ref>{{cite web|url=http://se.ethz.ch/~meyer/|title=Chair of Software Engineering Bertrand Meyer|website=Faculty web page for Bertrand Meyer|access-date=28 August 2020|archive-date=18 January 2010|archive-url=https://web.archive.org/web/20100118090336/http://se.ethz.ch/~meyer/|url-status=live}}</ref>
|occupation = Professor
|occupation = Professor
|spouse =
|spouse =
Line 19: Line 21:
}}
}}


'''Bertrand Meyer''' ({{IPAc-en|ˈ|m|aɪ|.|ər}}; {{IPA-fr|mɛjɛʁ|lang}}; born 21 November 1950) is a French academic, author, and consultant in the field of computer languages. He created the [[Eiffel (programming language)|Eiffel programming language]] and the idea of [[design by contract]].
'''Bertrand Meyer''' ({{IPAc-en|ˈ|m|aɪ|.|ər}}; {{IPA|fr|mɛjɛʁ|lang}}; born 21 November 1950) is a French academic, author, and consultant in the field of computer languages. He created the [[Eiffel (programming language)|Eiffel programming language]] and the concept of [[design by contract]].


==Education and academic career==
==Education and academic career==
Bertrand Meyer received a [[master's degree]] in engineering from the [[École Polytechnique]]<ref>{{cite web|url=https://www.polytechnique.org/profile/bertrand.meyer.1969 |title=Ecole Polytechnique Alumni page for Bertrand Meyer|website=Ecole Polytechique alumni site|access-date=12 April 2020}}</ref> in Paris, a second master's degree from [[Stanford University]], and a [[Doctor of Philosophy|PhD]] from the [[Université de Nancy]]. He had a technical and managerial career for nine years at [[Électricité de France]], and for three years was a member of the faculty of the [[University of California, Santa Barbara]].
Meyer received a [[master's degree]] in engineering from the [[École Polytechnique]]<ref>{{cite web|url=https://www.polytechnique.org/profile/bertrand.meyer.1969|title=Ecole Polytechnique Alumni page for Bertrand Meyer|website=Ecole Polytechique alumni site|access-date=12 April 2020|archive-date=12 April 2020|archive-url=https://web.archive.org/web/20200412135655/https://www.polytechnique.org/profile/bertrand.meyer.1969|url-status=live}}</ref> in Paris, a second master's degree from [[Stanford University]], and a [[Doctor of Philosophy|PhD]] from the [[Université de Nancy]]. He had a technical and managerial career for nine years at [[Électricité de France]], and for three years was a member of the faculty of the [[University of California, Santa Barbara]].


From 2001 to 2016, he was professor of software engineering at [[ETH Zürich]], the Swiss Federal Institute of Technology, where he pursued research on building trusted components (reusable software elements) with a guaranteed level of quality. He was Chair of the ETH Computer Science department from 2004 to 2006 and for 13 years (2003–2015) taught the Introduction to Programming course taken by all ETH computer science students, resulting in a widely disseminated programming textbook, ''[[Touch of Class (textbook)|Touch of Class]]'' (Springer).
From 2001 to 2016, he was professor of software engineering at [[ETH Zürich]], the Swiss Federal Institute of Technology, where he pursued research on building trusted components (reusable software elements) with a guaranteed level of quality. He was Chair of the ETH Computer Science department from 2004 to 2006 and for 13 years (2003–2015) taught the Introduction to Programming course taken by all ETH computer science students, resulting in a widely disseminated programming textbook, ''[[Touch of Class (textbook)|Touch of Class]]'' (Springer).


He remains Professor [[emeritus]] of Software Engineering at [[ETH Zurich]] and is currently Professor of Software Engineering at the [[Schaffhausen Institute of Technology]] (SIT), a new research university in [[Schaffhausen]], Switzerland.
He remains Professor [[emeritus]] of Software Engineering at [[ETH Zurich]] and is currently Professor of Software Engineering and Provost at Constructor Institute of Technology (previously [[Schaffhausen Institute of Technology]] (SIT)), a new research university in [[Schaffhausen]], Switzerland.


Meyer's other activities include associate professorships at [[Innopolis University]] and, in 2015–16, a Chair of Excellence at the [[University of Toulouse]]. From 1998 to 2003 he was adjunct professor at [[Monash University]] in [[Melbourne]], Australia. He is also active as a consultant (object-oriented system design, architectural reviews, technology assessment), trainer in object technology and other software topics, and conference speaker. For many years Meyer has been active in issues of research and education policy and was the founding president (2006–2011) of [[Informatics Europe]], the association of European computer science departments.
He has held visiting positions at the [[University of Toulouse]] (Chair of Excellence, 2015–16), [[Politecnico di Milano]], [[Innopolis University]], [[Monash University]] and [[University of Technology Sydney]]. He is also active as a consultant (object-oriented system design, architectural reviews, technology assessment), trainer in object technology and other software topics, and conference speaker. For many years Meyer has been active in issues of research and education policy and was the founding president (2006–2011) of [[Informatics Europe]], the association of European computer science departments.


==Contributions and books on programming languages, programming methodology==
==Computer languages==
Meyer pursues the ideal of simple, elegant and user-friendly computer languages and is one of the earliest and most vocal proponents of [[object-oriented programming]] (OOP). His book ''[[Object-Oriented Software Construction]]'' is one of the earliest and most comprehensive works presenting the case for OOP.<ref>[http://tal.forum2.org/oosc2 "Object Oriented Software Construction, 2nd Edition"] — a review of the book</ref> Other books he has written include ''Eiffel: The Language'' (a description of the Eiffel language), ''Object Success'' (a discussion of object technology for managers), ''Reusable Software'' (a discussion of reuse issues and solutions), ''Introduction to the Theory of Programming Languages'', ''Touch of Class'' (an introduction to programming and software engineering) and ``Agile! The Good, the Hype and the Ugly'' (a tutorial and critical analysis of agile methods). He has authored numerous articles and edited conference proceedings.
Meyer pursues the ideal of simple, elegant and user-friendly computer languages and is one of the earliest and most vocal proponents of [[object-oriented programming]] (OOP). His book ''[[Object-Oriented Software Construction]]'', translated into 15 languages, is one of the earliest and most comprehensive works presenting the case for OOP.<ref>[http://tal.forum2.org/oosc2 "Object Oriented Software Construction, 2nd Edition"] {{Webarchive|url=https://web.archive.org/web/20161218211058/http://tal.forum2.org/oosc2 |date=2016-12-18 }} — a review of the book</ref>
Other books he has written include ''Eiffel: The Language'' (a description of the [[Eiffel (programming language)|Eiffel]] language), ''Object Success'' (a discussion of object technology for managers), ''Reusable Software'' (a discussion of reuse issues and solutions), ''Introduction to the Theory of Programming Languages'', ''Touch of Class'' (an introduction to programming and software engineering) and ''Agile! The Good, the Hype and the Ugly'' (a tutorial and critical analysis of agile methods). He has authored numerous articles and edited over 60 conference proceedings, many of them in the [[Springer LNCS]] (Lecture Notes in Computer Science) series.

He has long being interested in techniques of specification and requirements and in 2022 published a treatise and textbook, ''Handbook of Requirements and Business Analysis'' (Springer).

In 2024 he published, as editor, the volume ''The French School of Programming'' (Springer), containing chapters by 13 famous French or France-based computer scientists including [[Patrick Cousot]], [[Thierry Coquand]], [[Gérard Berry]] and Meyer himself, describing their contributions ([[abstract interpretation]], [[Coq (software)|Coq]], [[Esterel]], [[Eiffel (programming language)|Eiffel]] etc.) in which Meyer sees, beyond the wide variety of approaches, a common taste for elegance and simplicity.


He is the initial designer of the Eiffel method and language and has continued to participate in its evolution, and is the originator of the [[Design by Contract]] development method.{{Citation needed|date=May 2016}}
He is the initial designer of the Eiffel method and language and has continued to participate in its evolution, and is the originator of the [[Design by Contract]] development method.{{Citation needed|date=May 2016}}


His experiences with object technology through the [[Simula]] language, as well as early work on [[abstract data types]] and [[formal specification]] (including the [[Z notation]]), provided some of the background for the development of Eiffel. Eiffel has been the reason of other languages including [[Java (programming language)|Java]], [[C Sharp (programming language)|C#]] and [[Python (programming language)|Python]], without Eiffel there would not be such languages.
His experiences with object technology through the [[Simula]] language, as well as early work on [[abstract data types]] and [[formal specification]] (including the [[Z notation]]), provided some of the background for the development of Eiffel.


==Contributions==
==Contributions==


Meyer is known among other contributions for the following:
Meyer is known among other contributions for the following:
* The concept of [[Design by Contract]], highly influential as a design and programming methodology concept and a language mechanism present in such languages as the [[Java Modeling Language]], [[Spec#]], the [[UML]]'s [[Object Constraint Language]] and Microsoft's [[Code Contracts]].
* The concept of [[Design by Contract]], highly influential as a design and programming methodology concept and a language mechanism present in such languages as the [[Java Modeling Language]], [[Spec-sharp|Spec#]], the [[Unified Modeling Language|UML]]'s [[Object Constraint Language]] and Microsoft's [[Code Contracts]].
* The design of the Eiffel language, applicable to programming as well as design and requirements.
* The design of the Eiffel language, applicable to programming as well as design and requirements.
* The early publication (in the first, 1988 edition of his ''[[Object-Oriented Software Construction]]'' book) of such widely used [[design pattern|design patterns]] as the [[command pattern]] (the basis for undo-redo mechanisms, i.e. CTRL-Z/CTRL-Y, in interactive systems) and the [[bridge pattern]].
* The early publication (in the first, 1988 edition of his ''[[Object-Oriented Software Construction]]'' book) of such widely used [[design pattern]]s as the [[command pattern]] (the basis for undo-redo mechanisms, i.e. CTRL-Z/CTRL-Y, in interactive systems) and the [[bridge pattern]].
* The original design (in collaboration with [[Jean-Raymond Abrial]] and Steven Schuman of the [[Z specification language]].
* The original design (in collaboration with [[Jean-Raymond Abrial]] and Steven Schuman) of the [[Z specification language]].
* His establishment of the connection between object-oriented programming and the concept of software reusability (in his 1987 paper ``Reusability: the Case for Object-Oriented Design''.
* His establishment of the connection between object-oriented programming and the concept of software reusability (in his 1987 paper ''Reusability: the Case for Object-Oriented Design'').
* His critical analysis of the pros and cons of agile development in his book ``Agile! The Good, the Hype and the Ugly'' (Springer, 2014).
* His critical analysis of the pros and cons of agile development and his development of software lifecycle and management models.


==Awards==
==Awards==
Meyer is a member of [[Academia Europaea]] and the [[French Academy of Technologies]] and a [[Fellow of the ACM]]. He has received honorary doctorates from [[ITMO University]] in Saint Petersburg, Russia (2004) (returned in 2022) and the [[University of York]], UK (2015).
In 2005, Meyer was the "senior award" winner of the first AITO [[Dahl-Nygaard Prize|Dahl-Nygaard award]]. This prize, named after the two creators of object technology, is awarded annually to a senior and a junior researchers who have made significant technical contributions to the field of Object Orientation.<ref>[http://www.aito.org/Dahl-Nygaard/2005.html "The AITO Dahl-Nygaard Prize Winners For 2005"] — AITO press release</ref>


He was the first "senior award" winner of the AITO [[Dahl-Nygaard Prize|Dahl-Nygaard award]] in 2005.<ref name=aito>{{cite web |title=The AITO Dahl-Nygaard Prize Winners For 2005 |url=http://www.aito.org/Dahl-Nygaard/2005.html |publisher=[[Association Internationale pour les Technologies Objets]] |access-date=2006-09-11 |archive-date=2006-10-04 |archive-url=https://web.archive.org/web/20061004120532/http://www.aito.org/Dahl-Nygaard/2005.html |url-status=live }}</ref> This prize, named after the two founders of object-oriented programming, is awarded annually to a senior and a junior researcher who has made significant technical contributions to the field of OOP.<ref name=aito/>
Meyer has received honorary doctorates from [[ITMO University]] in Saint Petersburg, Russia (2004) and the [[University of York]], UK (2015).


He is the 2009 recipient of the IEEE Computer Society [[Harlan Mills]] award "for practical & fundamental contributions to object-oriented software engineering".
In 2006, Meyer received the [[Software System Award]] of the [[Association for Computing Machinery|ACM]] for "impact on software quality" in recognition of the design of Eiffel.<ref>Scientist to receive ACM award for development Eiffel computer language: ACM Press release, 29 March 2007, at [http://campus.acm.org/public/pressroom/press_releases/3_2007/eiffel.cfm] {{Webarchive|url=https://web.archive.org/web/20070717184734/http://campus.acm.org/public/pressroom/press_releases/3_2007/eiffel.cfm |date=2007-07-17 }}.</ref> He is a 2008 Fellow of the ACM. He is also the 2009 recipient of the [[Harlan Mills Award]] of the IEEE Computer Society.

He is an IFIP fellow, as part of the first group to receive this distinction in 2019, and received in 2017 the [[Association for Computing Machinery|ACM]] [[SIGSOFT]] Software Engineering Educator Award. He was the recipient of an ERC (European Research Council) Advanced Investigator Grant (2012-2017).

In 2006, Meyer received the ACM [[Software System Award]] of the for "impact on software quality" in recognition of the design of Eiffel.<ref>Scientist to receive ACM award for development Eiffel computer language: ACM Press release, 29 March 2007, at [http://campus.acm.org/public/pressroom/press_releases/3_2007/eiffel.cfm] {{Webarchive|url=https://web.archive.org/web/20070717184734/http://campus.acm.org/public/pressroom/press_releases/3_2007/eiffel.cfm|date=2007-07-17}}.</ref>


==Wikipedia hoax==
==Wikipedia hoax==

On 28 December 2005, an anonymous user falsely announced Meyer's death on [[German Wikipedia]]'s biography of Meyer. The hoax was reported five days later by the [[Heinz Heise|Heise News Ticker]] and the article was immediately corrected. Many major news media outlets in Germany and Switzerland picked up the story. Meyer went on to publish a positive evaluation of Wikipedia,<ref>[http://se.ethz.ch/~meyer/publications/wikipedia/wikipedia.pdf Bertrand Meyer: Defense and Illustration of Wikipedia, at]</ref> concluding "The system succumbed to one of its potential flaws, and quickly healed itself. This doesn't affect the big picture. Just like those about me, rumors about Wikipedia's downfall have been grossly exaggerated."
{{BLP sources section|date=October 2022}}
On 28 December 2005, an anonymous user falsely announced Meyer's death on the [[German Wikipedia]]'s biography of Meyer. The hoax was reported five days later by the [[Heinz Heise|Heise News Ticker]] and the article was immediately corrected. Many major news media outlets in Germany and Switzerland picked up the story. Meyer went on to publish a positive evaluation of Wikipedia,<ref>{{Cite web |url=http://se.ethz.ch/~meyer/publications/wikipedia/wikipedia.pdf |title=Bertrand Meyer: Defense and Illustration of Wikipedia, at |access-date=2007-06-18 |archive-date=2017-07-06 |archive-url=https://web.archive.org/web/20170706043010/http://se.ethz.ch/%7Emeyer/publications/wikipedia/wikipedia.pdf |url-status=live }}</ref> concluding "The system succumbed to one of its potential flaws, and quickly healed itself. This doesn't affect the big picture. Just like those about me, rumors about Wikipedia's downfall have been grossly exaggerated."


==See also==
==See also==
*[[Open/closed principle]]
*[[Open–closed principle]]
*[[Uniform access principle]]
*[[Uniform access principle]]
*[[John Seigenthaler]]{{Snd}}another victim of [[vandalism on Wikipedia]].


==References==
==References==
Line 67: Line 83:
{{Commons category}}
{{Commons category}}
*[http://se.ethz.ch/~meyer/ Bertrand Meyer home page]
*[http://se.ethz.ch/~meyer/ Bertrand Meyer home page]



{{Software engineering}}
{{Software engineering}}
Line 76: Line 91:
[[Category:Living people]]
[[Category:Living people]]
[[Category:École Polytechnique alumni]]
[[Category:École Polytechnique alumni]]
[[Category:ETH Zurich faculty]]
[[Category:Academic staff of ETH Zurich]]
[[Category:Formal methods people]]
[[Category:Formal methods people]]
[[Category:Monash University faculty]]
[[Category:Academic staff of Monash University]]
[[Category:French computer scientists]]
[[Category:French computer scientists]]
[[Category:Software engineering researchers]]
[[Category:Software engineering researchers]]
Line 85: Line 100:
[[Category:Stanford University alumni]]
[[Category:Stanford University alumni]]
[[Category:University of California, Santa Barbara faculty]]
[[Category:University of California, Santa Barbara faculty]]
[[Category:Fellows of the Association for Computing Machinery]]
[[Category:2008 fellows of the Association for Computing Machinery]]
[[Category:Members of Academia Europaea]]
[[Category:Members of Academia Europaea]]
[[Category:Computer science writers]]
[[Category:Computer science writers]]
[[Category:Nancy-Université alumni]]
[[Category:Nancy-Université alumni]]
[[Category:Dahl–Nygaard Prize]]

Latest revision as of 19:45, 21 September 2024

Bertrand Meyer
Bertrand Meyer
Born (1950-11-21) 21 November 1950 (age 74)
NationalityFrench
Alma mater
OccupationProfessor
EmployerETH Zurich[1]
Known forEiffel, design by contract
Websitebertrandmeyer.com

Bertrand Meyer (/ˈm.ər/; French: [mɛjɛʁ]; born 21 November 1950) is a French academic, author, and consultant in the field of computer languages. He created the Eiffel programming language and the concept of design by contract.

Education and academic career

[edit]

Meyer received a master's degree in engineering from the École Polytechnique[2] in Paris, a second master's degree from Stanford University, and a PhD from the Université de Nancy. He had a technical and managerial career for nine years at Électricité de France, and for three years was a member of the faculty of the University of California, Santa Barbara.

From 2001 to 2016, he was professor of software engineering at ETH Zürich, the Swiss Federal Institute of Technology, where he pursued research on building trusted components (reusable software elements) with a guaranteed level of quality. He was Chair of the ETH Computer Science department from 2004 to 2006 and for 13 years (2003–2015) taught the Introduction to Programming course taken by all ETH computer science students, resulting in a widely disseminated programming textbook, Touch of Class (Springer).

He remains Professor emeritus of Software Engineering at ETH Zurich and is currently Professor of Software Engineering and Provost at Constructor Institute of Technology (previously Schaffhausen Institute of Technology (SIT)), a new research university in Schaffhausen, Switzerland.

He has held visiting positions at the University of Toulouse (Chair of Excellence, 2015–16), Politecnico di Milano, Innopolis University, Monash University and University of Technology Sydney. He is also active as a consultant (object-oriented system design, architectural reviews, technology assessment), trainer in object technology and other software topics, and conference speaker. For many years Meyer has been active in issues of research and education policy and was the founding president (2006–2011) of Informatics Europe, the association of European computer science departments.

Contributions and books on programming languages, programming methodology

[edit]

Meyer pursues the ideal of simple, elegant and user-friendly computer languages and is one of the earliest and most vocal proponents of object-oriented programming (OOP). His book Object-Oriented Software Construction, translated into 15 languages, is one of the earliest and most comprehensive works presenting the case for OOP.[3]


Other books he has written include Eiffel: The Language (a description of the Eiffel language), Object Success (a discussion of object technology for managers), Reusable Software (a discussion of reuse issues and solutions), Introduction to the Theory of Programming Languages, Touch of Class (an introduction to programming and software engineering) and Agile! The Good, the Hype and the Ugly (a tutorial and critical analysis of agile methods). He has authored numerous articles and edited over 60 conference proceedings, many of them in the Springer LNCS (Lecture Notes in Computer Science) series.

He has long being interested in techniques of specification and requirements and in 2022 published a treatise and textbook, Handbook of Requirements and Business Analysis (Springer).

In 2024 he published, as editor, the volume The French School of Programming (Springer), containing chapters by 13 famous French or France-based computer scientists including Patrick Cousot, Thierry Coquand, Gérard Berry and Meyer himself, describing their contributions (abstract interpretation, Coq, Esterel, Eiffel etc.) in which Meyer sees, beyond the wide variety of approaches, a common taste for elegance and simplicity.

He is the initial designer of the Eiffel method and language and has continued to participate in its evolution, and is the originator of the Design by Contract development method.[citation needed]

His experiences with object technology through the Simula language, as well as early work on abstract data types and formal specification (including the Z notation), provided some of the background for the development of Eiffel.

Contributions

[edit]

Meyer is known among other contributions for the following:

Awards

[edit]

Meyer is a member of Academia Europaea and the French Academy of Technologies and a Fellow of the ACM. He has received honorary doctorates from ITMO University in Saint Petersburg, Russia (2004) (returned in 2022) and the University of York, UK (2015).

He was the first "senior award" winner of the AITO Dahl-Nygaard award in 2005.[4] This prize, named after the two founders of object-oriented programming, is awarded annually to a senior and a junior researcher who has made significant technical contributions to the field of OOP.[4]

He is the 2009 recipient of the IEEE Computer Society Harlan Mills award "for practical & fundamental contributions to object-oriented software engineering".

He is an IFIP fellow, as part of the first group to receive this distinction in 2019, and received in 2017 the ACM SIGSOFT Software Engineering Educator Award. He was the recipient of an ERC (European Research Council) Advanced Investigator Grant (2012-2017).

In 2006, Meyer received the ACM Software System Award of the for "impact on software quality" in recognition of the design of Eiffel.[5]

Wikipedia hoax

[edit]

On 28 December 2005, an anonymous user falsely announced Meyer's death on the German Wikipedia's biography of Meyer. The hoax was reported five days later by the Heise News Ticker and the article was immediately corrected. Many major news media outlets in Germany and Switzerland picked up the story. Meyer went on to publish a positive evaluation of Wikipedia,[6] concluding "The system succumbed to one of its potential flaws, and quickly healed itself. This doesn't affect the big picture. Just like those about me, rumors about Wikipedia's downfall have been grossly exaggerated."

See also

[edit]

References

[edit]
  1. ^ "Chair of Software Engineering Bertrand Meyer". Faculty web page for Bertrand Meyer. Archived from the original on 18 January 2010. Retrieved 28 August 2020.
  2. ^ "Ecole Polytechnique Alumni page for Bertrand Meyer". Ecole Polytechique alumni site. Archived from the original on 12 April 2020. Retrieved 12 April 2020.
  3. ^ "Object Oriented Software Construction, 2nd Edition" Archived 2016-12-18 at the Wayback Machine — a review of the book
  4. ^ a b "The AITO Dahl-Nygaard Prize Winners For 2005". Association Internationale pour les Technologies Objets. Archived from the original on 4 October 2006. Retrieved 11 September 2006.
  5. ^ Scientist to receive ACM award for development Eiffel computer language: ACM Press release, 29 March 2007, at [1] Archived 2007-07-17 at the Wayback Machine.
  6. ^ "Bertrand Meyer: Defense and Illustration of Wikipedia, at" (PDF). Archived (PDF) from the original on 6 July 2017. Retrieved 18 June 2007.
[edit]