2011 - Member of Academia Europaea
2008 - ACM Fellow For contributions to software engineering and programming languages.
2006 - ACM Software System Award For designing and developing the Eiffel programming language, method and environment, embodying the Design by Contract approach to software development and other features that facilitate the construction of reliable, extendible and efficient software.
Bertrand Meyer spends much of his time researching Programming language, Software engineering, Software, Software system and Software development. His Programming language research is multidisciplinary, incorporating perspectives in Inference and Code. His Software engineering study deals with Software development process intersecting with Component.
His study in Software system is interdisciplinary in nature, drawing from both Software quality, Curriculum and Physics education. His Software development research includes elements of Semantics and Oracle. His Software construction research incorporates elements of Component-based software engineering and Software design.
His scientific interests lie mostly in Software engineering, Programming language, Eiffel, Object-oriented programming and Software development. His Software engineering study combines topics from a wide range of disciplines, such as Software construction, Software system, Design by contract, Software and Social software engineering. His Software construction study frequently draws connections to other fields, such as Software design.
His Eiffel research incorporates themes from Correctness, Inheritance, Executable and Implementation. His Object-oriented programming research includes themes of Concurrency and Artificial intelligence. His study in Software development focuses on Component-based software engineering, Personal software process, Software development process, Software peer review and Software framework.
Bertrand Meyer focuses on Software engineering, Programming language, Eiffel, Software and Design by contract. Bertrand Meyer conducted interdisciplinary study in his works that combined Software engineering and Work. His Programming language research focuses on subjects like Alias, which are linked to Frame problem, Theoretical computer science and Soundness.
In his research, Correctness is intimately related to Code, which falls under the overarching field of Software. His study looks at the relationship between Design by contract and fields such as Implementation, as well as how they intersect with chemical problems. His Software development study incorporates themes from Agile software development and Engineering ethics.
His primary areas of investigation include Software engineering, Programming language, Design by contract, Eiffel and Software. The study incorporates disciplines such as EiffelStudio and Systems engineering in addition to Software engineering. Bertrand Meyer has researched Programming language in several fields, including Mode, Alias and Frame problem.
The concepts of his Design by contract study are interwoven with issues in Engineering management, Incomplete contracts, Software quality, Process and Implementation. His Eiffel study combines topics in areas such as Domain, Scalability, Requirements engineering and Completeness. His study in Software development and Pair programming falls under the purview of Software.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Object-Oriented Software Construction
Bertrand Meyer.
(1988)
Applying 'design by contract'
B. Meyer.
IEEE Computer (1992)
Eiffel: The Language
Bertrand Meyer.
(1991)
Object-Oriented Software Construction, 2nd Edition
Bertrand Meyer.
(1997)
Reusability: The Case for Object-Oriented Design
B. Meyer.
IEEE Software (1987)
Design by contract: the lessons of Ariane
J.-M. Jazequel;B. Meyer.
IEEE Computer (1997)
Object-oriented software construction (2nd ed.)
Bertrand Meyer.
(1997)
On Formalism in Specifications
B. Meyer.
IEEE Software (1985)
Reusable software: the Base object-oriented component libraries
Bertrand Meyer.
(1994)
Automated fixing of programs with contracts
Yi Wei;Yu Pei;Carlo A. Furia;Lucas S. Silva.
international symposium on software testing and analysis (2010)
Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking h-index is inferred from publications deemed to belong to the considered discipline.
If you think any of the details on this page are incorrect, let us know.
Technical University of Munich
ETH Zurich
Saarland University
Politecnico di Milano
Microsoft (United States)
Universita della Svizzera Italiana
University of Michigan–Ann Arbor
Microsoft (United States)
University of Wisconsin–Madison
Utrecht University
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: