Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Formal_specification_languages> . }
Showing items 1 to 60 of
60
with 100 items per page.
- Abstract_machine_notation subject Category:Formal_specification_languages.
- Action_semantics subject Category:Formal_specification_languages.
- Algebraic_semantics_(computer_science) subject Category:Formal_specification_languages.
- Alloy_(specification_language) subject Category:Formal_specification_languages.
- Assertion_definition_language subject Category:Formal_specification_languages.
- Axiomatic_semantics subject Category:Formal_specification_languages.
- B-Method subject Category:Formal_specification_languages.
- BHDL subject Category:Formal_specification_languages.
- Behavior_of_DEVS subject Category:Formal_specification_languages.
- Behavior_of_coupled_DEVS subject Category:Formal_specification_languages.
- Common_Algebraic_Specification_Language subject Category:Formal_specification_languages.
- Construction_and_Analysis_of_Distributed_Processes subject Category:Formal_specification_languages.
- CoreASM subject Category:Formal_specification_languages.
- DEVS subject Category:Formal_specification_languages.
- Denotational_semantics subject Category:Formal_specification_languages.
- Duration_calculus subject Category:Formal_specification_languages.
- Java subject Category:Formal_specification_languages.
- Eiffel_(programming_language) subject Category:Formal_specification_languages.
- Event_segment subject Category:Formal_specification_languages.
- Extended_ML subject Category:Formal_specification_languages.
- Formal_specification subject Category:Formal_specification_languages.
- Java_Modeling_Language subject Category:Formal_specification_languages.
- Language_Of_Temporal_Ordering_Specification subject Category:Formal_specification_languages.
- Larch_family subject Category:Formal_specification_languages.
- LePUS3 subject Category:Formal_specification_languages.
- Maude_system subject Category:Formal_specification_languages.
- Message_sequence_chart subject Category:Formal_specification_languages.
- Meta-IV_(specification_language) subject Category:Formal_specification_languages.
- Nets_within_Nets subject Category:Formal_specification_languages.
- OBJ3 subject Category:Formal_specification_languages.
- OBJ_(programming_language) subject Category:Formal_specification_languages.
- Object_Constraint_Language subject Category:Formal_specification_languages.
- Operational_semantics subject Category:Formal_specification_languages.
- Perfect_Developer subject Category:Formal_specification_languages.
- Petri_net subject 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.
- TNSDL subject Category:Formal_specification_languages.
- Timed_event_system subject Category:Formal_specification_languages.
- Universal_Systems_Language subject Category:Formal_specification_languages.
- Vienna_Development_Method subject Category:Formal_specification_languages.
- Wright_(ADL) 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.