Software Engineering with Ada
E699663
Software Engineering with Ada is a foundational textbook that applies modern software engineering principles and object-oriented design techniques to the Ada programming language, widely used in safety-critical and real-time systems.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Software Engineering with Ada canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T7936949 — 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: Software Engineering with Ada Context triple: [Grady Booch, hasWritten, Software Engineering with Ada]
-
A.
A Discipline of Programming
A Discipline of Programming is a seminal 1976 book by Edsger W. Dijkstra that rigorously develops program construction using formal mathematical reasoning and correctness proofs.
-
B.
Notes on Structured Programming
Notes on Structured Programming is a seminal work by Edsger W. Dijkstra that advocates for disciplined, mathematically grounded program design and helped popularize the principles of structured programming.
-
C.
The Architecture Machine
The Architecture Machine is a seminal book by Nicholas Negroponte that explores the concept of interactive, computer-based design systems and their implications for architecture and human–machine collaboration.
-
D.
Programming Language Design and Implementation
Programming Language Design and Implementation is a premier annual academic conference focusing on research in programming languages and compilers, sponsored by ACM SIGPLAN.
-
E.
Languages, Compilers, and Tools for Embedded Systems
Languages, Compilers, and Tools for Embedded Systems (LCTES) is a research conference focused on programming languages, compilation techniques, and development tools for embedded and real-time computing systems.
- 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: Software Engineering with Ada Target entity description: Software Engineering with Ada is a foundational textbook that applies modern software engineering principles and object-oriented design techniques to the Ada programming language, widely used in safety-critical and real-time systems.
-
A.
A Discipline of Programming
A Discipline of Programming is a seminal 1976 book by Edsger W. Dijkstra that rigorously develops program construction using formal mathematical reasoning and correctness proofs.
-
B.
Notes on Structured Programming
Notes on Structured Programming is a seminal work by Edsger W. Dijkstra that advocates for disciplined, mathematically grounded program design and helped popularize the principles of structured programming.
-
C.
The Architecture Machine
The Architecture Machine is a seminal book by Nicholas Negroponte that explores the concept of interactive, computer-based design systems and their implications for architecture and human–machine collaboration.
-
D.
Programming Language Design and Implementation
Programming Language Design and Implementation is a premier annual academic conference focusing on research in programming languages and compilers, sponsored by ACM SIGPLAN.
-
E.
Languages, Compilers, and Tools for Embedded Systems
Languages, Compilers, and Tools for Embedded Systems (LCTES) is a research conference focused on programming languages, compilation techniques, and development tools for embedded and real-time computing systems.
- F. None of above. chosen
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
computer science book
ⓘ
non-fiction book ⓘ textbook ⓘ |
| appliesToDomain |
embedded systems
ⓘ
real-time software ⓘ safety-critical software ⓘ |
| educationalUse |
self-study
ⓘ
university courses ⓘ |
| focusesOn |
modern software engineering principles
ⓘ
object-oriented design techniques ⓘ requirements engineering ⓘ software design ⓘ software development lifecycle ⓘ software implementation ⓘ software maintenance ⓘ software testing ⓘ |
| goal |
to integrate software engineering principles with Ada programming
ⓘ
to provide a foundation in object-oriented design using Ada ⓘ |
| hasFormat |
print
ⓘ
textbook for classroom use ⓘ |
| intendedAudience |
Ada programmers
ⓘ
graduate students ⓘ software engineers ⓘ undergraduate students ⓘ |
| language | English ⓘ |
| mainSubject |
Ada (programming language)
NERFINISHED
ⓘ
object-oriented design ⓘ real-time systems ⓘ safety-critical systems ⓘ software engineering ⓘ |
| programmingLanguageCovered | Ada NERFINISHED ⓘ |
| teachesConcept |
abstraction
ⓘ
concurrency in Ada ⓘ data abstraction ⓘ design by contract ⓘ encapsulation ⓘ exception handling in Ada ⓘ generic units in Ada ⓘ modularity ⓘ package design in Ada ⓘ software reuse ⓘ tasking in Ada ⓘ |
| usedInField |
aerospace software development
ⓘ
defense software development ⓘ industrial control systems ⓘ |
| usesParadigm |
modular programming
ⓘ
object-oriented programming ⓘ |
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: Software Engineering with Ada Description of subject: Software Engineering with Ada is a foundational textbook that applies modern software engineering principles and object-oriented design techniques to the Ada programming language, widely used in safety-critical and real-time systems.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.