functional specification Способ спецификации, при котором для каждого действия, выполняемого программой или ее модулем, описывается соответствующее преобразование входных параметров в выходные. Спецификации в такой форме практически представляют собой скелет программы.