În domeniul informaticii, o specificare formală este o descriere matematică a unui sistem software sau hardware care poate fi implementat în conformitate cu această descriere. Specifică ce ar trebui să facă sistemul, dar nu cum ar trebui să facă acest lucru. Dacă există o specificație a sistemului, este posibil să se aplice metode de verificare formală. Pentru a demonstra că sistemul îndeplinește (sau va satisface) specificațiile. Astfel, este posibil să se verifice dacă un anumit model proiectat va îndeplini cerințele după implementare. Dacă verificarea software-ului examinează conformitatea unui program de specificații, atunci validarea examinează conformitatea programului sau a specificațiilor cu cerințele utilizatorului.
Este de dorit îmbunătățirea acestui articol privind tehnologia informației.
Vezi ce este "Specificația oficială" în alte dicționare:
Specificație - specificația (specificarea latină târzie, din genul speciilor latine, specie, specie și facio do) poate însemna: definiția și lista caracteristicilor specifice, clasificarea rafinată a ceva; termen tehnic, ... ... Wikipedia
Formală școală - numele informal al unui grup de lingviști ruși și literaților, uniți în sfârșitul anilor 1910. în Sankt Petersburg și Moscova pe o bază metodologică comună și, de fapt, a făcut științei literare de importanță globală, pregătirea ... ... Enciclopedia de Studii Culturale
Metode formale - specificație formală Exemplu folosind Z notație în știință și inginerie software metode formale este un grup de metode bazate pe formalismul matematic pentru ... Wikipedia
UML - limbajul unificat de modelare este un limbaj descriptiv grafic pentru modelarea obiectului în domeniul dezvoltării de software. UML este o limbă cu un profil larg, este deschis ... ... Wikipedia
Limbaj unificat de modelare - UML (Language Unified Modeling) este un limbaj de descriere grafică pentru modelarea obiectului în domeniul dezvoltării de software. UML este o limbă cu un profil larg, este un standard deschis ... Wikipedia
Grady Booch - UML (Unified Modeling Language Unified Modeling Language) este un limbaj de descriere grafică pentru modelarea obiectelor în domeniul dezvoltării de software. UML este o limbă cu un profil larg, este un standard deschis ... Wikipedia
CSV - Acest termen are alte semnificații, vedeți CSV (valori). CSV Extluziile valorii separate de comenzi .csv MIME text / csv Tipul reprezentării bazei de date Format RFC 4180 CSV (din engleză ... Wikipedia
Comun tip de sistem - (.. Scurt CTS, rusă tipuri de sistem standard) ale .NET Framework, o specificație formală care definește modul în care sau tip (clasa, interfata, structura, built-in de tip de date) trebuie să fie definite pentru punerea sa în aplicare corespunzătoare a cadrului .NET ... ... Wikipedia