Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/class/yago/FormalSpecificationLanguages> . }
Showing items 1 to 39 of
39
with 100 items per page.
- Abstract_machine_notation type FormalSpecificationLanguages.
- Action_semantics type FormalSpecificationLanguages.
- Alloy_(specification_language) type FormalSpecificationLanguages.
- Assertion_definition_language type FormalSpecificationLanguages.
- Axiomatic_semantics type FormalSpecificationLanguages.
- B-Method type FormalSpecificationLanguages.
- BHDL type FormalSpecificationLanguages.
- Behavior_of_DEVS type FormalSpecificationLanguages.
- Behavior_of_coupled_DEVS type FormalSpecificationLanguages.
- Common_Algebraic_Specification_Language type FormalSpecificationLanguages.
- DEVS type FormalSpecificationLanguages.
- Duration_calculus type FormalSpecificationLanguages.
- Eiffel_(programming_language) type FormalSpecificationLanguages.
- Event_segment type FormalSpecificationLanguages.
- Extended_ML type FormalSpecificationLanguages.
- Formal_specification type FormalSpecificationLanguages.
- Java_Modeling_Language type FormalSpecificationLanguages.
- Language_Of_Temporal_Ordering_Specification type FormalSpecificationLanguages.
- Larch_family type FormalSpecificationLanguages.
- Maude_system type FormalSpecificationLanguages.
- Meta-IV_(specification_language) type FormalSpecificationLanguages.
- OBJ_(programming_language) type FormalSpecificationLanguages.
- Object_Constraint_Language type FormalSpecificationLanguages.
- Operational_semantics type FormalSpecificationLanguages.
- PowerDEVS type FormalSpecificationLanguages.
- Predicative_programming type FormalSpecificationLanguages.
- Property_Specification_Language type FormalSpecificationLanguages.
- Prototype_Verification_System type FormalSpecificationLanguages.
- Refinement_calculus type FormalSpecificationLanguages.
- Rosetta-lang type FormalSpecificationLanguages.
- SPARK_(programming_language) type FormalSpecificationLanguages.
- Semantics_(computer_science) type FormalSpecificationLanguages.
- Sing_Sharp type FormalSpecificationLanguages.
- Spec_Sharp type FormalSpecificationLanguages.
- TNSDL type FormalSpecificationLanguages.
- Timed_event_system type FormalSpecificationLanguages.
- Universal_Systems_Language type FormalSpecificationLanguages.
- Vienna_Development_Method type FormalSpecificationLanguages.
- Wright_(ADL) type FormalSpecificationLanguages.