DBpedia – Linked Data Fragments

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

• Specification_language abstract "A specification language is a formal language in computer science used during systems analysis, requirements analysis and systems design to describe a system at a much higher level than a programming language, which is used to produce the executable code for a system.Specification languages are generally not directly executed. They are meant to describe the what, not the how. Indeed, it is considered as an error if a requirement specification is cluttered with unnecessary implementation detail. A common fundamental assumption of many specification approaches is that programs are modelled as algebraic or model-theoretic structures that include a collection of sets of data values together with functions over those sets. This level of abstraction coincides with the view that the correctness of the input/output behaviour of a program takes precedence over all its other properties.In the property-oriented approach to specification (taken e.g. by CASL), specifications of programs consist mainly of logical axioms, usually in a logical system in which equality has a prominent role, describing the properties that the functions are required to satisfy - often just by their interrelationship.This is in contrast to so-called model-oriented specification in frameworks like VDM and Z, which consist of a simple realization of the required behaviour. Specifications must be subject to a process of refinement (the filling-in of implementation detail) before they can actually be implemented. The result of such a refinement process is an executable algorithm, which is either formulated in a programming language, or in an executable subset of the specification language at hand. For example, Hartmann pipelines, whenproperly applied, may be considered a dataflow specification which is directly executable. Another example is the Actor model which has no specific application content and must be specialized to be executable.An important use of specification languages is enabling the creation of proofs of program correctness (see theorem prover).".
• Specification_language wikiPageID "140586".
• Specification_language wikiPageLength "3700".
• Specification_language wikiPageOutDegree "38".
• Specification_language wikiPageRevisionID "702950247".
• Specification_language wikiPageWikiLink Actor_model.
• Specification_language wikiPageWikiLink Algebra.
• Specification_language wikiPageWikiLink Alloy_(specification_language).
• Specification_language wikiPageWikiLink Automated_theorem_proving.
• Specification_language wikiPageWikiLink Axiom.
• Specification_language wikiPageWikiLink CMS_Pipelines.
• Specification_language wikiPageWikiLink Category:Computer_languages.
• Specification_language wikiPageWikiLink Category:Scientific_modeling.
• Specification_language wikiPageWikiLink Category:Software_engineering.
• Specification_language wikiPageWikiLink Category:Specification_languages.
• Specification_language wikiPageWikiLink Common_Algebraic_Specification_Language.
• Specification_language wikiPageWikiLink Computer_science.
• Specification_language wikiPageWikiLink Correctness_(computer_science).
• Specification_language wikiPageWikiLink Dataflow.
• Specification_language wikiPageWikiLink Formal_language.
• Specification_language wikiPageWikiLink Formal_specification.
• Specification_language wikiPageWikiLink Formal_system.
• Specification_language wikiPageWikiLink Function_(mathematics).
• Specification_language wikiPageWikiLink Language-independent_specification.
• Specification_language wikiPageWikiLink Language_Of_Temporal_Ordering_Specification.
• Specification_language wikiPageWikiLink LePUS3.
• Specification_language wikiPageWikiLink Mathematical_proof.
• Specification_language wikiPageWikiLink Model-based_specification.
• Specification_language wikiPageWikiLink Model_theory.
• Specification_language wikiPageWikiLink Perfect_Developer.
• Specification_language wikiPageWikiLink Programming_language.
• Specification_language wikiPageWikiLink Requirements_analysis.
• Specification_language wikiPageWikiLink SequenceL.
• Specification_language wikiPageWikiLink Set_(mathematics).
• Specification_language wikiPageWikiLink Specification_and_Description_Language.
• Specification_language wikiPageWikiLink Systems_analysis.
• Specification_language wikiPageWikiLink Systems_design.
• Specification_language wikiPageWikiLink Unified_Modeling_Language.
• Specification_language wikiPageWikiLink Vienna_Development_Method.
• Specification_language wikiPageWikiLink Z_notation.
• Specification_language wikiPageWikiLinkText "Formal Specification Languages".
• Specification_language wikiPageWikiLinkText "Specification Language".
• Specification_language wikiPageWikiLinkText "Specification language".
• Specification_language wikiPageWikiLinkText "description languages".
• Specification_language wikiPageWikiLinkText "language".
• Specification_language wikiPageWikiLinkText "non-executable specification language".
• Specification_language wikiPageWikiLinkText "specification language".
• Specification_language wikiPageWikiLinkText "specification".
• Specification_language wikiPageWikiLinkText "specifications".
• Specification_language wikiPageWikiLinkText "specified".
• Specification_language wikiPageUsesTemplate Template:Compu-lang-stub.
• Specification_language wikiPageUsesTemplate Template:Computer_language.
• Specification_language wikiPageUsesTemplate Template:Main.
• Specification_language wikiPageUsesTemplate Template:Unreferenced.
• Specification_language subject Category:Computer_languages.
• Specification_language subject Category:Scientific_modeling.
• Specification_language subject Category:Software_engineering.
• Specification_language subject Category:Specification_languages.
• Specification_language hypernym Language.
• Specification_language type Area.
• Specification_language type Language.
• Specification_language type ProgrammingLanguage.
• Specification_language type Area.
• Specification_language type Discipline.
• Specification_language type Language.
• Specification_language type Language.
• Specification_language type Thing.
• Specification_language type Concept.
• Specification_language type Q315.
• Specification_language type Q34770.
• Specification_language type Q9143.
• Specification_language comment "A specification language is a formal language in computer science used during systems analysis, requirements analysis and systems design to describe a system at a much higher level than a programming language, which is used to produce the executable code for a system.Specification languages are generally not directly executed. They are meant to describe the what, not the how. Indeed, it is considered as an error if a requirement specification is cluttered with unnecessary implementation detail.".
• Specification_language label "Specification language".
• Specification_language sameAs Q1209840.
• Specification_language sameAs Llenguatge_despecificacixc3xb3.
• Specification_language sameAs Γλώσσα_προδιαγραφών.
• Specification_language sameAs Lenguaje_de_especificación.
• Specification_language sameAs Linguaggio_di_specifica.
• Specification_language sameAs 仕様記述言語.
• Specification_language sameAs Сипаттамалар_тілі.
• Specification_language sameAs 명세_언어.
• Specification_language sameAs Linguagem_de_especificação.
• Specification_language sameAs m.011jtn.
• Specification_language sameAs Язык_спецификаций.
• Specification_language sameAs Мови_специфікацій.
• Specification_language sameAs Q1209840.
• Specification_language sameAs 规约语言.
• Specification_language wasDerivedFrom Specification_language?oldid=702950247.
• Specification_language isPrimaryTopicOf Specification_language.