This HTML5 document contains 52 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n10http://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Formal_specification
rdfs:label
Formal specification
rdfs:comment
In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software. They are used to describe a system, to analyze its behavior, and to aid in its design by verifying key properties of interest through rigorous and effective reasoning tools. These specifications are formal in the sense that they have a syntax, their semantics fall within one domain, and they are able to be used to infer useful information.
owl:sameAs
freebase:m.07nj98 yago-res:Formal_specification
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:Short_description dbt:Commonscat
dct:subject
dbc:Formal_specification_languages dbc:Formal_methods dbc:Formal_specification
prov:wasDerivedFrom
n10:Formal_specification?oldid=1071119765&ns=0
dbo:wikiPageID
2567707
dbo:wikiPageLength
11653
dbo:wikiPageRevisionID
1071119765
dbo:wikiPageWikiLink
dbr:Web_service dbr:Abstract_Machine_Notation dbc:Formal_specification dbc:Formal_specification_languages dbr:B-Method dbr:Agile_software_development dbr:Formal_methods dbr:OBJ_(programming_language) dbr:Theorem dbr:Software_testing dbr:Quality_of_service dbr:Vienna_Development_Method dbr:Larch_family dbr:Specification_language dbr:Correctness_(computer_science) dbr:Refinement_(computing) dbr:Algebraic_specification dbc:Formal_methods dbr:Software_engineering dbr:Verification_and_validation dbr:Language_Of_Temporal_Ordering_Specification dbr:TLA+ dbr:Paisley_(programming_language) dbr:Requirements_analysis dbr:Model-based_specification dbr:Z_notation dbr:Computer_science dbr:Formal_specification dbr:Communicating_sequential_processes dbr:Domain_(software_engineering) dbr:Specification_(technical_standard) dbr:Divide-and-conquer_algorithm dbr:Formal_verification dbr:Implementation dbr:Separation_of_concerns dbr:Petri_net
dbo:abstract
In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software. They are used to describe a system, to analyze its behavior, and to aid in its design by verifying key properties of interest through rigorous and effective reasoning tools. These specifications are formal in the sense that they have a syntax, their semantics fall within one domain, and they are able to be used to infer useful information.
foaf:isPrimaryTopicOf
n10:Formal_specification