Semanticscience Integrated Ontology

Last uploaded: March 25, 2024
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

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.owl

label

formal specification

prefixIRI

sio:SIO_000621

prefLabel

formal specification

subClassOf

http://semanticscience.org/resource/SIO_000315

Delete Subject Author Type Created
No notes to display