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

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

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