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.
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 ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.