Properties (50)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
software ecosystem
|
| gptkbp:compatibleWith |
C++ programming language
C programming language |
| gptkbp:has_a |
gptkb:Ada_95
gptkb:Ada_2012 gptkb:Ada_83 gptkb:ISO/IEC_8652 |
| gptkbp:hasPrograms |
telecommunications
embedded systems medical devices railway systems |
| https://www.w3.org/2000/01/rdf-schema#label |
Ada software ecosystem
|
| gptkbp:includes |
gptkb:Ada_programming_language
gptkb:GNAT_compiler Real-Time Systems SPARK_language Safety-Critical_Systems |
| gptkbp:is_known_for |
exception handling
modularity reliability strong typing concurrency support |
| gptkbp:is_part_of |
concurrent programming
object-oriented programming software engineering practices formal methods Ada_programming_community |
| gptkbp:is_recognized_for |
real-time performance
safety standards compliance long-term maintainability security standards compliance |
| gptkbp:is_supported_by |
AdaCore
Ravenscar profile GNAT.Spark GNATprove |
| gptkbp:is_used_in |
automotive industry
industrial automation military applications aerospace industry defense industry European_Space_Agency_projects NASA_projects |
| gptkbp:maintainedBy |
gptkb:Ada_Resource_Association
International_Ada_Community |
| gptkbp:provides |
debugging
testing static analysis code generation |
| gptkbp:supports |
real-time applications
high-integrity systems |