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