Сортировать по:
| Выпуск | Название | |
| Том 36, № 3 (2024) | Разработка алгоритма формирования команд ИТ-проектов на основе данных цифрового следа студентов | Аннотация PDF (Rus) похожие документы |
| Антонина Владимировна МЕЛЬНИКОВА, Марина Сергеевна ВОРОБЬЕВА, Елизавета Владимировна ЕГОРОВА, Елизавета Дмитриевна ЧЕКАНОВА | ||
| "... В статье рассматривается разработка алгоритма для формирования команд ИТ-проектов. Материалами ..." | ||
| Том 38, № 3: часть 1. май-июнь | Построение графа вызовов для анализа программ | Аннотация похожие документы |
| Артём ФАРТЫГИН, Алексей Евгеньевич БОРОДИН, Варвара Викторовна ДВОРЦОВА, Виталий Олегович АФАНАСЬЕВ, Артемий Львович ГАЛУСТОВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... Статья посвящена задаче построения графа вызовов для программ, написанных на популярных языках ..." | ||
| Том 31, № 4 (2019) | Самотрансформация деревьев с ограниченной степенью вершин с целью минимизации или максимизации индекса Винера | Аннотация PDF (Rus) похожие документы |
| Игорь Борисович Бурдонов | ||
| "... Рассматривается распределённая сеть, граф связи которой является неориентированным деревом ..." | ||
| Том 26, № 5 (2014) | Стохастическая модель процесса идентификации сервисов информационной системы | Аннотация PDF (Rus) похожие документы |
| Г. Н. Циперман | ||
| "... исходных данных дать оценку ожидаемого количества объектов проекта и связей между ними. Модель основана ..." | ||
| Том 30, № 6 (2018) | Статическая верификация ошибок использования памяти в модулях ядра ОС Linux | Аннотация PDF (Rus) похожие документы |
| А. А. Васильев | ||
| "... неполных программах. Наша техника статической верификации основана на теории символических графов памяти ..." | ||
| Том 32, № 5 (2020) | Обнаружение дефекта взаимной блокировки с помощью статического анализа | Аннотация PDF (Rus) похожие документы |
| Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН | ||
| "... семантики многопоточных программ используется граф блокировок, который строится во время основного анализа ..." | ||
| Том 28, № 5 (2016) | Декларативный язык FlexT - инструмент анализа и документирования бинарных форматов данных | Аннотация PDF (Rus) похожие документы |
| А. Е. Хмельнов, И. В. Бычков, А. А. Михайлов | ||
| "... . В работе сделан обзор возможностей современных проектов, направленных на спецификацию бинарных форматов ..." | ||
| Том 28, № 1 (2016) | Инфраструктура статического анализа программ на языке C# | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов | ||
| "... анализа: построение графа вызовов и графа потока управления, проведение анализа потоков данных ..." | ||
| Том 27, № 1 (2015) | Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ | Аннотация PDF (Rus) похожие документы |
| Севак Саргсян, Шамиль Курмангалеев, Андрей Белеванцев, Айк Асланян, Артем Балоян | ||
| "... строится граф зависимостей программы (Program Dependence Graph – PDG) для каждой единицы компиляции ..." | ||
| Том 30, № 5 (2018) | Онтологический репозиторий для CFD-расчетов | Аннотация PDF (Rus) похожие документы |
| В. А. Зенкин | ||
| "... расчетов в форме неориентированного графа, построение плоских и пространственных зависимостей, поиск ..." | ||
| Том 27, № 2 (2015) | Поиск семантических ошибок, возникающих при некорректной адаптации скопированных участков кода | Аннотация PDF (Rus) похожие документы |
| Севак Саргсян | ||
| "... допущенных ошибок при копировании. Для этого строится и анализируется граф зависимостей программы (Program ..." | ||
| Том 38, № 2: март-апрель | Повышение полноты статического анализа приложений, использующих фреймворки, методом генерации эквивалентного кода | Аннотация PDF (Rus) похожие документы |
| Никита Александрович БОРОДАВКО, Валерий Николаевич ИГНАТЬЕВ | ||
| "... и вызовы команд в ответ на действия пользователя. Эксперименты в пяти проектах WPF с открытым исходным ..." | ||
| Том 33, № 1 (2021) | Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич БОРОДИН, Алексей Вячеславович ГОРЕМЫКИН, Сергей Павлович ВАРТАНОВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... анализатору SvEng. Анализатор строит граф вызовов, после чего выполняет анализ на основе резюме. При таком ..." | ||
| Том 32, № 6 (2020) | Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич БОРОДИН, Ирина Александровна ДУДИНА | ||
| "... статического поиска ошибок Svace. Отличительные особенности анализа: анализ по графу потока управления ..." | ||
| Том 35, № 1 (2023) | Scrumility: фреймворк для оценки качества пользовательских историй | Аннотация похожие документы |
| Клаудия ТОНА, Саманта ХИМЕНЕС, Рейес ХУАРЕС-РАМИРЕС, Рафаэль ГОНСАЛЕС ПАЧЕКО ЛОПЕС, Анхелес КЕСАДА, Сезар Артуро ГЕРРА ГАРСИА | ||
| "... авторов пытались улучшить качество проектов Scrum, изменив некоторые аспекты фреймворка, такие как ..." | ||
| Том 30, № 3 (2018) | Извлечение архитектурной информации из исходного кода ARINC 653 совместимых приложений с использованием алгоритма CEGAR | Аннотация похожие документы |
| С. Л. Лесовой | ||
| "... повторного использования некоторых компонентов существующей системы в новом проекте. Во многих случаях такой ..." | ||
| Том 31, № 3 (2019) | Поиск уязвимостей при помощи статического анализа помеченных данных | Аннотация похожие документы |
| Никита Владимирович Шимчик, Валерий Николаевич Игнатьев | ||
| "... к специальной задаче о достижимости на графе и способен выполнять межпроцедурный, чувствительный к контексту ..." | ||
| Том 29, № 5 (2017) | Модифицированный метод оценки Story Points в методологии разработки Scrum, основанный на теории нечеткой логики | Аннотация похожие документы |
| С. А. Семенкович, О. И. Колеконова, К. Ю. Дегтярев | ||
| "... Scrum или впервые попадают в новую Scrum-команду. Описанный в статье подход предлагает использовать ..." | ||
| Том 32, № 6 (2020) | Проектирование высоконагруженных систем | Аннотация PDF (Rus) похожие документы |
| Василий Андреевич РУДОМЕТКИН | ||
| "... и физически при масштабировании системы. Данный подход будет полезен также при масштабировании команды ..." | ||
| Том 29, № 1 (2017) | Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, А. Ю. Герасимов, Д. О. Куц, А. А. Новиков | ||
| "... интерфейса, алгоритм итеративного построения тестовых наборов по графу потока событий с целью явной проверки ..." | ||
| 1 - 20 из 20 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
