Jump to:
loading...| Preferred Name |
formal specification |
|
| Synonyms |
|
|
| Definitions |
A formal specification is a mathematical description of software or hardware that may be used to develop an implementation. |
|
| ID |
http://semanticscience.org/resource/SIO_000621 |
|
| alternate name |
formal specifications |
|
| definition |
A formal specification is a mathematical description of software or hardware that may be used to develop an implementation. |
|
| identifier | ||
| label |
formal specification |
|
| prefLabel |
formal specification |
|
| subClassOf |
Create mapping