WikicatFormalSpecificationLanguages

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

Property	Value
rdfs:subClassOf	yago:Language106282651
owl:equivalentClass	yago-res:wikicat_Formal_specification_languages
is rdf:type of	dbr:Property_Specification_Language dbr:Meta-IV_(specification_language) dbr:LePUS3 dbr:Behavior_of_DEVS dbr:Behavior_of_coupled_DEVS dbr:Denotational_semantics dbr:Algebraic_semantics_(computer_science) dbr:Alloy_(specification_language) dbr:DEVS dbr:Duration_calculus dbr:Spec_Sharp dbr:Maude_system dbr:SPARK_(programming_language) dbr:OBJ_(programming_language) dbr:Object_Constraint_Language dbr:BHDL dbr:Eiffel_(programming_language) dbr:Operational_semantics dbr:Common_Algebraic_Specification_Language dbr:Petri_net dbr:Prototype_Verification_System dbr:Action_semantics dbr:Timed_event_system dbr:Language_Of_Temporal_Ordering_Specification dbr:PowerDEVS dbr:Formal_specification dbr:Predicative_programming dbr:Abstract_machine_notation dbr:Java_Modeling_Language dbr:Wright_(ADL) dbr:Z_notation dbr:Assertion_definition_language dbr:Axiomatic_semantics dbr:B-Method dbr:Refinement_calculus dbr:Rosetta-lang dbr:Semantics_(computer_science) dbr:Universal_Systems_Language dbr:Vienna_Development_Method dbr:Extended_ML dbr:Event_segment dbr:TNSDL dbr:OBJ3

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License