DBpedia – Linked Data Fragments

Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Category:Formal_specification_languages> }

• Abstract_machine_notation wikiPageWikiLink Category:Formal_specification_languages.
• Action_semantics wikiPageWikiLink Category:Formal_specification_languages.
• Albatross_(programming_language) wikiPageWikiLink Category:Formal_specification_languages.
• Algebraic_semantics_(computer_science) wikiPageWikiLink Category:Formal_specification_languages.
• Alloy_(specification_language) wikiPageWikiLink Category:Formal_specification_languages.
• Assertion_definition_language wikiPageWikiLink Category:Formal_specification_languages.
• Axiomatic_semantics wikiPageWikiLink Category:Formal_specification_languages.
• B-Method wikiPageWikiLink Category:Formal_specification_languages.
• BHDL wikiPageWikiLink Category:Formal_specification_languages.
• Behavior_of_DEVS wikiPageWikiLink Category:Formal_specification_languages.
• Behavior_of_coupled_DEVS wikiPageWikiLink Category:Formal_specification_languages.
• Common_Algebraic_Specification_Language wikiPageWikiLink Category:Formal_specification_languages.
• Construction_and_Analysis_of_Distributed_Processes wikiPageWikiLink Category:Formal_specification_languages.
• CoreASM wikiPageWikiLink Category:Formal_specification_languages.
• DEVS wikiPageWikiLink Category:Formal_specification_languages.
• Denotational_semantics wikiPageWikiLink Category:Formal_specification_languages.
• Duration_calculus wikiPageWikiLink Category:Formal_specification_languages.
• E-LOTOS wikiPageWikiLink Category:Formal_specification_languages.
• Java wikiPageWikiLink Category:Formal_specification_languages.
• Eiffel_(programming_language) wikiPageWikiLink Category:Formal_specification_languages.
• Event_segment wikiPageWikiLink Category:Formal_specification_languages.
• Extended_ML wikiPageWikiLink Category:Formal_specification_languages.
• Formal_specification wikiPageWikiLink Category:Formal_specification_languages.
• Java_Modeling_Language wikiPageWikiLink Category:Formal_specification_languages.
• Language_Of_Temporal_Ordering_Specification wikiPageWikiLink Category:Formal_specification_languages.
• Larch_family wikiPageWikiLink Category:Formal_specification_languages.
• LePUS3 wikiPageWikiLink Category:Formal_specification_languages.
• List_of_mathematics_categories wikiPageWikiLink Category:Formal_specification_languages.
• Maude_system wikiPageWikiLink Category:Formal_specification_languages.
• Message_sequence_chart wikiPageWikiLink Category:Formal_specification_languages.
• Meta-IV_(specification_language) wikiPageWikiLink Category:Formal_specification_languages.
• Nets_within_Nets wikiPageWikiLink Category:Formal_specification_languages.
• OBJ3 wikiPageWikiLink Category:Formal_specification_languages.
• OBJ_(programming_language) wikiPageWikiLink Category:Formal_specification_languages.
• Object-Z wikiPageWikiLink Category:Formal_specification_languages.
• Object_Constraint_Language wikiPageWikiLink Category:Formal_specification_languages.
• Operational_semantics wikiPageWikiLink Category:Formal_specification_languages.
• Perfect_Developer wikiPageWikiLink Category:Formal_specification_languages.
• Petri_net wikiPageWikiLink Category:Formal_specification_languages.
• PlusCal wikiPageWikiLink Category:Formal_specification_languages.
• PowerDEVS wikiPageWikiLink Category:Formal_specification_languages.
• Predicative_programming wikiPageWikiLink Category:Formal_specification_languages.
• Property_Specification_Language wikiPageWikiLink Category:Formal_specification_languages.
• Prototype_Verification_System wikiPageWikiLink Category:Formal_specification_languages.
• RAISE wikiPageWikiLink Category:Formal_specification_languages.
• Refinement_calculus wikiPageWikiLink Category:Formal_specification_languages.
• Rodin_tool wikiPageWikiLink Category:Formal_specification_languages.
• Rosetta-lang wikiPageWikiLink Category:Formal_specification_languages.
• SPARK_(programming_language) wikiPageWikiLink Category:Formal_specification_languages.
• Semantics_(computer_science) wikiPageWikiLink Category:Formal_specification_languages.
• Spec_Sharp wikiPageWikiLink Category:Formal_specification_languages.
• Specification_and_Description_Language wikiPageWikiLink Category:Formal_specification_languages.
• Stochastic_Petri_net wikiPageWikiLink Category:Formal_specification_languages.
• TLA+ wikiPageWikiLink Category:Formal_specification_languages.
• TNSDL wikiPageWikiLink Category:Formal_specification_languages.
• Timed_event_system wikiPageWikiLink Category:Formal_specification_languages.
• Universal_Systems_Language wikiPageWikiLink Category:Formal_specification_languages.
• Vector_addition_system wikiPageWikiLink Category:Formal_specification_languages.
• Vienna_Development_Method wikiPageWikiLink Category:Formal_specification_languages.
• Wright_(ADL) wikiPageWikiLink Category:Formal_specification_languages.
• Z_notation wikiPageWikiLink Category:Formal_specification_languages.
• Abstract_machine_notation subject Category:Formal_specification_languages.
• Action_semantics subject Category:Formal_specification_languages.
• Albatross_(programming_language) 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.
• E-LOTOS 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-Z 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.
• PlusCal subject Category:Formal_specification_languages.

• next