Eiffel Software
E347708
Eiffel Software is a software company best known for developing the Eiffel programming language and tools that emphasize object-oriented design and software reliability.
All labels observed (3)
| Label | Occurrences |
|---|---|
| Eiffel Software canonical | 3 |
| EiffelStudio | 2 |
| Eiffel Software company | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T3304340 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Eiffel Software Context triple: [Bertrand Meyer, workedAt, Eiffel Software]
-
A.
Inprise Corporation
Inprise Corporation was the temporary name used by software company Borland during a late-1990s rebranding focused on enterprise solutions.
-
B.
Altamira Software
Altamira Software was a pioneering computer graphics and digital imaging company co-founded by computer graphics visionary Alvy Ray Smith.
-
C.
Rockwell Software
Rockwell Software is a business unit of Rockwell Automation that develops industrial automation and manufacturing execution system (MES) software solutions.
-
D.
Unisys
Unisys is an American global information technology company known for providing IT services, software, and infrastructure solutions to government and commercial clients.
-
E.
Syntrillium Software
Syntrillium Software was a software company best known for creating the audio editing program Cool Edit, which later evolved into Adobe Audition after Adobe acquired the firm.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Eiffel Software Target entity description: Eiffel Software is a software company best known for developing the Eiffel programming language and tools that emphasize object-oriented design and software reliability.
-
A.
Inprise Corporation
Inprise Corporation was the temporary name used by software company Borland during a late-1990s rebranding focused on enterprise solutions.
-
B.
Altamira Software
Altamira Software was a pioneering computer graphics and digital imaging company co-founded by computer graphics visionary Alvy Ray Smith.
-
C.
Rockwell Software
Rockwell Software is a business unit of Rockwell Automation that develops industrial automation and manufacturing execution system (MES) software solutions.
-
D.
Unisys
Unisys is an American global information technology company known for providing IT services, software, and infrastructure solutions to government and commercial clients.
-
E.
Syntrillium Software
Syntrillium Software was a software company best known for creating the audio editing program Cool Edit, which later evolved into Adobe Audition after Adobe acquired the firm.
- F. None of above. chosen
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf |
private company
ⓘ
software company ⓘ |
| associatedWith |
ETH Zurich
ⓘ
Eiffel method ⓘ |
| country |
United States of America
ⓘ
surface form:
United States
|
| develops |
Eiffel development tools
ⓘ
Eiffel programming language ⓘ Eiffel runtime environment ⓘ |
| emphasizes |
maintainability of software
ⓘ
reusability of software components ⓘ software correctness ⓘ |
| focusesOn |
Design by Contract
ⓘ
formal methods in software engineering ⓘ object-oriented programming ⓘ software reliability ⓘ |
| formerName | Interactive Software Engineering ⓘ |
| foundedBy | Bertrand Meyer ⓘ |
| hasFeatureInTools |
Design by Contract support
ⓘ
automatic memory management support ⓘ genericity support ⓘ multiple inheritance support ⓘ static typing support ⓘ |
| hasKeyPerson | Bertrand Meyer ⓘ |
| hasOpenSourceComponent |
EiffelStudio IDE
ⓘ
surface form:
EiffelStudio open-source edition
|
| headquartersLocation |
Santa Barbara, California, United States
ⓘ
surface form:
Santa Barbara, California
|
| industry | software industry ⓘ |
| languageOfProduct | Eiffel ⓘ |
| licenseTypeForMainProduct | proprietary ⓘ |
| notableFor |
Design by Contract tools
ⓘ
Eiffel programming language ⓘ EiffelStudio IDE ⓘ object-oriented software development tools ⓘ |
| offers |
Eiffel training
ⓘ
commercial Eiffel licenses ⓘ consulting in software engineering ⓘ |
| operatesIn |
Europe
ⓘ
North America ⓘ |
| product |
Eiffel compiler
ⓘ
Eiffel libraries ⓘ EiffelStudio IDE ⓘ
surface form:
EiffelStudio
|
| supportsProgrammingParadigm |
contract-based programming
ⓘ
object-oriented programming ⓘ |
| targetCustomer |
enterprises building reliable software systems
ⓘ
software developers ⓘ software engineering researchers ⓘ |
| website | https://www.eiffel.com/ ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Eiffel Software Description of subject: Eiffel Software is a software company best known for developing the Eiffel programming language and tools that emphasize object-oriented design and software reliability.
Referenced by (6)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
EiffelStudio
subject surface form:
Eiffel (programming language)
this entity surface form:
EiffelStudio
this entity surface form:
Eiffel Software company