Statements (51)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
programming language
|
| gptkbp:basedOn |
gptkb:Ada_programming_language
|
| gptkbp:compatibleWith |
gptkb:Ada_95
|
| gptkbp:designedFor |
real-time systems
|
| gptkbp:developedBy |
gptkb:Rational_Software_Corporation
|
| gptkbp:features |
exception handling
generic programming inheritance modular programming polymorphism version control integration strong typing data encapsulation language interoperability contract programming runtime checks tasking model |
| gptkbp:firstPublished |
1983
|
| https://www.w3.org/2000/01/rdf-schema#label |
Rational Ada
|
| gptkbp:provides |
debugging tools
documentation tools performance profiling tools static analysis tools unit testing frameworks code analysis tools user interface design tools integration testing tools |
| gptkbp:supports |
concurrent programming
cross-platform development object-oriented programming distributed systems safety-critical systems multi-threading code generation real-time scheduling high-integrity systems real-time constraints software_reuse |
| gptkbp:usedIn |
telecommunications
automotive industry medical devices military applications robotics space missions aerospace industry control systems railway systems simulation software nuclear power plants government projects defense applications |