> Шифр: П004589/2022/13/4 Журнал 2022г. т.13 N 4 . - 4815.12, р. Шелехов, В. И. Автоматное программирование на базе системы моделирования и верификации Event-B / В. И. Шелехов. - С.155-167 Кл.слова: уточнение, требования, трансформации программ Годунов, А. Н. Конфигурируемая тестовая система для ОСРВ семейства Багет / А. Н. Годунов, И. И. Хоменков, В. Г. Щепков. - С.168-177 Кл.слова: тестирование, автоматизация программирования, языки программирования Евгенев, Г. Б. Российская технология индустрии 5.0 Метаонтология / Г. Б. Евгенев. - С.178-186 Кл.слова: производства цифровые, системы интегрированные, системы интеллектуальные Гайдамака, К. И. Применение методов машинного обучения без учителя для обеспечения непротиворечивости знаний / К. И. Гайдамака, А. Д. Белоногова. - С.187-199 Кл.слова: кластеризация, управление требованиями, инженерия требований Федотов, И. А. Автоматическая верификация многосторонних соглашений и планирование отправки сообщений в системах распределенного реестра / И. А. Федотов, А. С. Хританков, М. Д. Обидаре. - С.200-208 Кл.слова: консенсус, блокчейн, проверка моделей статистическая Имеются экземпляры в отделах: всего 1 : сбо (1) Свободны: сбо (1) |
Кондрашова, Е. В. Основные парадигмы толерантности в образовательной среде [Текст] : доклад / Е. В. Кондрашова, С. А. Томилова> // Современное образование: системы и практика обеспечения качества. - Томск : ТУСУР, 2011. - С. 188-189 Коды, Ключ.слова, Доп.точки доступа ![]() Полный текст/внешний ресурс (постраничный просмотр) : 2011_kondrashova_030611.pdf или скачать |