Formal specification

Property	Value
rdf:type	owl:NamedIndividual Formal method Formal specification language
rdfs:label	Formal specification
owl:sameAs	dbr:Formal_specification
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Formal_specification_languages http://en.wikipedia.org/wiki/Software_factory http://en.wikipedia.org/wiki/Category:Formal_methods
skos:prefLabel	Formal specification
skos:altLabel	specification specifications formal formalization Product specification formal specification formal specifications formally specifying software specification software tools specifying and verifying
is clgo:knownFor of	Joseph Goguen

About: clgr:Formal_specification