Bertrand Meyer
E69410
Bertrand Meyer is a Swiss computer scientist best known for designing the Eiffel programming language and pioneering the concept of Design by Contract in software engineering.
Statements (49)
| Predicate | Object |
|---|---|
| instanceOf |
Swiss person
→
author → computer scientist → software engineer → university professor → |
| associatedWith |
ETH Zurich Department of Computer Science
→
Eiffel community → |
| citizenship |
Switzerland
→
|
| conceptIntroduced |
Design by Contract
→
|
| designed |
Eiffel programming language
→
|
| developed |
Eiffel method
→
|
| educatedAt |
Stanford University
→
University of Nancy NERFINISHED → École Polytechnique NERFINISHED → |
| field |
computer science
→
software engineering → |
| founded |
Eiffel Software
→
Interactive Software Engineering → |
| hasAcademicDegree |
PhD in computer science
→
|
| hasInfluenced |
design of contract features in C# Code Contracts
→
design of contract features in other modern languages → |
| hasWritten |
numerous articles on software engineering
→
textbooks on object-oriented programming → |
| influenced |
contract-based programming
→
programming by contract features in other languages → |
| knownFor |
Design by Contract
→
Eiffel programming language → object-oriented software construction → software engineering education → software reliability → software verification → |
| languageDesigned |
Eiffel
→
|
| name |
Bertrand Meyer
→
|
| nationality |
Switzerland
→
|
| notableWork |
Eiffel: The Language
→
Object-Oriented Software Construction → Touch of Class: Learning to Program Well with Objects and Contracts → |
| pioneered |
Design by Contract
→
|
| positionHeld |
chief architect at Eiffel Software
→
professor of software engineering at ETH Zurich → |
| promoted |
use of contracts in software development
→
|
| researchInterest |
formal methods
→
object-oriented programming → programming languages → software correctness → software design → |
| workedAt |
ETH Zurich
→
Eiffel Software → Interactive Software Engineering → |
Referenced by (2)
| Subject (surface form when different) | Predicate |
|---|---|
|
Bertrand
→
|
hasNotableBearer |
|
Bertrand Meyer
→
|
name |