| German |
| has gloss | deu: Eine formale Spezifikation ist die Beschreibung eines Computerprogramms mittels einer Notation, deren Semantik eindeutig definiert ist (einer sogenannten formalen Sprache). Ziel ist die formalisierte, präzise Beschreibung der zu lösenden Aufgabe in einem in sich konsistenten und geschlossenen Modell, um dieses weiterzuverarbeiten. |
| lexicalization | deu: Formale Spezifikation |
| Japanese |
| has gloss | jpn: 形式仕様記述（けいしきしようきじゅつ、Formal Specification）とは、ソフトウェアやハードウェアの実装を開発する際に使用される数学的記述。システムが何をすべきかを記述するものであり、どのように実装すべきかを記述する必要はない。そのような仕様を与えることにより、対象システムが仕様に照らして正しいかどうかを形式的検証技法で判定することが可能となる。システム設計の問題点を早期に検出することが可能となり、実装工程に移って多大な出費をした後の後戻りを防ぐという利点がある。他の手法として建築に使われている方法があり、仕様から設計、設計から実装へと段階的に検証可能なステップを踏んで詳細化させていく方法である。 |
| lexicalization | jpn: 形式仕様記述 |
| Lithuanian |
| has gloss | lit: Informatikoje formali specifikacija yra programinės įrangos ar techninės įrangos aprašymas, kuris gali būti naudojama analizei ir įgyvendinimui. Dažniausiai specifikacijoje nurodoma, ką sistema privalo atlikti, o ne kaip tai turi būti atliekama. Turint tokią specifikaciją, formalus verifikavimas leidžia patikrinti, ar planuojama realizacija atitinka reikalavimus. Tai leidžia aptikti sistemos projektavimo klaidas bei ankstyvoje programinės ar techninės įrangos kūrimo fazėje, dar prieš įgyvendinant sistemą. Tai turi privalumą, kadangi netinkami kūriamos sistemos projektai gali būti tikslinami iki sistemos įgyvendinimo. Taip pat galima transformuoti naudojant laipsniško tobulinimo metodiką, įrodant arba patikrinant kiekvieno tobulinimo žingsnio teisingumo, ir taip gaunant sistemą, kurios teisingumas yra įrodytas. |
| lexicalization | lit: formali specifikacija |
| Portuguese |
| has gloss | por: Uma especificação formal é uma descrição matemática de software ou de hardware que pode ser utilizada para desenvolver uma implementação dos mesmos. Descreve o que sistema deve fazer, e não (necessariamente) como o deve fazer. Dada uma especificação, é possível utilizar técnicas de verificação formal para demonstrar que o modelo de um sistema candidato está de acordo com a sua especificação. Isto tem a enorme vantagem de que sistemas candidatos incorrectos são detectados e podem ser revistos antes de se investir na sua implementação. Uma aproximação alternativa é utilizar passos de refinamento para transformar uma especificação num modelo completo, e por fim numa implementação concreta. |
| lexicalization | por: especificação formal |
| Russian |
| has gloss | rus: В информатике формальная спецификация — это математическое описание программной или аппаратной системы, которая может быть реализована в соответствии с этим описанием. Специфицируется, что должна делать система, но не то, как она должна это делать. Если существует спецификация системы, возможно применить методы формальной верификации, чтобы продемонстрировать, что система удовлетворяет (или будет удовлетворять) спецификации. Таким образом, можно проверить, будет ли конкретная спроектированная модель удовлетворять требованиям после реализации. Если верификация ПО исследует соответствие программы спецификации, то валидация исследует соответствие программы или спецификации требованиям пользователя. |
| lexicalization | rus: Формальная спецификация |
| Ukrainian |
| has gloss | ukr: Форма́льна специфіка́ція — математичне описання програмного забезпечення або обладнання, яке може бути використане для розробки реалізації. В ній описується, що має робити система, але не (обов'язково) вказується як. Маючи таку специфікацію, можна, використовуючи техніку формальної верифікації продемонструвати, що запропонований проект системи є правильним, по відношенню до специфікації. Такий підхід має перевагу в тому, що запропоновані невірні проекти систем можуть бути переглянуті до того як буде зроблено основні витрати на власне саму реалізацію. Альтернативний підхід полягає в тому, аби, виконуючи кроки по уточненню специфікації, вірність яких можна довести, перетворити специфікацію на реалізацію, яка буде вірною через побудову. |
| lexicalization | ukr: Специфікація формальна |