Сортировать по:
| Выпуск | Название | |
| Том 28, № 6 (2016) | Моделирование семейств программных систем | Аннотация PDF (Rus) похожие документы |
| Е. М. Лаврищева, А. К. Петренко | ||
| "... не отдельную систему, а цепочку и семейство программных систем или программных продуктов (Product Lines/Product ..." | ||
| Том 35, № 3 (2023) | Применение методов интеллектуального анализа процессов в ходе разработки семейства мобильных приложений | Аннотация похожие документы |
| Людмила Александровна РЕЗУНИК, Алиса Игоревна ПЕРЕВОЗНИКОВА, Дарья Валерьевна ЕРЕМИНА, Алексей Александрович МИЦЮК | ||
| "... , анализируются журналы событий приложений для платформ Android и iOS из одного и того же семейства программных ..." | ||
| Том 28, № 2 (2016) | Технология создания семейства приложений на основе анализа предметной области | Аннотация похожие документы |
| А. А. Гудошникова, Ю. В. Литвинов | ||
| "... Тема переиспользования кода при разработке программного обеспечения до сих пор актуальна. Иногда ..." | ||
| Том 29, № 5 (2017) | Проектирование моделей вариабельности для программных, операционных систем и их семейств | Аннотация похожие документы |
| Е. М. Лаврищева, В. С. Мутилин, А. Г. Рыжов | ||
| "... ПС, ОС и их семейств. Ключевые слова: модель вариабельности; программная система; семейство систем; конфигурация ..." | ||
| Том 37, № 6: часть 4. ноябрь-декабрь | Семейство операционных систем КЛОС | Аннотация PDF (Rus) похожие документы |
| Игорь Борисович БУРДОНОВ, Александр Сергеевич КОСАЧЕВ, Александр Константинович ПЕТРЕНКО, Алексей Владимирович ХОРОШИЛОВ, Виталий Юрьевич ЧЕПЦОВ | ||
| "... КЛОС – это технология и семейство встраиваемых операционных систем с поддержкой многоядерности ..." | ||
| Том 33, № 6 (2021) | Моделирование операционных, программных и технических систем в проектах РФФИ | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна ЛАВРИЩЕВА, Александр Константинович ПЕТРЕНКО | ||
| "... Рассмотрен широкий круг вопросов теории и практики разработки крупномасштабного программного ..." | ||
| Том 31, № 4 (2019) | Средства трассировки ОС РВ семейства «Багет» | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Годунов, Федор Николаевич Чемерев | ||
| "... . В настоящее время практически в каждой операционной системе реального времени (ОС РВ) имеются программные ..." | ||
| Том 30, № 5 (2018) | Метод анализа атак повторного использования кода | Аннотация PDF (Rus) похожие документы |
| А. В. Вишняков, А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, С. С. Гайсарян | ||
| "... Обеспечение безопасности программного обеспечения является на сегодняшний день одной ..." | ||
| Том 27, № 3 (2015) | Бесшовная разработка программного обеспечения: применимость на примере | Аннотация PDF (Rus) похожие документы |
| Александр Наумчев | ||
| "... В рамках традиционной программной инженерии требования и код развиваются в двух параллельных мирах ..." | ||
| Том 36, № 1 (2024) | Исследование вопросов учёта нагрузок в программно-конфигурируемых сетях | Аннотация PDF (Rus) похожие документы |
| Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ | ||
| "... и их корректировки в программно-конфигурируемых структурах, моделируемых взвешенным графом плоскости данных. В работе ..." | ||
| Том 30, № 6 (2018) | Принципы построения межведомственного центра коллективного пользования общего назначения в модели программно-определяемого ЦОД | Аннотация PDF (Rus) похожие документы |
| Б. М. Шабанов, О. И. Самоваров | ||
| "... один из подходов к созданию ЦОД - концепция программно-определяемой инфраструктуры. Программно ..." | ||
| Том 34, № 3 (2022) | Платформа мобильного обучения, ориентированная на мониторинг и настройку обучения: оценка удобства использования на основе лабораторного исследования | Аннотация похожие документы |
| Эрминио ДЕЛЬ АНХЕЛЬ-ФЛОРЕС, Эдуардо ЛОПЕС-ДОМИНГЕС, Есения ЭРНАНДЕС-ВЕЛАСКЕС, Сауль ДОМИНГЕС-ИСИДРО, Мария Ауксилио МЕДИНА-НИЭТО, Хорхе ДЕ ЛА КАЛЬЕХА | ||
| "... с точки зрения качества программного обеспечения является удобство использования; однако лишь в нескольких ..." | ||
| Том 30, № 2 (2018) | Алгоритм удаления невидимых поверхностей на основе программных проверок видимости | Аннотация PDF (Rus) похожие документы |
| В. И. Гонахчян | ||
| "... обрабатываемых объектов используются методы удаления невидимых поверхностей. В статье рассматривается семейство ..." | ||
| Том 28, № 3 (2016) | Верификация и анализ вариабельных операционных систем | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко | ||
| "... interest are related with conditional compilation as variability mechanism widely used in system software ..." | ||
| Том 32, № 6 (2020) | Мониторинг и тестирование на основе многоуровневых спецификаций программ | Аннотация PDF (Rus) похожие документы |
| Александр Константинович ПЕТРЕНКО, Денис Валентинович ЕФРЕМОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ | ||
| "... при формальной верификации. На практике такие модели в крупных программных системах являются ..." | ||
| Том 35, № 3 (2023) | Отладчик декларативного DSL для разработки телекоммуникационных систем | Аннотация похожие документы |
| Тарас Михайлович СКАЖЕНИК, Дмитрий Владимирович КОЗНОВ | ||
| "... данному семейству продуктов. В предлагаемой статье описывается отладчик для предметно-ориентированного ..." | ||
| Том 33, № 5 (2021) | Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Владимир Юрьевич ТЕЛЕЖНИКОВ, Алексей Владимирович ХОРОШИЛОВ | ||
| "... Разработка безопасного системного программного обеспечения (ПО), на основе которого строятся ..." | ||
| Том 31, № 3 (2019) | Исследование подходов к реализации конвейера инструкций в рамках потактово-точного симулятора микропроцессоров “Эльбрус” | Аннотация похожие документы |
| Павел Алексеевич Порошин, Алексей Николаевич Мешков | ||
| "... Программное моделирование играют важную роль в цикле разработки процессоров, так как они ..." | ||
| Том 30, № 3 (2018) | Извлечение архитектурной информации из исходного кода ARINC 653 совместимых приложений с использованием алгоритма CEGAR | Аннотация похожие документы |
| С. Л. Лесовой | ||
| "... ARINC 653 совместимых программных приложений. Спецификация ARINC 653 определяет требования к программным ..." | ||
| Том 23 (2012) | Разработка тестового набора для верификации реализаций протокола безопасности TLS | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... автоматического тестирования UniTESK и программный пакет JavaTESK, реализующий эту технологию. Работа выполнялась ..." | ||
| Том 37, № 2: март-апрель | Проектирование и развитие механизма мандатного контроля целостности в операционной системе Astra Linux | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Алексей Александрович СТАРОСТИН, Денис Сергеевич ПАНОВ, Семен Владимирович УСАЧЕВ | ||
| "... уязвимостей программного обеспечения (ПО) ОС семейства Linux, в том числе приводящих к атакам нарушителя ..." | ||
| Том 27, № 1 (2015) | Обзор методов извлечения моделей из HDL-описаний | Аннотация PDF (Rus) похожие документы |
| С. А. Смолов | ||
| "... , разработанных на языках семейства HDL (Hardware Description Language). Методы извлечения моделей используются ..." | ||
| Том 33, № 5 (2021) | Динамический анализ IoT-систем на основе полносистемной эмуляции в QEMU | Аннотация PDF (Rus) похожие документы |
| Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ | ||
| "... устройств. Существенная часть таких устройств работает под управлением операционных систем (ОС) семейства ..." | ||
| Том 32, № 5 (2020) | Модельный подход к обеспечению безопасности и надежности Web-сервисов | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна ЛАВРИЩЕВА, Сергей Вадимович ЗЕЛЕНОВ | ||
| "... . Рассмотрены аспекты моделирования программно-технических систем (ПТС) из сервисных ресурсов и готовых КПИ ..." | ||
| Том 34, № 2 (2022) | Алгоритм генерации тестов из функциональной спецификации с использованием модели Open IE и кластеризации | Аннотация похожие документы |
| Кирилл Сергеевич КОБЫШЕВ, Сергей Александрович МОЛОДЯКОВ | ||
| "... в долгосрочных проектах разработки программного обеспечения. Согласно подходу к разработке тестов, каждый ..." | ||
| Том 38, № 3: часть 1. май-июнь | Подход к применению мандатного контроля целостности в ОС Astra Linux для управления доступом к пользовательским данным | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Вадим Владимирович ГОРБАТОВ, Арсений Александрович ТРУБНИКОВ | ||
| "... ОС, например, семейства Microsoft Windows или IBM AIX, традиционно применяется для защиты системного ..." | ||
| Том 27, № 4 (2015) | Библиотека ограничений для спецификации индустриальных моделей данных | Аннотация PDF (Rus) похожие документы |
| С. В. Морозов, Д. В. Ильин, В. А. Семенов, О. А. Тарлапан | ||
| "... В статье проводится анализ спецификаций индустриально значимого семейства объектно-ориентированных ..." | ||
| Том 33, № 5 (2021) | Формальные правила продукции объектной нотации для данных, определяемых EXPRESS схемой | Аннотация PDF (Rus) похожие документы |
| Виталий Адольфович СЕМЕНОВ, Семен Васильевич АРИШИН, Георгий Витальевич СЕМЕНОВ | ||
| "... разработано и используется специальное семейство стандартов STEP (ISO 10303). Частью этого семейства является ..." | ||
| Том 34, № 4 (2022) | Большие трансформеры для генерации кода | Аннотация похожие документы |
| Герман Аренович АРУТЮНОВ, Сергей Михайлович АВДОШИН | ||
| "... Индустрия разработки программного обеспечения развивается стремительными темпами. Непрерывно ..." | ||
| Том 35, № 5 (2023) | Результаты переработки уровней ролевого управления доступом и мандатного контроля целостности формальной модели управления доступом ОС Astra Linux | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН | ||
| "... Механизм управления доступом является базовым для обеспечения безопасности системного программного ..." | ||
| Том 35, № 5 (2023) | Исследование возможности идентификации веб-сайтов, посещаемых пользователем, на основе HTTP/2 трафика | Аннотация PDF (Rus) похожие документы |
| Александр Игоревич ГЕТЬМАН, Иван Александрович СТЕПАНОВ | ||
| "... её реализации используется семейство протоколов SSL/TLS, которые, однако, в полной мере не скрывают ..." | ||
| Том 32, № 2 (2020) | Реализация подсистемы памяти в рамках потактово-точного симулятора уровня приложений микропроцессоров архитектуры «Эльбрус» | Аннотация похожие документы |
| Павел Алексеевич ПОРОШИН, Дмитрий Валерьевич ЗНАМЕНСКИЙ, Алексей Николаевич МЕШКОВ | ||
| "... памяти. Таким образом, программная модель подсистемы памяти является ключевым компонентом потактово ..." | ||
| Том 37, № 6: часть 2. ноябрь-декабрь | Тестирование подсистемы безопасности ОС Astra Linux на основе формализованного описания модели управления доступом | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Сергей Сергеевич ЖИЛЯКОВ, Александр Игоревич СМИРНОВ | ||
| "... . Влияет на проблему необходимость выполнения процессов разработки безопасного программного обеспечения ..." | ||
| Том 37, № 4: часть 1. июль-август | Применение компьютерного зрения для локализации позвонков на срединных сагиттальных срезах компьютерной томографии | Аннотация PDF (Rus) похожие документы |
| Анастасия Романовна ТЕПЛЯКОВА, Роман Владимирович ШЕРШНЕВ | ||
| "... модели мультиклассовой сегментации, имеющей архитектуру семейства U-Net, и методов компьютерного зрения ..." | ||
| Том 36, № 3 (2024) | О разработке проекта национального стандарта ГОСТ Р «Защита информации. Формальная модель управления доступом. Часть 3. Рекомендации по разработке» | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН | ||
| "... системным программным обеспечением, например, операционной системой (ОС) или системой управления базами ..." | ||
| Том 31, № 3 (2019) | Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров | Аннотация похожие документы |
| Павел Викторович Фролов | ||
| "... специального программного интерфейса. Функции этого программного интерфейса реализуются в стандартной ..." | ||
| 1 - 36 из 36 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
