A hivatalos specifikáció
A számítástechnikában a formális specifikáció olyan szoftver vagy hardverrendszer matematikai leírása, amely e leírással összhangban megvalósítható. Meghatározza, hogy a rendszer mit kell tennie, de nem azt, hogy hogyan kell ezt tennie. Ha létezik a rendszer specifikációja, lehetőség van formális hitelesítési módszerek alkalmazására. Annak igazolására, hogy a rendszer megfelel (vagy kielégíti) a specifikációkat. Így lehet ellenőrizni, hogy egy adott tervezett modell megfelel-e a megvalósításra vonatkozó követelményeknek. Ha a szoftver-ellenőrzés megvizsgálja a specifikációs program megfelelőségét, akkor az érvényesítés megvizsgálja, hogy a program vagy a specifikáció megfelel-e a felhasználó követelményeinek.
Az információs technológiára vonatkozó cikk javítása kívánatos.
Tekintse meg, mi a "Formális specifikáció" más szótárakban:
Specifikáció - Specification (.. Pozdnelat specificatio, faj a latin nemzetség, faj, fajta és facio do) utalhat: meghatározás, és egy lista sajátosságait finomított besorolása bizonyos dolgokat; mérnöki kifejezés, ... ... Wikipedia
FORMÁLIS ISKOLA - egy nem hivatalos név az orosz irodalomkutatók és nyelvészek egy csoportjának, akik az 1910-es évek végén egyesültek. Szentpéterváron és Moszkvában általános módszertani okokból, és valójában az irodalmi kritikát világi jelentőségű tudományt készítették, miután elkészítettük ... ... Enciklopédia a Kulturális Tanulmányokról
Formális módszerek - Példa a formális specifikációra Z jelöléssel A számítástechnika és a szoftverfejlesztés területén a formális módszerek egy matematikai eszközön alapuló technikák csoportja ... Wikipedia
Az UML - egységesített modellezési nyelv az objektummodellezés grafikai leírása a szoftverfejlesztés területén. Az UML széles profilú nyelv, nyílt ... ... Wikipedia
Egységes modellezési nyelv - Az UML (egységesített modellezési nyelv) egy grafikus leírási nyelv az objektummodellezéshez a szoftverfejlesztés területén. Az UML széles profilú nyelv, nyílt szabvány ... Wikipedia
Grady Booch - Az UML (Unified Modeling Language Unified Modeling Language) az objektummodellezés grafikai leírása a szoftverfejlesztés területén. Az UML széles profilú nyelv, nyílt szabvány ... Wikipedia
CSV - Ez a kifejezés más jelentéssel bír, lásd: CSV (értékek). CSV vesszővel elválasztott értékek kiterjesztése .csv MIME szöveg / csv Formátum adatbázis-ábrázolás típusa szabvány (ok) RFC 4180 CSV (angolul ... Wikipedia
Közös Type System - (.. Rövid CTS, orosz Szabvány rendszer típusa) a .NET Framework, a hivatalos specifikáció, amely meghatározza, hogy miként, milyen vagy típus (osztály, interfész, szerkezet, beépített adattípus) meg kell határozni a megfelelő végrehajtás a .NET keretrendszer ... ... Wikipedia