Universal Systems Language (USL)
GPTKB entity
Statements (14)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:programming_language
|
| gptkbp:abbreviation |
gptkb:USL
|
| gptkbp:basedOn |
gptkb:Team_Software_Process_(TSP)
|
| gptkbp:developedBy |
gptkb:Harlan_Mills
|
| gptkbp:focusesOn |
system verification
system design system specification |
| https://www.w3.org/2000/01/rdf-schema#label |
Universal Systems Language (USL)
|
| gptkbp:relatedTo |
object-oriented design
model-based systems engineering |
| gptkbp:usedFor |
formal methods
software engineering |
| gptkbp:bfsParent |
gptkb:Hamilton_Technologies,_Inc.
|
| gptkbp:bfsLayer |
6
|