В інформатиці формальна специфікація - це математичний опис програмної або апаратної системи, яка може бути реалізована в відповідно до цього опису. Специфицируется, що повинна робити система, але не те, як вона повинна це робити. Якщо існує специфікація системи, можливо застосувати методи формальної верифікації. щоб продемонструвати, що система задовольняє (або буде задовольняти) специфікації. Таким чином, можна перевірити, чи буде конкретна спроектована модель задовольняти вимогам після реалізації. Якщо верифікація ПО досліджує відповідність програми специфікації, то валідація досліджує відповідність програми або специфікації вимогам користувача.
Для поліпшення цієї статті з інформаційних технологій бажано.
Дивитися що таке "Формальна специфікація" в інших словниках:
Специфікація - Специфікація (позднелат. Specificatio, від лат. Species рід, вид, різновид та facio роблять) може означати: визначення і перелік специфічних особливостей, уточнена класифікація чого небудь; інженерний термін, ... ... Вікіпедія
Формальної школи - неофіційна назва групи російських літературознавців і лінгвістів, які об'єдналися наприкінці 1910 х рр. в Петербурзі і Москві на загальних методологічних підставах і, по суті, зробили з літературознавства науку світового значення, підготувавши ... ... Енциклопедія культурології
Формальні методи - Приклад формальної специфікації з використанням Z нотації В інформатиці та інженерії програмного забезпечення формальними методами називається група технік, заснованих на математичному апараті для ... Вікіпедія
UML - (англ. Unified Modeling Language уніфікована мова моделювання) мова графічного опису для об'єктного моделювання в області розробки програмного забезпечення. UML є мовою широкого профілю, це відкритий ... ... Вікіпедія
Unified Modeling Language - UML (скор. Від англ. Unified Modeling Language уніфікована мова моделювання) мова графічного опису для об'єктного моделювання в області розробки програмного забезпечення. UML є мовою широкого профілю, це відкритий стандарт ... Вікіпедія
Граді Буч - UML (скор. Від англ. Unified Modeling Language уніфікована мова моделювання) мова графічного опису для об'єктного моделювання в області розробки програмного забезпечення. UML є мовою широкого профілю, це відкритий стандарт ... Вікіпедія
CSV - Цей термін має також інші значення див. CSV (значення). CSV Comma Separated Values Розширення .csv MIME text / csv Тип формату представлення бази даних Стандарт (и) RFC 4180 CSV (від англ ... Вікіпедія
Common Type System - (скор. CTS, рус. Стандартна система типів) частина .NET Framework, формальна специфікація, що визначає, як будь-якої тип (клас, інтерфейс, структура, вбудований тип даних) повинен бути визначений для його правильного виконання середовищем .NET . ... ... Вікіпедія