Jump to:
loading...| Preferred Name |
formal specification |
|
| Synonyms |
|
|
| ID |
http://semanticscience.org/resource/formal-specification |
|
| description |
A formal specification is a mathematical description of software or hardware that may be used to develop an implementation. |
|
| identifier |
SIO_000621 |
|
| isDefinedBy |
http://semanticscience.org/ontology/sio/v1.59/sio-subset-dash-labels.owl |
|
| label |
formal specification |
|
| prefixIRI |
sio:formal-specification |
|
| prefLabel |
formal specification |
|
| subClassOf |
http://semanticscience.org/resource/functional-specification |
Create mapping