About: Formal specification languages

An Entity of Type: Concept, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Property	Value
dbo:wikiPageID	8232469 (xsd:integer)
dbo:wikiPageRevisionID	846975504 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Commons
rdf:type	skos:Concept
rdfs:label	Formal specification languages (en)
owl:sameAs	dbpedia-commons:Formal specification languages
skos:broader	dbc:Formal_specification dbc:Mathematical_modeling dbc:Specification_languages
skos:prefLabel	Formal specification languages (en)
prov:wasDerivedFrom	wikipedia-en:Category:Formal_specification_languages?oldid=846975504&ns=14
is dbo:wikiPageWikiLink of	dbr:Property_Specification_Language dbr:Rodin_tool dbr:Message_sequence_chart dbr:Meta-IV_(specification_language) dbr:Behavior_of_DEVS dbr:Behavior_of_coupled_DEVS dbr:Denotational_semantics dbr:Algebraic_semantics_(computer_science) dbr:Alloy_(specification_language) dbr:DEVS dbr:Duration_calculus dbr:E-LOTOS dbr:ESC/Java dbr:Construction_and_Analysis_of_Distributed_Processes dbr:Maude_system dbr:SPARK_(programming_language) dbr:OBJ_(programming_language) dbr:Object_Constraint_Language dbr:Eiffel_(programming_language) dbr:CoreASM dbr:Operational_semantics dbr:Common_Algebraic_Specification_Language dbr:Perfect_Developer dbr:Petri_net dbr:Prototype_Verification_System dbr:Object-Z dbr:Action_semantics dbr:Timed_event_system dbr:Language_Of_Temporal_Ordering_Specification dbr:Larch_family dbr:PowerDEVS dbr:Formal_specification dbr:Specification_and_Description_Language dbr:Predicative_programming dbr:Stochastic_Petri_net dbr:TLA+ dbr:Java_Modeling_Language dbr:Wright_(ADL) dbr:Z_notation dbr:Assertion_definition_language dbr:Augmented_marked_graph dbr:Axiomatic_semantics dbr:B-Method dbr:Refinement_calculus dbr:Rosetta-lang dbr:Semantics_(computer_science) dbr:Universal_Systems_Language dbr:Vector_addition_system dbr:Vienna_Development_Method dbr:Nets_within_Nets dbr:Extended_ML dbr:PlusCal dbr:Event_segment dbr:TNSDL dbr:Rigorous_Approach_to_Industrial_Software_Engineering
is dcterms:subject of	dbr:Property_Specification_Language dbr:Rodin_tool dbr:Message_sequence_chart dbr:Meta-IV_(specification_language) dbr:Behavior_of_DEVS dbr:Behavior_of_coupled_DEVS dbr:Denotational_semantics dbr:Algebraic_semantics_(computer_science) dbr:Alloy_(specification_language) dbr:DEVS dbr:Duration_calculus dbr:E-LOTOS dbr:ESC/Java dbr:Construction_and_Analysis_of_Distributed_Processes dbr:Maude_system dbr:SPARK_(programming_language) dbr:OBJ_(programming_language) dbr:Object_Constraint_Language dbr:Eiffel_(programming_language) dbr:CoreASM dbr:Operational_semantics dbr:Common_Algebraic_Specification_Language dbr:Perfect_Developer dbr:Petri_net dbr:Prototype_Verification_System dbr:Object-Z dbr:Action_semantics dbr:Timed_event_system dbr:Language_Of_Temporal_Ordering_Specification dbr:Larch_family dbr:PowerDEVS dbr:Formal_specification dbr:Specification_and_Description_Language dbr:Predicative_programming dbr:Stochastic_Petri_net dbr:TLA+ dbr:Java_Modeling_Language dbr:Wright_(ADL) dbr:Z_notation dbr:Assertion_definition_language dbr:Augmented_marked_graph dbr:Axiomatic_semantics dbr:B-Method dbr:Refinement_calculus dbr:Rosetta-lang dbr:Semantics_(computer_science) dbr:Universal_Systems_Language dbr:Vector_addition_system dbr:Vienna_Development_Method dbr:Nets_within_Nets dbr:Extended_ML dbr:PlusCal dbr:Event_segment dbr:TNSDL dbr:Rigorous_Approach_to_Industrial_Software_Engineering
is skos:broader of	dbc:Petri_nets dbc:Z_notation dbc:Hardware_verification_languages dbc:Denotational_semantics dbc:Synchronous_programming_languages dbc:Process_calculi dbc:Temporal_logic

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.

About: Formal specification languages

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.