Properties (51)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
software
|
| gptkbp:developedBy |
AdaCore
|
| gptkbp:features |
code completion
syntax highlighting refactoring tools |
| gptkbp:has |
community support
user manual online documentation |
| https://www.w3.org/2000/01/rdf-schema#label |
GNAT Programming Studio
|
| gptkbp:includes |
debugger
|
| gptkbp:isAvailableIn |
Linux
Windows macOS free trial |
| gptkbp:isCompatibleWith |
gptkb:Windows_Subsystem_for_Linux
gptkb:Virtual_Machines gptkb:GNAT_compiler Docker |
| gptkbp:isIntegratedWith |
gptkb:GNATbench
gptkb:GNATcheck GNAT.Spark GNATprove GNATcoverage |
| gptkbp:isKnownFor |
robustness
high reliability safety-critical applications |
| gptkbp:isOpenTo |
false
|
| gptkbp:isPartOf |
gptkb:GNAT_toolchain
gptkb:GNAT_community Ada_programming_ecosystem |
| gptkbp:isSupportedBy |
AdaCore support team
|
| gptkbp:isUsedBy |
software developers
|
| gptkbp:isUsedFor |
application development
software maintenance system programming embedded systems development real-time systems development |
| gptkbp:isUsedIn |
academic research
commercial software development |
| gptkbp:offers |
project management tools
|
| gptkbp:provides |
code editor
static analysis tools build automation |
| gptkbp:releasedIn |
2005
|
| gptkbp:supports |
gptkb:Ada_95
gptkb:Ada_2012 gptkb:Ada_programming_language cross-platform development unit testing Ada 2005 multi-language projects |