About: Specification languages

Property	Value
rdf:type	skos:Concept
rdfs:label	Specification languages
skos:broader	dbpedia:Category:Computer_languages dbpedia:Category:Scientific_modeling dbpedia:Category:Technical_communication dbpedia:Category:Software_engineering
skos:prefLabel	Specification languages
is skos:broader of	dbpedia:Category:Dependently-typed_formal_languages dbpedia:Category:Unified_Modeling_Language dbpedia:Category:Data_modeling_languages dbpedia:Category:Formal_specification_languages dbpedia:Category:Hardware_description_languages
is skos:subject of	dbpedia:Lightweight_Imaging_Device_Interface_Language dbpedia:Business_Process_Execution_Language dbpedia:Z_notation dbpedia:ANSI/ISO_C_Specification_Language dbpedia:Battle_management_language dbpedia:Model_Transformation_Language dbpedia:Flow_Description_Markup_Language dbpedia:Little_b_(programming_language) dbpedia:Fundamental_modeling_concepts dbpedia:Meta-Object_Facility dbpedia:HOOD_method dbpedia:M2M_(Eclipse) dbpedia:FermaT_Transformation_System dbpedia:I* dbpedia:KM3 dbpedia:Specification_language dbpedia:Modeling_language dbpedia:BPEL4People dbpedia:WS-CDL dbpedia:Algebraic_Petri_nets dbpedia:BPEL_script dbpedia:CO-OPN dbpedia:Goal-oriented_Requirements_Language dbpedia:IDL_specification_language dbpedia:Language_for_Instruction_Set_Architecture dbpedia:Lepus3 dbpedia:Unified_Modeling_Language dbpedia:Modelica dbpedia:Promela dbpedia:Interface_description_language dbpedia:Algebraic_modeling_language dbpedia:General-purpose_modeling dbpedia:Framework-specific_modeling_language dbpedia:Hartmann_pipeline dbpedia:SAP_NetWeaver_Visual_Composer dbpedia:Object_Process_Methodology dbpedia:Petriscript dbpedia:Simple_Declarative_Language dbpedia:Z++ dbpedia:Tefkat