Browse Wiki & Semantic Web

	This page has no properties.

	No properties link to this page.

http://dbpedia.org/resource/Program_specification

http://dbpedia.org/ontology/wikiPageID	71541
http://dbpedia.org/ontology/wikiPageLength	34
http://dbpedia.org/ontology/wikiPageRedirects	http://dbpedia.org/resource/Formal_specification +
http://dbpedia.org/ontology/wikiPageRevisionID	410752684
http://dbpedia.org/ontology/wikiPageWikiLink	http://dbpedia.org/resource/Formal_specification +
http://www.w3.org/ns/prov#wasDerivedFrom	http://en.wikipedia.org/wiki/Program_specification?oldid=410752684&ns=0 +
http://xmlns.com/foaf/0.1/isPrimaryTopicOf	http://en.wikipedia.org/wiki/Program_specification +
owl:sameAs	http://dbpedia.org/resource/Program_specification +
rdfs:label	Program specification

http://dbpedia.org/resource/Algebraic_semantics_%28computer_science%29 + , http://dbpedia.org/resource/Program_derivation + , http://dbpedia.org/resource/Software_prototyping + , http://dbpedia.org/resource/Software_system_safety + , http://dbpedia.org/resource/Software_bug + , http://dbpedia.org/resource/Index_of_software_engineering_articles + , http://dbpedia.org/resource/Epigram_%28programming_language%29 + , http://dbpedia.org/resource/Extended_ML + , http://dbpedia.org/resource/Jakarta_EE + , http://dbpedia.org/resource/B-Method + , http://dbpedia.org/resource/Guarded_Command_Language + , http://dbpedia.org/resource/Bird%E2%80%93Meertens_formalism + , http://dbpedia.org/resource/Exploratory_testing +	http://dbpedia.org/ontology/wikiPageWikiLink
http://en.wikipedia.org/wiki/Program_specification +	http://xmlns.com/foaf/0.1/primaryTopic
http://dbpedia.org/resource/Program_specification +	owl:sameAs

Navigation menu