Terms for subject Programming containing system functions

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