Terms for subject Programming containing inclusions

English	Russian
algorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automata	алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов (ssn)
algorithms for testing inclusion between timed omega automata	алгоритмы проверки включения временных омега-автоматов (ssn)
be considered for inclusion in	рассматриваться на предмет включения в (язык программирования Alex_Odeychuk)
example of an inclusion use case and include relationships	пример включаемого абстрактного прецедента и отношений включения (См. Software Modeling and Design by Hassan Gomaa, а тж. Designing Concurrent, Distributed, and Real-time Applications with UML (Object Technology Series) by Hassan Gomaa ssn)
generic rules of inclusion	общие правила включения (в предметную область ssn)
inclusion of a software system in an enterprise information system	включение системы ПО в информационную систему предприятия (ssn)
inclusion of multimedia data	введение данных мультимедиа (в СУБД ssn)
inclusion polymorphism	полиморфизм включения (Alex_Odeychuk)
live code inclusion	вставка рабочего кода (Alex_Odeychuk)
multiple inclusion	множественное включение (ssn)
multiple inclusion of header files	множественное включение подключаемых файлов (ssn)
number of proper inclusions	количество собственных включений (ssn)
number of proper inclusions between the state sets	количество собственных включений между множествами состояний (ssn)
proper inclusions	собственные включения (ssn)
testing inclusion	проверка включения (ssn)
testing inclusion between timed omega automata	проверка включения временных омега-автоматов (ssn)