Statements (13)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:programming_language
|
gptkbp:basedOn |
C
|
gptkbp:designedFor |
safety-critical systems
|
gptkbp:focusesOn |
software quality assurance
|
gptkbp:hasFeature |
code coverage analysis
run-time error checking |
https://www.w3.org/2000/01/rdf-schema#label |
QA·C
|
gptkbp:provides |
static analysis tools
coding standards enforcement |
gptkbp:usedIn |
gptkb:military
aerospace industry |
gptkbp:bfsParent |
gptkb:Programming_Research_Limited
|
gptkbp:bfsLayer |
7
|