Сортировать по:
| Выпуск | Название | |
| Том 34, № 1 (2022) | Выявление функциональных требований в документации программного интерфейса приложения для функционального тестирования | Аннотация похожие документы |
| Евгений Анатольевич ГЕРЛИЦ, Денис Степанович КИЛЬДИШЕВ, Алексей Владимирович ХОРОШИЛОВ | ||
| "... We address a common problem in this paper. The only available documentation for a computer program ..." | ||
| Том 29, № 4 (2017) | Обнаружение неточно повторяющегося текста в документации программного обеспечения | Аннотация похожие документы |
| Л. Д. Кантеев, Ю. О. Костюков, Д. В. Луцив, Д. В. Кознов, М. Н. Смирнов | ||
| "... Development of software documentation often involves copy-pasting, which produces a lot ..." | ||
| Том 30, № 3 (2018) | Программные решения для динамического изменения пользовательского интерфейса на основе автоматически собранной информации о пользователе | Аннотация PDF (Rus) похожие документы |
| В. В. Зосимов, А. В. Христодоров, А. С. Булгакова | ||
| "... В статье описываются функциональные возможности и структура программного модуля для ..." | ||
| Том 32, № 2 (2020) | Платформа автоматического фаззинга программного интерфейса приложений | Аннотация PDF (Rus) похожие документы |
| Севак Сеникович САРГСЯН, Ваагн Геворгович ВАРДАНЯН, Дживан Андраникович АКОПЯН, Анна Мартиросовна АГАБАЛЯН, Матевос Саргисович МЕГРАБЯН, Шамиль Фаимович КУРМАНГАЛЕЕВ, Александр Юрьевич ГЕРАСИМОВ, Михаил Кириллович ЕРМАКОВ, Сергей Павлович ВАРТАНОВ | ||
| "... программное обеспечение часто предоставляет программный интерфейс (Application programming interface) для ..." | ||
| Том 35, № 4 (2023) | Технология синтеза программных комплексов с гибридной визуализацией Vulkan-OpenGL | Аннотация PDF (Rus) похожие документы |
| Петр Юрьевич ТИМОХИН, Михаил Васильевич МИХАЙЛЮК | ||
| "... помощью API Vulkan, в программные комплексы, основанные на API OpenGL. Описывается низкоуровневый ..." | ||
| Том 30, № 2 (2018) | Онтология предметной области «Удобство использования программного обеспечения» | Аннотация PDF (Rus) похожие документы |
| А. А. Сытник, Т. Э. Шульга, Н. А. Данилов | ||
| "... В статье представлена онтология предметной области «Удобство использования программного обеспечения ..." | ||
| Том 31, № 3 (2019) | Цифровое моделирование технологии производства металлообрабатывающих механических цехов | Аннотация похожие документы |
| Всеволод Павлович Котляров, Алексей Павлович Маслаков, Алексей Андреевич Толстолес | ||
| "... , allowing generating them and their documentation from pre-prepared parameterized templates stored ..." | ||
| Том 24 (2013) | Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... для компонентов ядра Linux является очень трудоемкой задачей, поскольку программных интерфейсов в ядре ..." | ||
| Том 34, № 3 (2022) | Оценка пригодности к использованию нейрокомпьютерных интерфейсов: анализ состояния дел | Аннотация похожие документы |
| Йоселин Нохеми ОРТЕГА-ХИХОН, Кармен МЕЗУРА-ГОДОЙ | ||
| "... Нейрокомпьютерные интерфейсы (Brain Computer Interfaces, BCI) позволяют пользователям общаться с ..." | ||
| Том 26, № 2 (2014) | Конфигурируемая система статической верификации модулей ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов | ||
| "... ядра являются нарушения правил корректного использования программного интерфейса ядра ОС. Выявить все ..." | ||
| Том 35, № 3 (2023) | Генератор дерева PSI с возможностью записи для мультиязыковой платформы IDE | Аннотация похожие документы |
| Александр Сергеевич БОЖНЮК, Александр Александрович ЗАХАРОВ, Николай Владимирович ТРОПИН, Михаил Валериевич ВОЛКОВ | ||
| "... программного обеспечения сервисы для трансформации кода. Такие сервисы могут использоваться как для ..." | ||
| Том 29, № 1 (2017) | Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, А. Ю. Герасимов, Д. О. Куц, А. А. Новиков | ||
| "... В настоящее время в промышленной разработке программного обеспечения с графическим пользовательским ..." | ||
| Том 20 (2011) | Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST | Аннотация PDF (Rus) похожие документы |
| С. В. Сыромятников | ||
| "... Во многих случаях дефекты программного кода могут быть выявлены путём анализа соответствующего ..." | ||
| Том 28, № 6 (2016) | Моделирование семейств программных систем | Аннотация PDF (Rus) похожие документы |
| Е. М. Лаврищева, А. К. Петренко | ||
| "... documentation, verification, operation support, deployment, etc. One of the software system family development ..." | ||
| Том 29, № 1 (2017) | Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков | ||
| "... анализа программ на основе символьного исполнения к программному обеспечению, предоставляющему графический ..." | ||
| Том 31, № 3 (2019) | Разработка программной среды для управления интеллектуальными устройствами в реальном времени | Аннотация похожие документы |
| Тамара Наумович, Лука Баляк, Лазар Живоинович, Филип Филипович | ||
| "... моделирование. Программная среда также включает интерфейс прикладного программирования для спецификации ..." | ||
| Том 26, № 3 (2014) | Прототип интегрированной программной платформы для сопровождения вычислительного эксперимента в комплексных задачах математического моделирования | Аннотация PDF (Rus) похожие документы |
| М. П. Галанин, М. М. Горбунов-Посадов, А. В. Ермаков, В. В. Лукин, А. С. Родин, К. Л. Шаповалов | ||
| "... Представлена архитектура, интерфейсы и форматы входных и выходных данных платформы, реализованные ..." | ||
| Том 36, № 2 (2024) | Онтологический подход к интеграции нейроинтерфейсов в инфраструктуру интернета вещей | Аннотация похожие документы |
| Иван Александрович ЛАБУТИН, Светлана Игоревна ЧУПРИНА | ||
| "... В последнее время наблюдается всплеск интереса к использованию нейрокомпьютерных интерфейсов для ..." | ||
| Том 32, № 1 (2020) | Технологии автоматического тестирования программных комплексов реалистичной компьютерной графики | Аннотация PDF (Rus) похожие документы |
| Евгений Юрьевич Денисов, Алексей Геннадьевич Волобой, Елисей Дмитриевич Бирюков, Михаил Сергеевич Копылов, Ирина Александровна Калугина | ||
| "... В статье описаны технологии автоматического тестирования программного обеспечения применительно к ..." | ||
| Том 29, № 6 (2017) | Автоматизация разработки моделей устройств и вычислительных машин для QEMU | Аннотация PDF (Rus) похожие документы |
| В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян | ||
| "... достигнута за счёт генерации формального кода, реализующего служебные интерфейсы QEMU. Такой код составляет ..." | ||
| Том 29, № 5 (2017) | Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса | Аннотация PDF (Rus) похожие документы |
| А. С. Аничкин, С. В. Морозов, В. А. Семенов, О. А. Тарлапан | ||
| "... классов и интерфейсов, предназначенных для программной реализации моделей, методов и приложений теории ..." | ||
| Том 35, № 2 (2023) | Разработка подхода к сквозному тестированию приложения для управления конфигурацией виртуальной инфраструктуры предприятия | Аннотация похожие документы |
| Евгений Вадимович ГЕРАСЬКИН, Никита Владимирович ВОИНОВ | ||
| "... инфраструктуры предприятия. Основная идея заключается в разработке программной среды для создания и выполнения ..." | ||
| Том 26, № 1 (2014) | Развитие подхода к разработке тестов UniTESK | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин, А. К. Петренко | ||
| "... разработке тестов для промышленных программных и аппаратных систем, включающих телекоммуникационные протоколы ..." | ||
| Том 26, № 4 (2014) | Разработка масштабируемой программной инфраструктуры для хранения и обработки данных в задачах вычислительной биологии | Аннотация PDF (Rus) похожие документы |
| О. Д. Борисенко, А. В. Лагута, Д. Ю. Турдаков, С. Д. Кузнецов | ||
| "... В работе кратко описывается масштабируемая программная инфраструктура для хранения и обработки ..." | ||
| Том 30, № 3 (2018) | Построение модульного программного обеспечения на основе однородной компонентой модели | Аннотация похожие документы |
| К. А. Маллачиев, А. В. Хорошилов | ||
| "... . Разделение ОС на изолированные модули с фиксированными интерфейсами уменьшает необходимость взаимодействия ..." | ||
| Том 29, № 5 (2017) | Объектно-ориентированная среда для разработки приложений планирования движения | Аннотация PDF (Rus) похожие документы |
| К. А. Казаков, В. А. Семенов | ||
| "... программных компонентов в составе целевых приложений. Благодаря выделенным интерфейсам разного уровня и ..." | ||
| Том 37, № 2 (2025) | Применения программного обеспечения с открытым исходным кодом для схемотехнического моделирования при разработке аналоговых интегральных микросхем | Аннотация похожие документы |
| Вадим Вадимович КУЗНЕЦОВ, Дмитрий Владимирович АНДРЕЕВ, Григорий Константинович ГРИШИН | ||
| "... академических, так и в промышленных целях. Qucs-S сочетает в себе современный графический интерфейс и движки для ..." | ||
| Том 31, № 4 (2019) | Проектирование интерфейсов классов графовой модели нейронной сети | Аннотация PDF (Rus) похожие документы |
| Юрий Леонидович Карпов, Ирина Анатольевна Волкова, Алексей Александрович Вылиток, Леонид Евгеньевич Карпов, Юрий Геннадьевич Сметанин | ||
| "... , ориентированный и неориентированный граф, остовное дерево, цикл. Приводятся интерфейсы важнейших перегруженных ..." | ||
| Том 33, № 3 (2021) | Транскрипция исторических записей актов гражданского состояния с использованием экстремального модельно-управляемого подхода | Аннотация похожие документы |
| Раффлезия ХАН, Александр ШИВЕК, Сиара БРЕТНАХ, Тициана МАРГАРИА | ||
| "... , генерирует программное приложение на основе абстрактных моделей данных, рабочего процесса и графического ..." | ||
| Том 33, № 4 (2021) | Средства захвата и обработки высокоскоростного сетевого трафика | Аннотация PDF (Rus) похожие документы |
| Дмитрий Викторович ЛАРИН, Александр Игоревич ГЕТЬМАН | ||
| "... трафика, а также рассматриваются конкретные программно-аппаратные решения. В работе выделены основные ..." | ||
| Том 34, № 2 (2022) | Подход к отображению данных для пользователей телемедицинских систем раннего обнаружения заболеваний по ЭКГ | Аннотация похожие документы |
| Алексей Александрович БУСЕНКОВ, Эдуард Андреевич ХОЛОДОВ, Роман Сергеевич НОВИКОВ, Борис Аронович ПОЗИН | ||
| "... разработке графического интерфейса телемедицинских систем раннего обнаружения заболеваний с помощью ЭКГ. ..." | ||
| Том 35, № 2 (2023) | Объектно-ориентированный подход к поддержке сценариев в системах оптического моделирования | Аннотация PDF (Rus) похожие документы |
| Михаил Сергеевич КОПЫЛОВ, Николай Борисович ДЕРЯБИН, Евгений Юрьевич ДЕНИСОВ | ||
| Том 23 (2012) | Повышение уровня представления трасс выполнения программ | Аннотация PDF (Rus) похожие документы |
| А. Г. Назаров, М. А. Климушенкова, П. М. Довгалюк, В. А. Макаров | ||
| Том 31, № 5 (2019) | Интроспекция конфигурации периферийных устройств эмулятора QEMU | Аннотация PDF (Rus) похожие документы |
| Наталья Игоревна Фурсова, Павел Михайлович Довгалюк | ||
| "... графическом интерфейсе. Графический интерфейс QemuGUI поддерживает полный цикл работы с эмулятором: создание и ..." | ||
| Том 26, № 4 (2014) | Метод инвариантного распознавания жестов для реализации человеко-компьютерного интерфейса | Аннотация PDF (Rus) похожие документы |
| Д. В. Костырев, С. И. Анищенко, М. В. Петрушан | ||
| Том 29, № 4 (2017) | Автоматизированный композициональный синтез моделей распределенных систем с помощью паттернов интерфейсов | Аннотация похожие документы |
| Р. А. Нестеров, И. А. Ломазова | ||
| "... читаемые. Для решения этой проблемы мы предлагаем использовать так называемые паттерны интерфейсов, которые ..." | ||
| Том 36, № 5 (2024) | Декларативный синтез графических интерфейсов пользователя с помощью реляционного решателя ограничений | Аннотация PDF (Rus) похожие документы |
| Дмитрий Сергеевич КОСАРЕВ, Петр Алексеевич ЛОЗОВ, Дмитрий Юрьевич БУЛЫЧЕВ | ||
| "... описанию пользовательского интерфейса (GUI), порождает набор конкретных интерфейсов, каждый из которых по ..." | ||
| Том 18 (2010) | Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2 | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... . The project included elicitation of requirements for implementations, development of formal specification ..." | ||
| Том 28, № 2 (2016) | Применимость AutoProof: учебный пример верификации ПО | Аннотация похожие документы |
| Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин | ||
| "... for improved documentation and emphasizes the need for improvement in the tool itself and in the Eiffel IDE. ..." | ||
| 1 - 39 из 435 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
