Terms for subject Programming containing external system functions as stated in the external specifications

English	Russian
external system functions as stated in the external specifications	внешнее поведение системы, определённое внешними спецификациями (ssn)
verification of the external system functions as stated in the external specifications	контроль внешнего поведения системы, определённого внешними спецификациями (ssn)