| rdfs:comment
| - لغة المواصفات هي لغة شكلية في علم الحاسوب تستخدم أثناء تحليل الأنظمة وتحليل المتطلبات وتصميم الأنظمة لوصف نظام على مستوى أعلى بكثير من لغة البرمجة، والتي تستخدم لإنتاج التعليمات البرمجية القابلة للتنفيذ لنظام ما. (ar)
- 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. (en)
- 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. (fr)
- 仕様記述言語（しようきじゅつげんご）は、システムなどの仕様を記述する、コンピュータ言語（すなわち形式言語）である。形式的でない仕様記述もあるが（後述）、そういったものを含めて何らかの主張がされている場合もある。 プログラミング言語がシステムそのものに変換されるのに対し、仕様記述言語は必ずしもシステムに自動変換されるものではなく、あくまで仕様の妥当性を検証することに重きを置いている。ソフトウェア工学における一般的な設計プロセスの位置づけから、多くはプログラミング言語を記述する前段階に記述されることを期待している。 仕様記述と検証の方法について説明する。仕様記述では、何らかのシステムの仕様を論理学的あるいは代数学的に、形式的に記述する（形式仕様記述）。検証では、論理学や代数学に基づき（すなわち「機械的」に）、無矛盾性などといったシステムにおける「好ましい性質」の保証、あるいはデッドロックの可能性があるといった「好ましくない性質」の不存在を保証する（あるいは存在することを示し、修正を促す）。代表的な形式的仕様記述言語としてZ言語やなどがある。研究段階では長い歴史を持つが、記述が複雑で高度なスキルを要求する上、システム全体の仕様を全て表現するには膨大な量の記述が必要になる。 (ja)
- 명세 언어(Specification language), 명세 기술 언어는 전산학에 쓰이는 형식 언어이다. 시스템을 추가하고 직접 실행할 수 있는 형식 언어인 프로그래밍 언어와 달리, 명세 언어는 소프트웨어 시스템 디자인에서 의존성 분석을 위해 쓰인다. 명세 언어는 일반적으로 직접 실행되지 않는다. 이 언어는 프로그래밍 언어보다 높은 수준에서 시스템을 기술한다. 실제로 요구 명세 내용이 필요없는 세세한 내용으로 어수선하다면 오류라고 인식할 수 있다. 그 까닭은 이러한 상세 내용이 "어떻게"가 아니라, "무엇을"을 기술하기 때문이다. (ko)
- Мови специфікацій — спеціальні дескриптивні системи, створені для фіксації та обміну результатами розробки сучасних програмних проектів. Наприклад, результатом роботи аналітиків є зовнішня специфікація системи, а результатом роботи кодувальників — програмний код системи. Специфікації описують ту чи іншу модель вхідної системи або її частини. Тобто вони її моделюють і можуть бути використані замість самої системи в деяких контекстах. За властивостями специфікацій системи можна робити висновки щодо властивостей і самої системи. (uk)
- 规约语言（英語：Specification language），或称規範語言，是在计算机科学领域的使用的一种形式语言。编程语言是用于系统实现的、可以直接运行的形式语言。与之不同，规约语言主要用于系统分析和设计的过程中。 规约语言通常是不能直接运行的，虽然有人在进行这方面的研究。规约语言在比编程语言更抽象層次上描述系统，因此，在规约语言被实际实现之前，必须经过一个（不断添加实现细节）的过程。 规约语言的一个重要应用是允许创建的证明（参见自动定理证明）。 (zh)
- 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. (ca)
- Μια γλώσσα προδιαγραφών (specification language) είναι μια τυπική γλώσσα που χρησιμοποιείται στην επιστήμη των υπολογιστών.Σε αντίθεση με τις περισσότερες γλώσσες προγραμματισμού, οι οποίες είναι απευθείας εκτελέσιμες τυπικές γλώσσες που χρησιμοποιούνται για την υλοποίηση ενός συστήματος, οι γλώσσες προδιαγραφών χρησιμοποιούνται κυρίως κατά τη διάρκεια της (systems analysis), της (requirements analysis) και της (systems design). Μια σημαντική χρήση των γλωσσών προδιαγραφών είναι η δυνατότητα δημιουργίας μαθηματικών αποδείξεων , μέσω ενός (theorem prover). (el)
- 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. (es)
- In informatica, un linguaggio di specifica è un linguaggio formale (o parzialmente tale) usato per descrivere un sistema software a un livello di astrazione 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). (it)
- 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. (pt)
- Язык спецификаций — формальный язык, предназначенный для декларативного описания структуры, связей, свойств данных и способов их преобразований, (в отличие от активных языков) без явного упоминания порядка выполняемых действий и использования конкретных значений данных. В отличие от языков программирования, используемых при реализации компьютерных программ, языки спецификаций применяются для проведения системного анализа, анализа требований, разработке архитектуры создаваемых программных систем и формальной верификации программного обеспечения. (ru)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)