About: Algebraic specification

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageWikiLink	dbr:Formal_specification dbr:Constructor_(object-oriented_programming) dbc:Formal_methods dbr:Boolean_data_type dbr:OBJ_(programming_language) dbr:Logical_conjunction dbr:Method_(computer_programming) dbr:Data_type dbr:Software_engineering dbr:Negation dbr:Boolean_algebra dbr:Common_Algebraic_Specification_Language dbr:State_machine dbr:XOR
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Citation_needed
dct:subject	dbc:Formal_methods
gold:hypernym	dbr:Technique
rdfs:label	Algebraic specification (en) Especificação algébrica (pt)
owl:sameAs	yago-res:Algebraic specification freebase:Algebraic specification wikidata:Algebraic specification dbpedia-pt:Algebraic specification dbpedia-global:Algebraic specification
prov:wasDerivedFrom	wikipedia-en:Algebraic_specification?oldid=1140710321&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Algebraic_specification
is dbo:academicDiscipline of	dbr:Hartmut_Ehrig
is dbo:wikiPageWikiLink of	dbr:Formal_specification dbr:F-coalgebra dbr:Unification_(computer_science) dbr:Don_Sannella dbr:Data_type dbr:Hartmut_Ehrig dbr:Algebraic_semantics_(computer_science) dbr:Common_Algebraic_Specification_Language dbr:Larch_family dbr:Grigore_Roșu dbr:Model-based_specification dbr:Hans-Jörg_Kreowski dbr:Jose_Meseguer
is foaf:primaryTopic of	wikipedia-en:Algebraic_specification

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International