Сортировать по:
| Выпуск | Название | |
| Том 33, № 6 (2021) | Моделирование операционных, программных и технических систем в проектах РФФИ | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна ЛАВРИЩЕВА, Александр Константинович ПЕТРЕНКО | ||
| "... обеспечения и гибридных программно-аппаратных систем, в том числе операционных систем. Затрагиваются вопросы ..." | ||
| Том 28, № 6 (2016) | Моделирование семейств программных систем | Аннотация PDF (Rus) похожие документы |
| Е. М. Лаврищева, А. К. Петренко | ||
| "... не отдельную систему, а цепочку и семейство программных систем или программных продуктов (Product Lines/Product ..." | ||
| Том 30, № 5 (2018) | Информатика: становление программного обеспечения и технологий программных систем | Аннотация PDF (Rus) похожие документы |
| Е. М. Лаврищева, А. К. Петренко | ||
| "... обеспечения, в том числе системных и прикладных программных систем, начиная от периода появления первых ЭВМ ..." | ||
| Том 36, № 5 (2024) | Конструирование программных систем, нацеленное на обеспечение безопасности | Аннотация PDF (Rus) похожие документы |
| Виктор Вячеславович КУЛЯМИН, Александр Константинович ПЕТРЕНКО, Екатерина Александровна РУДИНА | ||
| "... надежности и безопасности программных систем, занимающий среди них достаточно важное место. Он развивается ..." | ||
| Том 29, № 4 (2017) | Cтохастические методы анализа комплексных программно-аппаратных систем | Аннотация похожие документы |
| А. А. Карнов, С. В. Зеленов | ||
| "... В данной работе рассматривается марковский анализ моделей комплексных программно-аппаратных систем ..." | ||
| Том 31, № 5 (2019) | Методы оценки надежности программных и технических систем | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна Лаврищева, Сергей Вадимович Зеленов, Николай Витальевич Пакулин | ||
| "... размерам программных компонентов программно-технических систем и приводится оценка результатов измерения ..." | ||
| Том 29, № 5 (2017) | Моделирование программно-аппаратных систем и анализ их безопасности | Аннотация PDF (Rus) похожие документы |
| С. В. Зеленов, С. А. Зеленова | ||
| "... В данной статье демонстрируется целесообразность применения языка моделирования программно ..." | ||
| Том 29, № 5 (2017) | Проектирование моделей вариабельности для программных, операционных систем и их семейств | Аннотация похожие документы |
| Е. М. Лаврищева, В. С. Мутилин, А. Г. Рыжов | ||
| "... определению МХ и созданию на их основе вариантов программных систем (ПС), операционных систем ..." | ||
| Том 32, № 2 (2020) | Анализ российского программного обеспечения для поддержки жизненного цикла разработки бортовых систем в условиях политики импортозамещения | Аннотация похожие документы |
| Наталья Кирилловна ГОРЕЛИЦ, Александра Сергеевна ГУКОВА, Дмитрий Владимирович КРАСНОЩЕКОВ | ||
| "... сформулировать рекомендации по направлениям разработки и доработки программного обеспечения и систем. Анализ ..." | ||
| Том 29, № 2 (2017) | Возможности статической верификации монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... , безопасности, надежности и производительности. Те подходы к обеспечению качества программных систем, которые ..." | ||
| Том 29, № 5 (2017) | Техника плоских схем для тестирования встроенных операционных систем | Аннотация похожие документы |
| В. В. Никифоров, С. Н. Баранов | ||
| "... автоматического оборудования поддерживается рядом различных встроенных программных приложений, которые выполняются ..." | ||
| Том 27, № 5 (2015) | Об интеграции формальных методов в задачах верификации операционных систем | Аннотация PDF (Rus) похожие документы |
| А. К. Петренко, В. В. Кулямин, А. В. Хорошилов | ||
| "... В данной работе ставится задача разработки методов качественной верификации операционных систем ..." | ||
| Том 21 (2011) | Риски проектирования и производства мобильных программных продуктов | Аннотация PDF (Rus) похожие документы |
| В. В. Липаев | ||
| "... рисков комплексов программ и систем. Обсуждается подготовка исходных данных для анализа, прогнозирования ..." | ||
| Том 34, № 5 (2022) | Практика и перспективы применения открытых и собственных программных решений в маршруте верификации систем на кристалле | Аннотация PDF (Rus) похожие документы |
| Антон Витальевич ГАРАЩЕНКО, Дарья Сергеевна ЛАШИНА, Святослав Александрович НИКИТИН, Артём Валерьевич НИКОЛАЕВ, Евгений Андреевич ПРОКОПЬЕВ, Федор Михайлович ПУТРЯ, Булат Намсараевич ЦЫРЕНЖАПОВ | ||
| Том 29, № 4 (2017) | Статическая верификация конфигураций ядра Linux | Аннотация похожие документы |
| С. В. Козин, В. С. Мутилин | ||
| "... создания продуктовых линеек программного обеспечения. Сегодня это одна из наиболее сложных программных ..." | ||
| Том 30, № 4 (2018) | Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности | Аннотация похожие документы |
| Н. К. Горелиц, А. С. Гукова, Е. В. Песков | ||
| "... поддержать и обеспечить сертифицируемость разработки критичных по безопасности сложных систем в соответствии ..." | ||
| Том 29, № 6 (2017) | Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, Е. М. Новиков | ||
| "... систем. Данный метод был реализован в системе статической верификации Klever и применен для проверки ..." | ||
| Том 29, № 3 (2017) | Объектно-ориентированный каркас для программной реализации приложений теории расписаний | Аннотация PDF (Rus) похожие документы |
| А. С. Аничкин, В. А. Семенов | ||
| "... Статья адресована вопросам программной реализации моделей, методов и приложений теории расписаний ..." | ||
| Том 33, № 5 (2021) | Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Владимир Юрьевич ТЕЛЕЖНИКОВ, Алексей Владимирович ХОРОШИЛОВ | ||
| "... Разработка безопасного системного программного обеспечения (ПО), на основе которого строятся ..." | ||
| Том 26, № 1 (2014) | Методы и программные средства, поддерживающие комбинированный анализ бинарного кода | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко | ||
| "... и привязки к определенным версиям операционных систем. Подход состоит из сбора детальной трассы выполнения ..." | ||
| Том 38, № 3: часть 4. май-июнь | Программная реализация метода каскадного расчёта тяги гребных винтов | Аннотация похожие документы |
| Артем Дмитриевич СУХОВ, Александр Георгиевич ПЕТРОВ | ||
| "... Представлена программная реализация многоуровневого метода расчёта силовых характеристик гребных ..." | ||
| Том 30, № 5 (2018) | Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем | Аннотация PDF (Rus) похожие документы |
| А. В. Самонов, Г. Н. Самонова | ||
| "... программно-технических систем (СПТС) посредством реализации программно-управляемого процесса разработки ..." | ||
| Том 35, № 6 (2023) | Оценки сложности программного обеспечения на основе косвенных связей | Аннотация PDF (Rus) похожие документы |
| Хосе НАВАС-СУ, Антонио ГОНСАЛЕС-ТОРРЕС | ||
| "... Разработка программного обеспечения может быть длительным и дорогостоящим процессом, требующим ..." | ||
| Том 26, № 2 (2014) | Конфигурируемая система статической верификации модулей ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов | ||
| "... и производительности программную систему. Качество ядра современных ОС уже находится на достаточно высоком уровне ..." | ||
| Том 35, № 1 (2023) | Систематический обзор литературы по стандарту ISO/IEC 29110 и образованию в области программной инженерии | Аннотация похожие документы |
| Луис ВИВЕС, Карин МЕЛЕНДЕC, Авраам ДАВИЛА | ||
| "... 29110 состоит из профилей жизненного цикла разработки систем и программного обеспечения, ориентированных ..." | ||
| Том 34, № 1 (2022) | Оценка уровня защищенности недоверенного программного обеспечения на основе технологии TrustZone | Аннотация похожие документы |
| Дмитрий Олегович МАРКИН, Сергей Михайлович МАКЕЕВ, Чунг Тхай ХО | ||
| "... программным обеспечением, состоящим из компонентов технологии TrustZone. Представлены результаты анализа ..." | ||
| Том 28, № 2 (2016) | Практический опыт реализации подходов программной и системной инженерии для управления требованиями при разработке программного обеспечения в авиационной отрасли | Аннотация похожие документы |
| И. В. Ковернинский, А. В. Кан, В. Б. Волков, Ю. С. Попов, Н. К. Горелиц | ||
| "... к использованию процессов программной и системной инженерии при создании сложных систем в целом и воздушных судов ..." | ||
| Том 32, № 1 (2020) | Технологии автоматического тестирования программных комплексов реалистичной компьютерной графики | Аннотация PDF (Rus) похожие документы |
| Евгений Юрьевич Денисов, Алексей Геннадьевич Волобой, Елисей Дмитриевич Бирюков, Михаил Сергеевич Копылов, Ирина Александровна Калугина | ||
| "... В статье описаны технологии автоматического тестирования программного обеспечения применительно ..." | ||
| Том 34, № 1 (2022) | Прослеживаемость требований как основа проектирования функционально-логической архитектуры программной системы | Аннотация похожие документы |
| Борис Аронович ПОЗИН, Григорий Наумович ЦИПЕРМАН | ||
| "... прослеживаемость требований от уровня бизнес-процесса к функциональной и логической архитектурам систем, к выбору ..." | ||
| Том 37, № 3: май-июнь | Тестирование в жизненном цикле автоматизированных систем | Аннотация PDF (Rus) похожие документы |
| Борис Аронович ПОЗИН | ||
| "... Тестирование ПО автоматизированных систем на разных стадиях их жизненного цикла отличается ..." | ||
| Том 31, № 5 (2019) | Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов» | Аннотация PDF (Rus) похожие документы |
| Александр Валерьянович Самонов | ||
| "... Представлены методы и средства реализации программно-управляемого процесса разработки ..." | ||
| Том 35, № 4 (2023) | Технология синтеза программных комплексов с гибридной визуализацией Vulkan-OpenGL | Аннотация PDF (Rus) похожие документы |
| Петр Юрьевич ТИМОХИН, Михаил Васильевич МИХАЙЛЮК | ||
| "... с помощью API Vulkan, в программные комплексы, основанные на API OpenGL. Описывается низкоуровневый ..." | ||
| Том 33, № 5 (2021) | Численное исследование микроклимата помещения с использованием СПО | Аннотация PDF (Rus) похожие документы |
| Анна Александровна ЦЫНАЕВА, Екатерина Александровна ЦЫНАЕВА | ||
| "... является актуальной задачей, поскольку эффективное проектирование систем «умный дом» предполагает ..." | ||
| Том 36, № 5 (2024) | Эффективность систем одинаково распределенных конкурирующих процессов при неограниченном и ограниченном параллелизме | Аннотация PDF (Rus) похожие документы |
| Павел Александрович ПАВЛОВ | ||
| "... В статье с учетом ограниченного числа копий структурированного программного ресурса проведен ..." | ||
| Том 35, № 2 (2023) | Разработка подхода к сквозному тестированию приложения для управления конфигурацией виртуальной инфраструктуры предприятия | Аннотация похожие документы |
| Евгений Вадимович ГЕРАСЬКИН, Никита Владимирович ВОИНОВ | ||
| "... инфраструктуры предприятия. Основная идея заключается в разработке программной среды для создания и выполнения ..." | ||
| Том 29, № 5 (2017) | Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса | Аннотация PDF (Rus) похожие документы |
| А. С. Аничкин, С. В. Морозов, В. А. Семенов, О. А. Тарлапан | ||
| "... проектов на основе объектно-ориентированного каркаса. Используемый каркас представляет собой систему ..." | ||
| Том 29, № 2 (2017) | Развитие ядра операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... различных методов и инструментов обеспечения качества программных систем. ..." | ||
| Том 29, № 6 (2017) | Построение предикатов безопасности для некоторых типов программных дефектов | Аннотация PDF (Rus) похожие документы |
| А. Н. Федотов, В. В. Каушан, С. С. Гайсарян, Ш. Ф. Курмангалеев | ||
| "... систему уравнений, можно получить набор входных данных, приводящий программу к выполнению кода. В работе ..." | ||
| Том 32, № 6 (2020) | Мониторинг и тестирование на основе многоуровневых спецификаций программ | Аннотация PDF (Rus) похожие документы |
| Александр Константинович ПЕТРЕНКО, Денис Валентинович ЕФРЕМОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ | ||
| "... на основе формальных моделей и при мониторинге систем с целью проверки соответствия поведения системы ..." | ||
| Том 37, № 4: часть 2. июль-август | Использование программно-определяемых счетчиков для построения модели оптимального энергопотребления графического процессора | Аннотация похожие документы |
| Алексей Николаевич ГУЛИН, Сергей Михайлович СТАРОЛЕТОВ | ||
| "... разработке компьютерных систем. Наряду с CPU, GPU являются мощными вычислительными устройствами ..." | ||
| Том 31, № 5 (2019) | Анализ корректности синхронизации компонентов ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| Павел Сергеевич Андрианов | ||
| "... программное обеспечение. Целью работы была разработка инструмента, который станет золотой серединой между ..." | ||
| Том 28, № 2 (2016) | Подход к обнаружению анти-паттернов в сервис-ориентированных системах | Аннотация похожие документы |
| А. С. Югов | ||
| "... -ориентированном подходе к анализу программных систем. ..." | ||
| Том 35, № 5 (2023) | Разработка доверенных средств проектирования ИС в базисе гетерогенных ПЛИС | Аннотация PDF (Rus) похожие документы |
| Сергей Витальевич ГАВРИЛОВ, Даниил Александрович ЖЕЛЕЗНИКОВ, Мария Андреевна ЗАПЛЕТИНА, Иван Викторович ТИУНОВ, Василий Михайлович ХВАТОВ, Рустам Жамболатович ЧОЧАЕВ, Дмитрий Борисович ШОКАРЕВ | ||
| "... , основанный на использовании программных средств с открытым исходным кодом совместно с собственными ..." | ||
| Том 29, № 5 (2017) | Исследование атак типа «Cross-Site Request Forgery» в рамках проведения анализа уязвимостей веб-приложений | Аннотация похожие документы |
| А. В. Барабанов, А. И. Лавров, А. С. Марков, И. А. Полотнянщиков, В. Л. Цирлов | ||
| "... , с одной стороны, активно используются при реализации современных информационных систем, в том числе ..." | ||
| Том 34, № 6 (2022) | Математические и программные модели задач технического зрения робототехнических комплексов на основе микропроцессоров “Эльбрус” | Аннотация PDF (Rus) похожие документы |
| Никита Алексеевич БОЧАРОВ, Николай Борисович ПАРАМОНОВ, Олег Анатольевич СЛАВИН, Константин Александрович СУМИНОВ | ||
| "... Создание новых поколений автономных робототехнических комплексов, систем распознавания и систем ..." | ||
| Том 26, № 1 (2014) | Развитие подхода к разработке тестов UniTESK | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин, А. К. Петренко | ||
| "... по разработке тестов для промышленных программных и аппаратных систем, включающих телекоммуникационные протоколы ..." | ||
| Том 31, № 5 (2019) | DOOR: Подход к реструктуризации распределенных объектно-ориентированных систем на основе нейронных сетей | Аннотация PDF (Rus) похожие документы |
| Ахмед Хан | ||
| "... Для развития распространенных программных систем инженерами и дизайнерами в настоящее время ..." | ||
| Том 35, № 3 (2023) | Отладчик декларативного DSL для разработки телекоммуникационных систем | Аннотация похожие документы |
| Тарас Михайлович СКАЖЕНИК, Дмитрий Владимирович КОЗНОВ | ||
| "... ) могут существенно помочь в разработке таких систем, реализуя подходящие абстракции. Мы используем термин ..." | ||
| Том 32, № 3 (2020) | Программно-аппаратный комплекс обработки данных для исследовательских и научных целей с использованием микрокомпьютера Raspberry Pi 3 | Аннотация похожие документы |
| Павел Александрович ПАНКОВ, Игорь Валерьевич НИКИФОРОВ, Дмитрий Фёдорович ДРОБИНЦЕВ | ||
| "... обработки больших данных путем развертывания программных подходов MapReduce. Данные хранятся ..." | ||
| Том 28, № 1 (2016) | Реализация параллельных вычислений в программном комплексе «LS-STAG_turb» для моделирования течений вязкой несжимаемой среды на системах с общей памятью | Аннотация PDF (Rus) похожие документы |
| В. В. Пузикова | ||
| "... подходов к моделированию турбулентности реализованы в программном комплексе «LS-STAG_turb» для ..." | ||
| Том 33, № 2 (2021) | Исследование задачи обеспечения безопасности при хранении и обработке конфиденциальных данных | Аннотация PDF (Rus) похожие документы |
| Сергей Анатольевич МАРТИШИН, Марина Валерьевна ХРАПЧЕНКО, Александр Владимирович ШОКУРОВ | ||
| "... . Значительная часть хранилищ данных и систем их обработки используют облачные сервисы. Пользователи ..." | ||
| Том 27, № 4 (2015) | Библиотека ограничений для спецификации индустриальных моделей данных | Аннотация PDF (Rus) похожие документы |
| С. В. Морозов, Д. В. Ильин, В. А. Семенов, О. А. Тарлапан | ||
| "... их анализа автоматизированными средствами программной инженерии. Обсуждается возможность применения данной ..." | ||
| Том 23 (2012) | Разработка тестового набора для верификации реализаций протокола безопасности TLS | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... автоматического тестирования UniTESK и программный пакет JavaTESK, реализующий эту технологию. Работа выполнялась ..." | ||
| 1 - 53 из 115 результатов | 1 2 3 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
