Чем отличается функциональная спецификация от формальной?

Функциональная спецификация — это документ, который определяет функции и технические решения для компьютеризированной системы. pharmsolution.org Он содержит точное и подробное описание того, каким образом система удовлетворяет основным требованиям и внешним интерфейсам. sudact.ru

Формальная спецификация — это набор требований, означающих правильность функционирования системы и записанных на формальном языке. mk.cs.msu.ru Она позволяет систематизировать функциональное тестирование, строго описывая требования как на входные данные, так и на ожидаемые результаты. www.researchgate.net

Таким образом, основное отличие в том, что функциональная спецификация описывает, что и как будет делать система, а формальная спецификация — это набор требований, означающих правильность функционирования системы и представленных в форме, допускающей автоматическую обработку. mk.cs.msu.ru citforum.ru