About: Specification language     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatComputerLanguages, within Data Space : dbpedia.org associated with source document(s)

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.

AttributesValues
rdf:type
rdfs:label
  • لغة المواصفات
  • Llenguatge d'especificació
  • Γλώσσα προδιαγραφών
  • Specification language
  • Langage de spécification
  • Lenguaje de especificación
  • Linguaggio di specifica
  • 仕様記述言語
  • 명세 언어
  • Linguagem de especificação
  • Язык спецификаций
  • Мови специфікацій
  • 规约语言
rdfs:comment
  • لغة المواصفات هي لغة شكلية في علم الحاسوب تستخدم أثناء تحليل الأنظمة وتحليل المتطلبات وتصميم الأنظمة لوصف نظام على مستوى أعلى بكثير من لغة البرمجة، والتي تستخدم لإنتاج التعليمات البرمجية القابلة للتنفيذ لنظام ما.
  • Un langage de spécification est un Langage formel en Informatique utilisé pendant l'analyse systémique, l'analyse des exigences et la conception des systèmes pour décrire un système à un niveau beaucoup plus élevé qu'un langage de programmation, qui est utilisé pour produire un code exécutable pour un système.
  • 仕様記述言語(しようきじゅつげんご)は、システムなどの仕様を記述する、コンピュータ言語(すなわち形式言語)である。形式的でない仕様記述もあるが(後述)、そういったものを含めて何らかの主張がされている場合もある。 プログラミング言語がシステムそのものに変換されるのに対し、仕様記述言語は必ずしもシステムに自動変換されるものではなく、あくまで仕様の妥当性を検証することに重きを置いている。ソフトウェア工学における一般的な設計プロセスの位置づけから、多くはプログラミング言語を記述する前段階に記述されることを期待している。 仕様記述と検証の方法について説明する。仕様記述では、何らかのシステムの仕様を論理学的あるいは代数学的に、形式的に記述する(形式仕様記述)。検証では、論理学や代数学に基づき(すなわち「機械的」に)、無矛盾性などといったシステムにおける「好ましい性質」の保証、あるいはデッドロックの可能性があるといった「好ましくない性質」の不存在を保証する(あるいは存在することを示し、修正を促す)。代表的な形式的仕様記述言語としてZ言語やなどがある。研究段階では長い歴史を持つが、記述が複雑で高度なスキルを要求する上、システム全体の仕様を全て表現するには膨大な量の記述が必要になる。
  • 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 language),或称规范语言,是在计算机科学领域的使用的一种形式语言。编程语言是用于系统实现的、可以直接运行的形式语言。与之不同,规约语言主要用于系统分析和设计的过程中。 规约语言通常是不能直接运行的,虽然有人在进行这方面的研究。规约语言在比编程语言高的多的层次上描述系统,因此,在规约语言被实际实现之前,必须经过一个(不断添加实现细节)的过程。 规约语言的一个重要应用是允许创建的证明(参见自动定理证明)。
  • En informàtica, un llenguatge d'especificació o llenguatge de descripció és un llenguatge formal o semi-formal la funció del qual és construir un del sistema que es vol crear. A diferència dels llenguatges de programació, que poden ser bé llenguatges interpretats o llenguatges traduïbles a una representació executable , els llenguatges d'especificació no s'utilitzen per a implementar un sistema sinó per especificar-lo, conceptualitzar-lo o fins i tot validar-lo. Els llenguatges d'especificació es poden dividir en formals i semi-formals.
  • Μια γλώσσα προδιαγραφών (specification language) είναι μια τυπική γλώσσα που χρησιμοποιείται στην επιστήμη των υπολογιστών.Σε αντίθεση με τις περισσότερες γλώσσες προγραμματισμού, οι οποίες είναι απευθείας εκτελέσιμες τυπικές γλώσσες που χρησιμοποιούνται για την υλοποίηση ενός συστήματος, οι γλώσσες προδιαγραφών χρησιμοποιούνται κυρίως κατά τη διάρκεια της (systems analysis), της (requirements analysis) και της (systems design). Μια σημαντική χρήση των γλωσσών προδιαγραφών είναι η δυνατότητα δημιουργίας μαθηματικών αποδείξεων , μέσω ενός (theorem prover).
  • En el contexto de la ingeniería eléctrica, la computación y ramas afines, un lenguaje de especificación o lenguaje de descripción es un lenguaje formal o semi-formal cuya función es construir modelos de los sistemas que se desea elaborar. Las especificaciones hechas en un lenguaje de descripción no suelen ser interpretables o ejecutables, sin embargo existen algunos ambientes de desarrollo basados en lenguajes de descripción, que permiten la generación del sistema a partir del modelo. Los lenguajes de especificación pueden dividirse en semi-formales y formales.
  • In informatica, un linguaggio di specifica è un linguaggio formale (o parzialmente tale) usato per descrivere un sistema software a un superiore a quello dei linguaggi di programmazione. L'applicazione di un linguaggio di specifica quindi produce delle . A seconda dei casi, un linguaggio di specifica può essere orientato all'analisi (nel qual caso lo si può impiegare per stendere in modo formale la specifica dei requisiti del sistema) o alla progettazione (nel qual caso si otterrebbero specifiche di progetto).
  • Uma linguagem de especificação é uma linguagem formal usada na ciência da computação. Diferente de linguagens de programação, que são linguagens usadas para implementar sistemas executáveis, linguagens de especificação são usadas durante as fases de análise de requisitos e especificação de programa, parte do processo de desenvolvimento de software. Um uso importante de linguagens de especificação é a possibilidade de criar provas matemáticas da validade de um programa.
  • Язык спецификаций — формальный язык, предназначенный для декларативного описания структуры, связей, свойств данных и способов их преобразований, (в отличие от активных языков) без явного упоминания порядка выполняемых действий и использования конкретных значений данных. В отличие от языков программирования, используемых при реализации компьютерных программ, языки спецификаций применяются для проведения системного анализа, анализа требований, разработке архитектуры создаваемых программных систем и формальной верификации программного обеспечения.
foaf:isPrimaryTopicOf
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
sameAs
Faceted Search & Find service v1.17_git81 as of Jul 16 2021


Alternative Linked Data Documents: PivotViewer | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3322 as of Sep 15 2021, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software