Statements (61)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Software
|
| gptkbp:developedBy |
AdaCore
|
| gptkbp:features |
Concurrency
Exception Handling Modularity Strong Typing |
| gptkbp:firstAppearance |
1983
|
| gptkbp:hasRelatedPatent |
gptkb:Cyber-Physical_Systems
Artificial Intelligence Augmented Reality Avionics Cloud Computing E-commerce Environmental Monitoring Machine Learning Medical Devices Network Security Robotics Smart Grids Space Exploration Telecommunications Virtual Reality Weather Forecasting Web Development Industrial Automation Information Systems Mobile Applications Home Automation IoT Devices Blockchain Technology Gaming Industry Smart Cities Telematics Nuclear Systems Big_Data_Analytics Control_Systems Database_Management_Systems Data_Acquisition_Systems Digital_Marketing Energy_Management_Systems Research_and_Development Social_Media Content_Management_Systems Transportation_Systems Simulation_Systems Automotive_Systems Enterprise_Resource_Planning Financial_Systems Manufacturing_Systems Railway_Systems Software_Development_Tools |
| https://www.w3.org/2000/01/rdf-schema#label |
Ada.System
|
| gptkbp:isCompatibleWith |
Various Operating Systems
|
| gptkbp:isKnownFor |
Safety and Reliability
|
| gptkbp:isPartOf |
gptkb:Ada_Programming_Language
|
| gptkbp:isUsedIn |
gptkb:Aerospace_Industry
Defense_Systems |
| gptkbp:language |
Ada
|
| gptkbp:standardFeatures |
gptkb:ISO
|
| gptkbp:supports |
Real-Time Systems
|
| gptkbp:usedIn |
Embedded Systems
|