Terms for subject Programming containing Program Specification

English	Russian
analysis, specification and description of sequential programs	анализ, спецификация и описание последовательных программ (ssn)
meet a formal specification of the program's required behavior.	соответствовать формальной спецификации требуемого поведения программы (корпорации AdaCore Alex_Odeychuk)
program language specification	спецификация языка программирования (ssn)