Eiffel method
E347707
The Eiffel method is a software engineering approach that emphasizes object-oriented design, correctness by construction, and the use of contracts to ensure software reliability.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Eiffel method canonical | 1 |
| Eiffel software engineering method | 1 |
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
design by contract method
ⓘ
object-oriented development method ⓘ software engineering method ⓘ |
| aimsAt |
improving maintainability
ⓘ
improving reliability ⓘ improving robustness ⓘ improving software quality ⓘ reducing software defects ⓘ |
| appliesTo |
software design
ⓘ
software implementation ⓘ software maintenance ⓘ software specification ⓘ |
| associatedWith | Bertrand Meyer ⓘ |
| basedOn | Eiffel programming language ⓘ |
| emphasizes |
correctness by construction
ⓘ
formal correctness ⓘ object-oriented design ⓘ software reliability ⓘ |
| hasAlternativeName |
Eiffel approach
ⓘ
Eiffel method ⓘ
surface form:
Eiffel software engineering method
|
| originatedIn | late 1980s ⓘ |
| promotes |
clear interface specifications
ⓘ
defensive programming through contracts ⓘ documentation through executable contracts ⓘ reuse of software components ⓘ |
| relatedTo |
contract-based design
ⓘ
formal methods ⓘ object-oriented programming ⓘ software correctness ⓘ |
| supports |
automatic testing
ⓘ
component-based development ⓘ formal verification ⓘ incremental development ⓘ seamless transition from analysis to code ⓘ |
| usesConcept |
Design by Contract
ⓘ
assertions ⓘ class invariants ⓘ contracts ⓘ exception handling ⓘ genericity ⓘ information hiding ⓘ modularization ⓘ multiple inheritance ⓘ postconditions ⓘ preconditions ⓘ reusability ⓘ seamless development ⓘ static typing ⓘ |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
Eiffel software engineering method