Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Category:Formal_specification_languages> }
- PowerDEVS subject Category:Formal_specification_languages.
- Predicative_programming subject Category:Formal_specification_languages.
- Property_Specification_Language subject Category:Formal_specification_languages.
- Prototype_Verification_System subject Category:Formal_specification_languages.
- RAISE subject Category:Formal_specification_languages.
- Refinement_calculus subject Category:Formal_specification_languages.
- Rodin_tool subject Category:Formal_specification_languages.
- Rosetta-lang subject Category:Formal_specification_languages.
- SPARK_(programming_language) subject Category:Formal_specification_languages.
- Semantics_(computer_science) subject Category:Formal_specification_languages.
- Spec_Sharp subject Category:Formal_specification_languages.
- Specification_and_Description_Language subject Category:Formal_specification_languages.
- Stochastic_Petri_net subject Category:Formal_specification_languages.
- TLA+ subject Category:Formal_specification_languages.
- TNSDL subject Category:Formal_specification_languages.
- Timed_event_system subject Category:Formal_specification_languages.
- Universal_Systems_Language subject Category:Formal_specification_languages.
- Vector_addition_system subject Category:Formal_specification_languages.
- Vienna_Development_Method subject Category:Formal_specification_languages.
- Wright_(ADL) subject Category:Formal_specification_languages.
- Z_notation subject Category:Formal_specification_languages.
- Category:Denotational_semantics broader Category:Formal_specification_languages.
- Category:Hardware_verification_languages broader Category:Formal_specification_languages.
- Category:Petri_nets broader Category:Formal_specification_languages.
- Category:Process_calculi broader Category:Formal_specification_languages.
- Category:Synchronous_programming_languages broader Category:Formal_specification_languages.
- Category:Temporal_logic broader Category:Formal_specification_languages.
- Category:Z_notation broader Category:Formal_specification_languages.