| 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-exclusion introduced | комбинаторный принцип сложения (ssn) |
| inclusion of a software system in an enterprise information system | включение системы ПО в информационную систему предприятия (ssn) |
| inclusion of multimedia data | введение данных мультимедиа (в СУБД ssn) |
| inclusion polymorphism | полиморфизм включения (Alex_Odeychuk) |
| inclusion use case | абстрактный прецедент (ssn) |
| inclusion use case | включаемый прецедент (является абстрактным в том смысле, что не может исполняться независимо, а лишь в составе конкретного прецедента ssn) |
| 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) |
| live code inclusion | вставка рабочего кода (Alex_Odeychuk) |
| multiple inclusion | множественное включение (ssn) |
| multiple inclusion of header files | множественное включение подключаемых файлов (ssn) |
| testing inclusion | проверка включения (ssn) |
| testing inclusion between timed omega automata | проверка включения временных омега-автоматов (ssn) |
