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.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Bertrand Meyer canonical | 16 |
Statements (49)
| Predicate | Object |
|---|---|
| instanceOf |
Swiss person
ⓘ
author ⓘ computer scientist ⓘ software engineer ⓘ university professor ⓘ |
| associatedWith |
ETH Zurich
ⓘ
surface form:
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 ⓘ École Polytechnique ⓘ |
| 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 self-link ⓘ |
| nationality | Switzerland ⓘ |
| notableWork |
Eiffel programming language
ⓘ
surface form:
Eiffel: The Language
object-oriented software construction ⓘ
surface form:
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 (16)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject surface form:
Eiffel (programming language)
subject surface form:
Object-Oriented Software Construction