В компютърните науки, официална спецификация - е математическо описание на системата за хардуер или софтуер, който може да се осъществява в съответствие с това описание. Тя уточнява, че системата трябва да се направи, но не и как трябва да го направя. Ако има спецификация система, то е възможно да се използват формални техники за проверка. да докаже, че системата отговаря (или ще се срещне) спецификация. Така, че е възможно да се провери дали даден модел е проектиран да отговаря на изискванията, след прилагане. Ако проверката на софтуера разглежда съвместимостта със спецификациите на програмата, валидирането разглежда спецификацията на програма за съответствие или на изискванията на потребителите.
За да се подобри тази статия за информационни технологии е желателно.
Вижте какво е "официалната спецификация" в други речници:
Спецификация - Спецификация (.. Pozdnelat Specificatio, видове от латинската род, вид, сорт и Правя се) може да се отнасят до: определение, както и списък на специфичните особености на рафинирано класирането на определени неща; инженерен план ... ... Wikipedia
Официално училище - неформалната името на група български литературоведи и езиковеди, обединени в края на 1910-те години. в Санкт Петербург и Москва на обща методологична основа, а в действителност, изработен от литературознание от световно значение, подготовка ... ... Енциклопедия Културология
Формални методи - пример официална спецификация използване Z нотация в науката и техниката софтуерни формални методи е група от методи, базирани на математически апарат за ... Wikipedia
UML - (английски Unified Modeling Language Unified Modeling Language.) Език за описание графично моделиране обект в разработката на софтуер. UML е език общообразователни, е отворен ... ... Wikipedia
Unified Modeling Language - UML (съкратено от английското Unified Modeling Language Unified Modeling Language ..) Език за описание графично моделиране обект в разработката на софтуер. UML е език общообразователни, е отворен стандарт ... Wikipedia
Грейди Booch - UML (съкратено от английското Unified Modeling Language Unified Modeling Language ..) Език за описание графично моделиране обект в разработката на софтуер. UML е език общообразователни, е отворен стандарт ... Wikipedia
CSV - Този термин, има и други приложения, вижте CSV (стойности) .. CSV отделени със запетая стойности Extension .csv MIME текст / CSV формат тип представяне на стандарта на базата данни (и) RFC 4180 на CSV (от английски Уикипедия ...
Общата Type System - (.. Short на CTS, руски Стандартни типове система) на рамката .NET, официална спецификация, която определя как какво или тип (клас, интерфейс, структура, вграден тип данни) трябва да бъде определен за неговото правилно прилагане на рамката на .NET . ... ... Wikipedia
Свързани статии