Statements (48)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Model
|
| gptkbp:associated_with |
gptkb:Ada_2012
gptkb:Ada_programming_language Ada 2005 |
| gptkbp:basedOn |
class and object concepts
|
| gptkbp:compatibleWith |
software development methodologies
|
| gptkbp:description |
object-oriented_features_in_Ada_programming_language
|
| gptkbp:enables |
modular programming
|
| gptkbp:facilitates |
code reuse
|
| https://www.w3.org/2000/01/rdf-schema#label |
Ada object model
|
| gptkbp:includes |
encapsulation
inheritance polymorphism |
| gptkbp:influenced |
object-oriented design principles
|
| gptkbp:is_characterized_by |
class types
protected types private types tagged types |
| gptkbp:is_designed_to |
high-integrity systems
|
| gptkbp:is_part_of |
gptkb:Ada_standard_library
|
| gptkbp:is_recognized_for |
gptkb:Ada_95
performance efficiency reliability scalability strong typing |
| gptkbp:is_supported_by |
gptkb:Ada_compilers
development tools integrated development environments (IDEs) |
| gptkbp:is_used_in |
automotive applications
industrial automation medical devices real-time systems robotics control systems railway systems software engineering telecommunications systems aerospace applications financial systems embedded systems development simulation systems |
| gptkbp:promotes |
software maintainability
|
| gptkbp:provides |
type safety
|
| gptkbp:related_to |
concurrent programming
|
| gptkbp:suitableFor |
defense systems
|
| gptkbp:supports |
exception handling
data abstraction |