This HTML5 document contains 124 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dcterms	http://purl.org/dc/terms/
yago-res	http://yago-knowledge.org/resource/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
dbpedia-ko	http://ko.dbpedia.org/resource/
dbpedia-ca	http://ca.dbpedia.org/resource/
dbpedia-kk	http://kk.dbpedia.org/resource/
dbpedia-es	http://es.dbpedia.org/resource/
n26	https://global.dbpedia.org/id/
yago	http://dbpedia.org/class/yago/
dbpedia-ru	http://ru.dbpedia.org/resource/
dbt	http://dbpedia.org/resource/Template:
dbpedia-uk	http://uk.dbpedia.org/resource/
rdfs	http://www.w3.org/2000/01/rdf-schema#
freebase	http://rdf.freebase.com/ns/
dbpedia-pt	http://pt.dbpedia.org/resource/
dbpedia-el	http://el.dbpedia.org/resource/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-ar	http://ar.dbpedia.org/resource/
owl	http://www.w3.org/2002/07/owl#
dbpedia-it	http://it.dbpedia.org/resource/
dbpedia-zh	http://zh.dbpedia.org/resource/
dbpedia-fr	http://fr.dbpedia.org/resource/
wikipedia-en	http://en.wikipedia.org/wiki/
dbp	http://dbpedia.org/property/
dbc	http://dbpedia.org/resource/Category:
prov	http://www.w3.org/ns/prov#
xsdh	http://www.w3.org/2001/XMLSchema#
n10	http://dbpedia.org/resource/ANSI/
gold	http://purl.org/linguistics/gold/
wikidata	http://www.wikidata.org/entity/
dbr	http://dbpedia.org/resource/
dbpedia-ja	http://ja.dbpedia.org/resource/

Statements

Subject Item

dbr:Specification_language

rdf:type

yago:Communication100033020 yago:Language106282651 yago:Abstraction100002137 yago:WikicatSpecificationLanguages dbo:Language yago:WikicatComputerLanguages yago:ComputerLanguage106899633 yago:ProgrammingLanguage106898352 yago:WikicatFormalLanguages yago:ArtificialLanguage106894544

rdfs:label

Мови специфікацій Язык спецификаций 仕様記述言語 Γλώσσα προδιαγραφών Lenguaje de especificación Linguaggio di specifica Specification language Llenguatge d'especificació 规约语言 Langage de spécification لغة المواصفات 명세 언어 Linguagem de especificação

rdfs:comment

规约语言（英語：Specification language），或称規範語言，是在计算机科学领域的使用的一种形式语言。编程语言是用于系统实现的、可以直接运行的形式语言。与之不同，规约语言主要用于系统分析和设计的过程中。 规约语言通常是不能直接运行的，虽然有人在进行这方面的研究。规约语言在比编程语言更抽象層次上描述系统，因此，在规约语言被实际实现之前，必须经过一个（不断添加实现细节）的过程。 规约语言的一个重要应用是允许创建的证明（参见自动定理证明）。 Мови специфікацій — спеціальні дескриптивні системи, створені для фіксації та обміну результатами розробки сучасних програмних проектів. Наприклад, результатом роботи аналітиків є зовнішня специфікація системи, а результатом роботи кодувальників — програмний код системи. Специфікації описують ту чи іншу модель вхідної системи або її частини. Тобто вони її моделюють і можуть бути використані замість самої системи в деяких контекстах. За властивостями специфікацій системи можна робити висновки щодо властивостей і самої системи. 仕様記述言語（しようきじゅつげんご）は、システムなどの仕様を記述する、コンピュータ言語（すなわち形式言語）である。形式的でない仕様記述もあるが（後述）、そういったものを含めて何らかの主張がされている場合もある。 プログラミング言語がシステムそのものに変換されるのに対し、仕様記述言語は必ずしもシステムに自動変換されるものではなく、あくまで仕様の妥当性を検証することに重きを置いている。ソフトウェア工学における一般的な設計プロセスの位置づけから、多くはプログラミング言語を記述する前段階に記述されることを期待している。 仕様記述と検証の方法について説明する。仕様記述では、何らかのシステムの仕様を論理学的あるいは代数学的に、形式的に記述する（形式仕様記述）。検証では、論理学や代数学に基づき（すなわち「機械的」に）、無矛盾性などといったシステムにおける「好ましい性質」の保証、あるいはデッドロックの可能性があるといった「好ましくない性質」の不存在を保証する（あるいは存在することを示し、修正を促す）。代表的な形式的仕様記述言語としてZ言語やなどがある。研究段階では長い歴史を持つが、記述が複雑で高度なスキルを要求する上、システム全体の仕様を全て表現するには膨大な量の記述が必要になる。 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). لغة المواصفات هي لغة شكلية في علم الحاسوب تستخدم أثناء تحليل الأنظمة وتحليل المتطلبات وتصميم الأنظمة لوصف نظام على مستوى أعلى بكثير من لغة البرمجة، والتي تستخدم لإنتاج التعليمات البرمجية القابلة للتنفيذ لنظام ما. 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. Μια γλώσσα προδιαγραφών (specification language) είναι μια τυπική γλώσσα που χρησιμοποιείται στην επιστήμη των υπολογιστών.Σε αντίθεση με τις περισσότερες γλώσσες προγραμματισμού, οι οποίες είναι απευθείας εκτελέσιμες τυπικές γλώσσες που χρησιμοποιούνται για την υλοποίηση ενός συστήματος, οι γλώσσες προδιαγραφών χρησιμοποιούνται κυρίως κατά τη διάρκεια της (systems analysis), της (requirements analysis) και της (systems design). Μια σημαντική χρήση των γλωσσών προδιαγραφών είναι η δυνατότητα δημιουργίας μαθηματικών αποδείξεων , μέσω ενός (theorem prover). 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. Язык спецификаций — формальный язык, предназначенный для декларативного описания структуры, связей, свойств данных и способов их преобразований, (в отличие от активных языков) без явного упоминания порядка выполняемых действий и использования конкретных значений данных. В отличие от языков программирования, используемых при реализации компьютерных программ, языки спецификаций применяются для проведения системного анализа, анализа требований, разработке архитектуры создаваемых программных систем и формальной верификации программного обеспечения. 명세 언어(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. 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. 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.

dcterms:subject

dbc:Specification_languages dbc:Formal_specification dbc:Scientific_modelling dbc:Computer_languages

dbo:wikiPageID

140586

dbo:wikiPageRevisionID

1071116758

dbo:wikiPageWikiLink

dbr:Axiom dbr:Symbolic_Model_Verification dbr:Model_theory n10:ISO_C_Specification_Language dbr:Language-independent_specification dbr:B-Method dbr:Mathematical_proof dbr:Requirements_analysis dbc:Specification_languages dbr:Logical_system dbr:Dataflow dbr:Computer_science dbr:Function_(mathematics) dbr:Formal_specification dbr:Common_Algebraic_Specification_Language dbr:Language_Of_Temporal_Ordering_Specification dbr:Systems_design dbr:SequenceL dbr:Attempto_Controlled_English dbr:Specification_and_Design_Language dbr:Vienna_Development_Method dbr:Hartmann_pipeline dbr:Programming_language dbr:Automated_theorem_prover dbr:Alloy_(specification_language) dbr:Systems_analysis dbr:Perfect_Developer dbc:Formal_specification dbr:Model-based_specification dbr:Unified_Modeling_Language dbr:TLA+ dbr:Z_notation dbc:Scientific_modelling dbc:Computer_languages dbr:E-LOTOS dbr:Algebra dbr:Lepus3 dbr:Formal_language dbr:Set_(mathematics) dbr:MML_(programming_language) dbr:Actor_model dbr:Program_correctness

owl:sameAs

dbpedia-ru:Язык_спецификаций dbpedia-ca:Llenguatge_d'especificació dbpedia-el:Γλώσσα_προδιαγραφών yago-res:Specification_language dbpedia-uk:Мови_специфікацій dbpedia-ar:لغة_المواصفات dbpedia-kk:Сипаттамалар_тілі wikidata:Q1209840 freebase:m.011jtn dbpedia-pt:Linguagem_de_especificação n26:G19g dbpedia-es:Lenguaje_de_especificación dbpedia-ko:명세_언어 dbpedia-zh:规约语言 dbpedia-fr:Langage_de_spécification dbpedia-it:Linguaggio_di_specifica dbpedia-ja:仕様記述言語

dbp:wikiPageUsesTemplate

dbt:Main_article dbt:Div_col dbt:Reflist dbt:Refimprove dbt:Computer_language dbt:Commonscatinline

dbo:abstract

명세 언어(Specification language), 명세 기술 언어는 전산학에 쓰이는 형식 언어이다. 시스템을 추가하고 직접 실행할 수 있는 형식 언어인 프로그래밍 언어와 달리, 명세 언어는 소프트웨어 시스템 디자인에서 의존성 분석을 위해 쓰인다. 명세 언어는 일반적으로 직접 실행되지 않는다. 이 언어는 프로그래밍 언어보다 높은 수준에서 시스템을 기술한다. 실제로 요구 명세 내용이 필요없는 세세한 내용으로 어수선하다면 오류라고 인식할 수 있다. 그 까닭은 이러한 상세 내용이 "어떻게"가 아니라, "무엇을"을 기술하기 때문이다. Язык спецификаций — формальный язык, предназначенный для декларативного описания структуры, связей, свойств данных и способов их преобразований, (в отличие от активных языков) без явного упоминания порядка выполняемых действий и использования конкретных значений данных. В отличие от языков программирования, используемых при реализации компьютерных программ, языки спецификаций применяются для проведения системного анализа, анализа требований, разработке архитектуры создаваемых программных систем и формальной верификации программного обеспечения. Различные языки спецификаций используются для описания структуры информационной системы, моделей предметной области и других задач, связанных с разработкой ПО и БД (UML, ERD, DFD) и могут иметь как текстовый, так и бинарный формат, а также графическое представление конструкций языка. Применяются они также для описания интерфейсов пользователя (XUL, XAML), шаблонов отчётов, преобразования документов, а также в качестве форматов передачи данных между приложениями в распределённых информационных системах (XML, JSON, ). Ещё одно применение языков спецификации — описание структур баз данных, а именно — декларативная часть SQL обычно называется Data Definition Language (DDL). При синтаксическом анализе и разборе (парсинге) применяются языки спецификаций, например, форма Бэкуса — Наура и (англ. augmented Backus-Naur form — расширенная форма Бэкуса — Наура) являются общепринятыми формальными языками спецификации сетевых протоколов и даже синтаксиса активных языков программирования; регулярные выражения аналогичны выше упомянутым нотациям, однако форма записи регулярных выражений в десятки раз компактнее, и хорошо разработаны алгоритмы парсинга с их помощью, а поддержка регулярных выражений осуществлена в подавляющем большинстве современных языков программирования. 规约语言（英語：Specification language），或称規範語言，是在计算机科学领域的使用的一种形式语言。编程语言是用于系统实现的、可以直接运行的形式语言。与之不同，规约语言主要用于系统分析和设计的过程中。 规约语言通常是不能直接运行的，虽然有人在进行这方面的研究。规约语言在比编程语言更抽象層次上描述系统，因此，在规约语言被实际实现之前，必须经过一个（不断添加实现细节）的过程。 规约语言的一个重要应用是允许创建的证明（参见自动定理证明）。 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. As linguagens de especificação geralmente não são executadas diretamente. Elas descrevem o sistema em alto nível em comparação a uma linguagem de programação. Dessa forma, é considerado um erro a existência de detalhes de implementação em uma especificação, pois deve-se descrever o que deve ser feito, não como. As especificações devem sofrer um processo de refinamento antes de serem implementadas de fato, isto é, a adição de detalhes de implementação. O resultado de tal refinamento é um algoritmo executável, que é tanto formatado em uma linguagem de programação ou em um subconjunto executável da linguagem de especificação. Um uso importante de linguagens de especificação é a possibilidade de criar provas matemáticas da validade de um programa. 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. A diferencia de los lenguajes de programación, que son lenguajes interpretables o traducibles por una computadora hacia una representación ejecutable, los lenguajes de especificación no son por lo general utilizados para implementar el sistema, sino para especificarlo, conceptualizarlo o incluso validarlo, aunque también suelen ser legibles para un programa de computadora, que puede asistir en el proceso de validación. 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. 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. 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 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. Com hem comentat, les especificacions fetes amb un llenguatge de descripció no solen ser interpretables o executables, però podem trobar aplicacions (p. ex. entorns de desenvolupament) que permeten generar el sistema a partir del seu model. Els llenguatges d'especificació es poden dividir en formals i semi-formals. 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). Un linguaggio di specifica può, a seconda dei casi, essere anche un linguaggio di modellazione. In questo caso, la descrizione del sistema può in qualche modo essere considerata un , cioè una rappresentazione semplificata del sistema stesso, che ne riproduce i tratti essenziali. Мови специфікацій — спеціальні дескриптивні системи, створені для фіксації та обміну результатами розробки сучасних програмних проектів. Наприклад, результатом роботи аналітиків є зовнішня специфікація системи, а результатом роботи кодувальників — програмний код системи. Специфікації описують ту чи іншу модель вхідної системи або її частини. Тобто вони її моделюють і можуть бути використані замість самої системи в деяких контекстах. За властивостями специфікацій системи можна робити висновки щодо властивостей і самої системи. لغة المواصفات هي لغة شكلية في علم الحاسوب تستخدم أثناء تحليل الأنظمة وتحليل المتطلبات وتصميم الأنظمة لوصف نظام على مستوى أعلى بكثير من لغة البرمجة، والتي تستخدم لإنتاج التعليمات البرمجية القابلة للتنفيذ لنظام ما. Μια γλώσσα προδιαγραφών (specification language) είναι μια τυπική γλώσσα που χρησιμοποιείται στην επιστήμη των υπολογιστών.Σε αντίθεση με τις περισσότερες γλώσσες προγραμματισμού, οι οποίες είναι απευθείας εκτελέσιμες τυπικές γλώσσες που χρησιμοποιούνται για την υλοποίηση ενός συστήματος, οι γλώσσες προδιαγραφών χρησιμοποιούνται κυρίως κατά τη διάρκεια της (systems analysis), της (requirements analysis) και της (systems design). Οι γλώσσες προδιαγραφών γενικά δεν εκτελούνται κατευθείαν. Περιγράφουν ένα σύστημα σε αρκετά υψηλότερο επίπεδο σε σχέση με μια γλώσσα προγραμματισμού. Στην πραγματικότητα, θεωρείται λάθος αν μια προδιαγραφή απαιτήσεων περιλαμβάνει λεπτομέρειες της υλοποίησης που δε χρειάζονται, γιατί οι προδιαγραφές πρέπει να περιγράφουν τι και όχι πώς. Μια κοινή βασική παραδοχή πολλών προσεγγίσεων προδιαγραφής είναι ότι τα προγράμματα μοντελοποιούνται σαν αλγεβρικές ή μοντελο-θεωρητικές δομές που περιλαμβάνουν μια συλλογή από σύνολα τιμών δεδομένων μαζί με συναρτήσεις πάνω σε αυτά τα σύνολα. Αυτό το επίπεδο αφαίρεσης αντιστοιχεί στην άποψη ότι η ορθότητα της συμπεριφοράς εισόδου-εξόδου ενός προγράμματος είναι πιο σημαντική από τις υπόλοιπες ιδιότητές του. Στην προδιαγραφή με βάση τις ιδιότητες (property-oriented), η οποία για παράδειγμα ακολουθείται από την , οι προδιαγραφές των προγραμμάτων αποτελούνται κυρίως από λογικά αξιώματα, συνήθως σε ένα , στο οποίο η ισότητα έχει κυρίαρχο ρόλο. Με αυτόν τον τρόπο περιγράφονται οι ιδιότητες που πρέπει να ικανοποιούν οι συναρτήσεις - συχνά απλά μόνο μέσω των σχέσεων μεταξύ τους.Αυτό έρχεται σε αντίθεση με την αποκαλούμενη σε θεωρίες όπως η και ο (Z notation), που αποτελούνται από μια απλή εκδοχή της απαιτούμενης συμπεριφοράς. Οι προδιαγραφές μπορεί να υπόκεινται στη διαδικασία της εκλέπτυνσης (refinement), όπου συμπληρώνονται διαδοχικά οι λεπτομέρειες μέχρι το επίπεδο της υλοποίησης. Το αποτέλεσμα μιας τέτοιας διαδικασίας εκλέπτυνσης είναι ένας εκτελέσιμος αλγόριθμος, ο οποίος μπορεί να διατυπωθεί είτε σε μια γλώσσα προγραμματισμού, είτε στο εκτελέσιμο υποσύνολο της γλώσσας προδιαγραφής που ήδη χρησιμοποιείται. Για παράδειγμα, οι διοχετεύσεις Χάρτμαν (Hartmann pipelines), όταν εφαρμόζονται σωστά, μπορούν να θεωρηθούν προδιαγραφή ροής δεδομένων (dataflow), η οποία είναι άμεσα εκτελέσιμη. Ένα άλλο παράδειγμα είναι το , το οποίο δεν έχει καθόλου περιεχόμενο εφαρμογής και πρέπει να εξειδικεύεται για να μπορεί να εκτελεστεί. Μια σημαντική χρήση των γλωσσών προδιαγραφών είναι η δυνατότητα δημιουργίας μαθηματικών αποδείξεων , μέσω ενός (theorem prover). 仕様記述言語（しようきじゅつげんご）は、システムなどの仕様を記述する、コンピュータ言語（すなわち形式言語）である。形式的でない仕様記述もあるが（後述）、そういったものを含めて何らかの主張がされている場合もある。 プログラミング言語がシステムそのものに変換されるのに対し、仕様記述言語は必ずしもシステムに自動変換されるものではなく、あくまで仕様の妥当性を検証することに重きを置いている。ソフトウェア工学における一般的な設計プロセスの位置づけから、多くはプログラミング言語を記述する前段階に記述されることを期待している。 仕様記述と検証の方法について説明する。仕様記述では、何らかのシステムの仕様を論理学的あるいは代数学的に、形式的に記述する（形式仕様記述）。検証では、論理学や代数学に基づき（すなわち「機械的」に）、無矛盾性などといったシステムにおける「好ましい性質」の保証、あるいはデッドロックの可能性があるといった「好ましくない性質」の不存在を保証する（あるいは存在することを示し、修正を促す）。代表的な形式的仕様記述言語としてZ言語やなどがある。研究段階では長い歴史を持つが、記述が複雑で高度なスキルを要求する上、システム全体の仕様を全て表現するには膨大な量の記述が必要になる。

gold:hypernym

dbr:Language

prov:wasDerivedFrom

wikipedia-en:Specification_language?oldid=1071116758&ns=0

dbo:wikiPageLength

4634

foaf:isPrimaryTopicOf

wikipedia-en:Specification_language