Сортировать по:
| Выпуск | Название | |
| Том 31, № 1 (2019) | Управление требованиями к ответственным системам. Обзор решений | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович Хорошилов, Наталья Кирилловна Горелиц, Денис Степанович Кильдишев | ||
| "... Требования являются неотъемлемой частью любого процесса разработки программных и аппаратных систем ..." | ||
| Том 36, № 1 (2024) | Глубокое обучение при выработке нефункциональных требований: подход на основе сверточных нейронных сетей | Аннотация похожие документы |
| Сандра Эстефания МАРТИНЕС ГАРСИЯ, Карлос Альберто ФЕРНАНДЕС-И-ФЕРНАНДЕС, Эрик Г. РАМОС ПЕРЕС | ||
| "... Фаза разработки требований (ER) играет решающую роль в разработке программного обеспечения ..." | ||
| Том 32, № 2 (2020) | Оценка качества требований к программному обеспечению с применением метода GQM и инструментов обработки естественного языка | Аннотация похожие документы |
| Евгений Валерьевич ТИМОЩУК | ||
| "... разработки. Качество требований может быть оценено, основываясь на широком разнообразии атрибутов качества ..." | ||
| Том 32, № 6 (2020) | О разработке Оберон-системы с заданными свойствами эргодичности | Аннотация PDF (Rus) похожие документы |
| Дмитрий Викторович ДАГАЕВ | ||
| "... для критически важных систем в ответственных отраслях. Разработка ПО на основе требований ..." | ||
| Том 35, № 1 (2023) | Систематический обзор литературы по совершенствованию процессов разработки требований к программному обеспечению | Аннотация похожие документы |
| Сильвия АЛЬМЕЙДА, Авраам ДАВИЛА | ||
| "... разработки внесло свой вклад в индустрию программного обеспечения, процесс разработки требований ..." | ||
| Том 27, № 3 (2015) | Бесшовная разработка программного обеспечения: применимость на примере | Аннотация PDF (Rus) похожие документы |
| Александр Наумчев | ||
| "... В рамках традиционной программной инженерии требования и код развиваются в двух параллельных мирах ..." | ||
| Том 34, № 1 (2022) | Прослеживаемость требований как основа проектирования функционально-логической архитектуры программной системы | Аннотация похожие документы |
| Борис Аронович ПОЗИН, Григорий Наумович ЦИПЕРМАН | ||
| "... В статье рассматриваются вопросы формирования и трансформации требований заинтересованных сторон ..." | ||
| Том 31, № 5 (2019) | Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов» | Аннотация PDF (Rus) похожие документы |
| Александр Валерьянович Самонов | ||
| "... Представлены методы и средства реализации программно-управляемого процесса разработки ..." | ||
| Том 30, № 5 (2018) | Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем | Аннотация PDF (Rus) похожие документы |
| А. В. Самонов, Г. Н. Самонова | ||
| "... , связанные с разработкой полного и корректного набора требований, а также с формализацией и верификацией ..." | ||
| Том 33, № 5 (2021) | Управление требованиями при обучении профессиональных руководителей проектов | Аннотация похожие документы |
| Ванесса Атенеа ВАРГАС-ПЕРЕС, Лаура Сильвия ВАРГАС-ПЕРЕС, Агустин Франсиско ГУТЬЕРРЕС-ТОРНЕС, Ана Мария СОТО-ЭРНАНДЕС, Эдгардо Мануэль ФЕЛИПЕ-РИВЕРОН | ||
| "... и отслеживание разнообразных требований всех пользователей от начала до конца проекта любого типа ..." | ||
| Том 37, № 5: сентябрь-октябрь | Сравнительный анализ методов приоритезации требований для веб-приложений персонализированного питания | Аннотация похожие документы |
| Анна Сергеевна МОЖЕГОВА, Вячеслав Владимирович ЛАНИН | ||
| "... В данном исследовании рассматривается применение пяти методов приоритезации требований – MoSCoW ..." | ||
| Том 35, № 6 (2023) | Валидация требований и ее влияние на качество при использовании программного обеспечения: тематическое исследование | Аннотация PDF (Rus) похожие документы |
| Луис КАНЧАРИ, Паула Мария АНГЕЛЕРИ, Авраам Элисео ДАВИЛА РАМОН | ||
| "... разработки требований к программному обеспечению, положительно влияют на качество реализуемых программных ..." | ||
| Том 35, № 3 (2023) | Проектирование архитектуры системы мониторинга на основе паттернов проектирования | Аннотация похожие документы |
| Александра Алексеевна ПАСЫНКОВА, Ольга Леонидовна ВИКЕНТЬЕВА | ||
| "... В данной статье исследуется актуальность использования шаблонов проектирования при разработке ..." | ||
| Том 37, № 1: январь-февраль | Методика поиска уязвимостей в программном обеспечении, написанном на нескольких языках программирования | Аннотация PDF (Rus) похожие документы |
| Борис Аронович ПОЗИН, Полина Андреевна БОРОДУШКИНА, Дмитрий Антонович КОРОТКОВ, Михаил Александрович ФЕДОРОВ, Айнур Фуатович МУРАТОВ | ||
| "... - ПО), написанном на нескольких языках программирования (С, С++, Java, Python, Go). В ходе ее разработки проведен ..." | ||
| Том 28, № 2 (2016) | Практический опыт реализации подходов программной и системной инженерии для управления требованиями при разработке программного обеспечения в авиационной отрасли | Аннотация похожие документы |
| И. В. Ковернинский, А. В. Кан, В. Б. Волков, Ю. С. Попов, Н. К. Горелиц | ||
| "... . Информационная система управления требованиями содержит документы и шаблоны для разработки и публикации ..." | ||
| Том 29, № 5 (2017) | Логика первого порядка для задания требований к безопасному программному коду | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок | ||
| "... выполнения требований по безопасности. Наиболее важным при этом является вопрос доверия к новому программному ..." | ||
| Том 29, № 5 (2017) | Проектирование моделей вариабельности для программных, операционных систем и их семейств | Аннотация похожие документы |
| Е. М. Лаврищева, В. С. Мутилин, А. Г. Рыжов | ||
| "... ; вариант; функциональный, интерфейсный элемент; требование; управление. ..." | ||
| Том 23 (2012) | Описание подхода к разработке обфусцирующего компилятора | Аннотация PDF (Rus) похожие документы |
| Ш. Ф. Курмангалеев, В. П. Корчагин, Р. А. Матевосян | ||
| "... is to obfuscate program code. This paper describes an approach for developing an obfuscation tool based ..." | ||
| Том 31, № 4 (2019) | Разработка программного обеспечения квадрокоптера с повышенными требованиями к надёжности на основе партицированной ОС и технологий формальной верификации | Аннотация похожие документы |
| Сергей Михайлович Старолетов, Максим Станиславович Амосов, Кирилл Михайлович Шульга | ||
| "... аппаратного прототипа квадрокоптера и разработка программного решения для полетного контроллера с высокими ..." | ||
| Том 30, № 4 (2018) | Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности | Аннотация похожие документы |
| Н. К. Горелиц, А. С. Гукова, Е. В. Песков | ||
| "... одного из распространенных в отрасли инструментов разработки и управления требованиями на соответствие ..." | ||
| Том 23 (2012) | Разработка тестового набора для верификации реализаций протокола безопасности TLS | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... Статья посвящена разработке тестового набора для проверки соответствий реализаций узлов Интернет ..." | ||
| Том 32, № 6 (2020) | Верификация соответствия между разноуровневыми моделями функциональных требований | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович ХОРОШИЛОВ | ||
| "... требований по сравнению с традиционными подходами, основанными на установлении отношения уточнения между ..." | ||
| Том 36, № 3 (2024) | Статическое распределение памяти для операционных систем реального времени | Аннотация PDF (Rus) похожие документы |
| Софья Анатольевна ЗЕЛЕНОВА | ||
| "... актуальности. Использование детализации требований разработчиков дает новые возможности в этом направлении при ..." | ||
| Том 37, № 4: часть 2. июль-август | Sydr-Fuzz: непрерывный гибридный фаззинг и динамический анализ для жизненного цикла безопасной разработки | Аннотация PDF (Rus) похожие документы |
| Алексей Вадимович ВИШНЯКОВ, Даниил Олегович КУЦ, Влада Игоревна ЛОГУНОВА, Дарья Алексеевна ПАРЫГИНА, Илай Александрович КОБРИН, Георгий Анатольевич САВИДОВ, Андрей Николаевич ФЕДОТОВ | ||
| "... востребованы как никогда – они обеспечивают безопасность программного обеспечения и соответствие требованиям ..." | ||
| Том 35, № 6 (2023) | Усовершенствование модели оценки нефункциональных требований, классифицирующей диапазоны одинакового размера с помощью алгоритма k-ближайших соседей | Аннотация PDF (Rus) похожие документы |
| Франсиско ВАЛЬДЕС-СОУТО, Хорхе ВАЛЕРИАНО-АССЕМ, Даниэль ТОРРЕС-РОБЛЕДО | ||
| "... Любой проект разработки программного обеспечения должен оценивать нефункциональные требования ..." | ||
| Том 18 (2010) | Тестирование конформности на основе соответствия состояний | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... Статья посвящена тестированию соответствия (конформности) реализации требованиям спецификации. Идея ..." | ||
| Том 36, № 3 (2024) | О разработке проекта национального стандарта ГОСТ Р «Защита информации. Формальная модель управления доступом. Часть 3. Рекомендации по разработке» | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН | ||
| "... В соответствии с требованиями нормативных документов ФСТЭК России для обеспечения доверия ..." | ||
| Том 28, № 2 (2016) | Разработка отладчика для операционной системы реального времени | Аннотация похожие документы |
| А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин | ||
| "... В этой статье мы расскажем о проекте по разработке отладчика для операционной системы реального ..." | ||
| Том 30, № 3 (2018) | Извлечение архитектурной информации из исходного кода ARINC 653 совместимых приложений с использованием алгоритма CEGAR | Аннотация похожие документы |
| С. Л. Лесовой | ||
| "... Модельно-ориентированный подход к разработке позволяет построить архитектурную модель существующей ..." | ||
| Том 33, № 4 (2021) | Многослойный подход к поиску изоморфных подграфов в HP-графах | Аннотация похожие документы |
| Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА | ||
| "... , предназначенные для моделирования, не могут удовлетворить все требования пользователей. Визуальные языки, как ..." | ||
| Том 34, № 2 (2022) | Подход к генерации тестовых программ для верификации когерентности памяти микропроцессоров «Эльбрус» | Аннотация похожие документы |
| Владимир Андреевич АГАФОНОВ, Павел Викторович ФРОЛОВ, Алексей Николаевич МЕШКОВ | ||
| "... требования к тестовым программам когерентности памяти. Представлена структура карты памяти, позволяющая гибко ..." | ||
| Том 28, № 2 (2016) | Способ статической оценки времени работы компонентов AADL-моделей | Аннотация похожие документы |
| А. М. Троицкий, Д. В. Буздалов | ||
| "... При проектировании современных систем авионики, а также других ответственных систем, неотъемлемой ..." | ||
| Том 30, № 5 (2018) | Подход к анализу исполняемого кода на основе восстановления программной архитектуры | Аннотация PDF (Rus) похожие документы |
| Д. С. Кононов | ||
| "... исполняемого кода. В результате появляется возможность сократить требования к затрачиваемым ресурсам за счёт ..." | ||
| Том 28, № 2 (2016) | Подход к обнаружению анти-паттернов в сервис-ориентированных системах | Аннотация похожие документы |
| А. С. Югов | ||
| "... разработке программного обеспечения, потому что это позволяет разрабатывать гибкие и масштабируемые ..." | ||
| Том 18 (2010) | Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2 | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... Статья посвящена разработке тестового набора для проверки соответствий реализаций узлов Интернет ..." | ||
| Том 35, № 2 (2023) | Разработка системы классификации нормативно-правовых документов на основе метода опорных векторов | Аннотация похожие документы |
| Юри НАСУ, Вячеслав Владимирович ЛАНИН | ||
| "... Статья подготовлена в ходе разработки системы классификации текстов юридических документов ..." | ||
| Том 33, № 5 (2021) | Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Владимир Юрьевич ТЕЛЕЖНИКОВ, Алексей Владимирович ХОРОШИЛОВ | ||
| "... Разработка безопасного системного программного обеспечения (ПО), на основе которого строятся ..." | ||
| Том 35, № 4 (2023) | Подходы к разработке системы обнаружения дефектов печатных плат на основе технологии АОИ | Аннотация PDF (Rus) похожие документы |
| Татьяна Сергеевна ХОДАТАЕВА, Николай Владимирович КАШИРИН, Александра Ивановна АВЕРИНА, Артём Евгеньевич ГУРЬЯНОВ | ||
| "... процесса контроля растет в связи с ужесточением требований, предъявляемых современными производственными ..." | ||
| Том 32, № 5 (2020) | Реализация маркирования в подсистеме печати ОС семейства Windows на основе виртуального XPS-принтера | Аннотация PDF (Rus) похожие документы |
| Сергей Викторович КОЗЛОВ, Сергей Александрович КОПЫЛОВ, Борис Владимирович КОНДРАТЬЕВ, Дмитрий Олегович ОБЫДЕНКОВ | ||
| "... представления исходного документа и требований, предъявляемых к процессу печати. В ходе разработки и реализации ..." | ||
| Том 37, № 5: сентябрь-октябрь | Применение суффиксных кодов в модульной метрике для решения задачи кластеризации и задачи поиска k-соседей | Аннотация PDF (Rus) похожие документы |
| Александр Рауилович ШАРАПОВ, Вячеслав Анатольевич ДАВЫДОВ | ||
| "... сделан на разработку эффективных алгоритмов кластеризации и поиска ближайших соседей с использованием ..." | ||
| Том 37, № 2: март-апрель | Методы схемотехнического и топологического синтеза аналоговых интегральных схем по спецификации с использованием методов машинного обучения и дифференцируемого программирования | Аннотация PDF (Rus) похожие документы |
| Денис Сергеевич ЩЕПЕТОВ, Александр Геннадиевич ТИМОШЕНКО, Владимир Анатольевич ГАРАНЖА, Игорь Евгеньевич КАПОРИН, Дмитрий Николаевич КАРГИН | ||
| "... Задача разработки принципиальной электрической схемы, возникающая при создании аналоговых ..." | ||
| Том 37, № 6: часть 4. ноябрь-декабрь | Поддержка процессов верификации средств защиты информации на основе формальных моделей политик управления доступом: инструмент АНИС | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович КАРНОВ, Евгений Валерьевич КОРНЫХИН, Александр Константинович ПЕТРЕНКО | ||
| "... В статье исследуются проблемы внедрения технологий верификации программных систем ответственного ..." | ||
| Том 28, № 2 (2016) | Обзор предметной области и концепция фреймворка для разработки моделей мемристоров и мемристорных нейронных сетей | Аннотация похожие документы |
| Д. Д. Кожевников, Н. В. Красилич | ||
| "... предметной области, составлены и формально описаны требования к разработке среды моделирования мемристорных ..." | ||
| Том 36, № 3 (2024) | Разработка алгоритма формирования команд ИТ-проектов на основе данных цифрового следа студентов | Аннотация PDF (Rus) похожие документы |
| Антонина Владимировна МЕЛЬНИКОВА, Марина Сергеевна ВОРОБЬЕВА, Елизавета Владимировна ЕГОРОВА, Елизавета Дмитриевна ЧЕКАНОВА | ||
| "... В статье рассматривается разработка алгоритма для формирования команд ИТ-проектов. Материалами ..." | ||
| Том 34, № 5 (2022) | Практика и перспективы применения открытых и собственных программных решений в маршруте верификации систем на кристалле | Аннотация PDF (Rus) похожие документы |
| Антон Витальевич ГАРАЩЕНКО, Дарья Сергеевна ЛАШИНА, Святослав Александрович НИКИТИН, Артём Валерьевич НИКОЛАЕВ, Евгений Андреевич ПРОКОПЬЕВ, Федор Михайлович ПУТРЯ, Булат Намсараевич ЦЫРЕНЖАПОВ | ||
| "... САПР для заданного этапа маршрута верификации, основанный на формальном описании этапа и требований ..." | ||
| Том 38, № 3: часть 3. май-июнь | Многослойная визуализация в графической компоненте операционной системы реального времени | Аннотация PDF (Rus) похожие документы |
| Алексей Геннадьевич ВОЛОБОЙ, Борис Хаимович БАРЛАДЯН, Николай Борисович ДЕРЯБИН, Лев Залманович ШАПИРО, Евгений Юрьевич ДЕНИСОВ, Владимир Александрович ГАЛАКТИОНОВ | ||
| "... потребовало разработки алгоритмов, которые должны соответствовать авиационному стандарту ARINC 661 ..." | ||
| Том 36, № 2 (2024) | Четырёхмерный ACC анализ | Аннотация похожие документы |
| Назгуль Ибрагимовна МУСТАФИНА, Михаил Александрович ПЛАКСИН, Полина Алексеевна МИКИШЕВА | ||
| "... характеристики - актеров (роли пользователей системы) - позволяет более гибко оценивать требования к действиям ..." | ||
| Том 30, № 3 (2018) | Эмуляция ввода-вывода оборудования с отображением в ОЗУ внутри ядер операционных систем | Аннотация похожие документы |
| В. Ю. Чепцов, А. В. Хорошилов | ||
| "... Необходимость эмуляции оборудования часто возникает на различных стадиях цикла разработки, миграции ..." | ||
| Том 38, № 2: март-апрель | Решение задачи предобработки данных для изготовления фотошаблонов методом электронно-лучевой литографии | Аннотация PDF (Rus) похожие документы |
| Андрей Владимирович КОРШУНОВ, Дарья Игоревна РЫЖОВА, Дмитрий Александрович БУЛАХ, Екатерина Дмитриевна ЗУБАРЕВА, Иван Дмитриевич САЛАХОВ, Илья Игоревич ШВЕЦ, Даниил Александрович КЛИМУШКИН | ||
| "... , а также для обеспечения воспроизводимости рисунка. В данной работе представлены результаты разработки ..." | ||
| Том 29, № 3 (2017) | ADV_SPM - Формальные модели политики безопасности на практике | Аннотация PDF (Rus) похожие документы |
| А. В. Хорошилов, И. В. Щепетков | ||
| "... В статье рассматривается семейство требований доверия к безопасности ADV_SPM «Моделирование ..." | ||
| Том 26, № 5 (2014) | Оценка сложности крупноблочных облачных вычислений, использующих арифметику повышенной точности | Аннотация PDF (Rus) похожие документы |
| С. С. Толстых, В. Е. Подольский | ||
| "... точностью. Данная разработка направлена на решение в облаке задач математического моделирования с особыми ..." | ||
| Том 37, № 6: часть 2. ноябрь-декабрь | Тестирование подсистемы безопасности ОС Astra Linux на основе формализованного описания модели управления доступом | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Сергей Сергеевич ЖИЛЯКОВ, Александр Игоревич СМИРНОВ | ||
| "... . Влияет на проблему необходимость выполнения процессов разработки безопасного программного обеспечения ..." | ||
| Том 30, № 6 (2018) | О новом поколении промежуточных представлений, применяемых для анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко | ||
| "... бинарного кода, сформулированы требования к промежуточному представлению, которое могло бы использоваться ..." | ||
| 1 - 53 из 83 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
