набір тверджень, які потрібно повідомити замовнику

твердження про обмеження системи

специфікація того, як повинно бути реалізовано

специфікація того, що повинно бути реалізовано

твердження про функції системи