About: Formal specification languages

Property	Value
rdf:type	skos:Concept
rdfs:label	Formal specification languages
skos:broader	dbpedia:Category:Formal_methods dbpedia:Category:Programming_language_semantics dbpedia:Category:Specification_languages dbpedia:Category:Mathematical_modeling dbpedia:Category:Mathematical_notation
skos:prefLabel	Formal specification languages
is skos:broader of	dbpedia:Category:Petri_nets dbpedia:Category:Synchronous_programming_languages dbpedia:Category:Z_notation dbpedia:Category:Denotational_semantics dbpedia:Category:Process_calculi dbpedia:Category:Hardware_verification_languages
is skos:subject of	dbpedia:Petri_net dbpedia:Axiomatic_semantics dbpedia:Formal_semantics_of_programming_languages dbpedia:Language_Of_Temporal_Ordering_Specification dbpedia:Property_Specification_Language dbpedia:Sing_Sharp dbpedia:Spec_Sharp dbpedia:Specification_and_Description_Language dbpedia:Action_semantics dbpedia:Maude_system dbpedia:Perfect_Developer dbpedia:PowerDEVS dbpedia:Common_Algebraic_Specification_Language dbpedia:Operational_semantics dbpedia:Assertion_definition_language dbpedia:Behavior_of_DEVS dbpedia:DEVS dbpedia:OBJ dbpedia:Java_Modeling_Language dbpedia:Object_Constraint_Language dbpedia:Vienna_Development_Method dbpedia:Algebraic_semantics dbpedia:Alloy_(specification_language) dbpedia:Behavior_of_Coupled_DEVS dbpedia:Larch_family dbpedia:Wright_(ADL) dbpedia:Duration_calculus dbpedia:Event_segment dbpedia:SPARK_(programming_language) dbpedia:Meta-IV_(specification_language) dbpedia:Formal_specification dbpedia:Eiffel_(programming_language) dbpedia:Denotational_semantics dbpedia:Abstract_Machine_Notation dbpedia:B-Method dbpedia:Refinement_calculus dbpedia:CoreASM dbpedia:Extended_ML dbpedia:OBJ3 dbpedia:Prototype_Verification_System dbpedia:RAISE dbpedia:Universal_Systems_Language dbpedia:Timed_event_system dbpedia:Rosetta-lang