Preferred Name | formal specification | |
Synonyms |
|
|
ID |
http://semanticscience.org/resource/SIO_000621 |
|
description |
A formal specification is a mathematical description of software or hardware that may be used to develop an implementation. |
|
identifier |
SIO_000621 |
|
label |
formal specification |
|
preferred label |
formal specification |
|
prefixIRI |
sio:SIO_000621 |
|
prefLabel |
formal specification |
|
rdfs:isDefinedBy | ||
subClassOf |
Create mapping