Eiffel community

E347711

The Eiffel community is the global group of developers, researchers, and enthusiasts centered around the Eiffel programming language and its software engineering principles.

All labels observed (1)

Label Occurrences
Eiffel community canonical 1

How this entity was disambiguated

Statements (48)

Predicate Object
instanceOf programming language user community
software development community
collaboratesOn Eiffel compiler implementations
Eiffel language specifications
Eiffel libraries and frameworks
academic research in software engineering
communicatesIn English
focusesOn Design by Contract
Eiffel programming language
formal methods in software engineering
object-oriented software engineering
reliable software development
software correctness
geographicScope global
hasInterest Eiffel language evolution
Eiffel libraries
Eiffel tools
EiffelStudio IDE
component-based development
contract-based programming
formal specification of software
object-oriented design
software reuse
software verification
teaching programming with Eiffel
hasMemberType open-source contributors
researchers
software developers
software engineering educators
students
hasOnlinePresence Git repositories
conference websites
issue trackers
mailing lists
web forums
organizes talks on software reliability
tutorials on Design by Contract
workshops on Eiffel
promotes Design by Contract methodology
clear software specification
high-integrity software development
verification-aware programming
relatedTo Bertrand Meyer
Eiffel Software
surface form: Eiffel Software company

formal methods community
object-oriented programming community
software engineering research community
usesLanguage Eiffel

How these facts were elicited

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Bertrand Meyer associatedWith Eiffel community