Сортировать по:
| Выпуск | Название | |
| Том 36, № 6 (2024) | Тематический синтез разработки, ориентированной на поведение: аналитический подход | Аннотация похожие документы |
| Виктор Мануэль АРРЕДОНДО-РЕЙЕС, Саул ДОМИНГЕС-ИСИДРО, Ангел Хуан САНЧЕС-ГАРСИЯ, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС | ||
| "... Behavior-driven development (BDD) focuses on specifying system behavior through examples ..." | ||
| Том 31, № 6 (2019) | Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода | Аннотация PDF (Rus) похожие документы |
| Александр Борисович Бугеря, Василий Юрьевич Ефимов, Иван Иванович Кулагин, Вартан Андроникович Падарян, Михаил Александрович Соловьев, Андрей Юрьевич Тихонов | ||
| "... One of the main problem of a binary code security analysis is a revealing of malicious behavior ..." | ||
| Том 36, № 4 (2024) | Разработка безопасного компилятора на основе Clang | Аннотация PDF (Rus) похожие документы |
| Павел Дмитриевич ДУНАЕВ, Артем Александрович СИНКЕВИЧ, Артемий Максимович ГРАНАТ, Инна Александровна БАТРАЕВА, Сергей Владимирович МИРОНОВ, Никита Юрьевич ШУГАЛЕЙ | ||
| "... behavior, there is a need for a safe compiler that does not perform such optimizations and prevents ..." | ||
| Том 33, № 4 (2021) | Интеграция микросервисов как компонентов сред моделирования для малокодовой разработки | Аннотация похожие документы |
| Хафиз Ахмад Аваис ЧАУДХАРИ, Тициана МАРГАРИА | ||
| "... paradigm for very large scale adoption in the future IT. In this paper, we propose a method to extend ..." | ||
| Том 27, № 3 (2015) | Подход к построению тестовых оракулов для подсистем памяти многоядерных микропроцессоров на основе моделей | Аннотация PDF (Rus) похожие документы |
| Александр Камкин, Михаил Петроченков | ||
| "... idea of the approach is on-the-fly determinization of the model behavior by using reactions from ..." | ||
| Том 27, № 3 (2015) | Метод автоматической конкретизации символических тестовых сценариев | Аннотация PDF (Rus) похожие документы |
| Никита Воинов, Павел Дробинцев, Игорь Никифоров, Всеволод Котляров, Александр Колчин | ||
| Том 33, № 5 (2021) | Автоматизация разработки на Vulkan: предметно-ориентированный подход | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович ФРОЛОВ, Вадим Владимирович САНЖАРОВ, Владимир Александрович ГАЛАКТИОНОВ, Александр Станиславович ЩЕРБАКОВ | ||
| "... and algorithmic. The architectural pattern defines the domain and behavior of the translator as a whole ..." | ||
| Том 31, № 3 (2019) | Графический DSL для разработки мобильных приложений | Аннотация похожие документы |
| Артур Владимирович Гудиев, Александра Сергеевна Гражевская | ||
| "... В связи с увеличением количества платформ, языков и методов, использующихся в разработке мобильных ..." | ||
| Том 23 (2012) | Разработка тестового набора для верификации реализаций протокола безопасности TLS | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... specification are statements in a natural language, describing desired behavior of TLS implementations ..." | ||
| Том 33, № 4 (2021) | Предотвращение уязвимостей, возникающих в результате оптимизации кода с неопределенным поведением | Аннотация PDF (Rus) похожие документы |
| Роман Вячеславович БАЕВ, Леонид Владленович СКВОРЦОВ, Евгений Алексеевич КУДРЯШОВ, Рубен Артурович БУЧАЦКИЙ, Роман Александрович ЖУЙКОВ | ||
| "... behavior. Programmers use such constructs relying on some particular behavior these constructs showed ..." | ||
| Том 28, № 2 (2016) | Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде | Аннотация похожие документы |
| М. С. Малеванный, С. С. Михалкович | ||
| "... за счет добавления к среде разработки средств разметки сквозной функциональности. Разметка ..." | ||
| Том 29, № 6 (2017) | Автоматизация разработки моделей устройств и вычислительных машин для QEMU | Аннотация PDF (Rus) похожие документы |
| В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян | ||
| "... Разработка виртуальных устройств и машин для QEMU - трудоёмкий процесс. С целью поддержки ..." | ||
| Том 35, № 6 (2023) | Онтология архитектурных знаний в совместно локализованной “живой” среде | Аннотация PDF (Rus) похожие документы |
| Хосе Луис РОБЛЕС, Хильберто БОРРЕГО, Рамон Рене ПАЛАСИО, Франсиско КАСТИЛЬО-БОРРЕРА | ||
| "... Небольшие компании, ведущие “живую” разработку программного обеспечения, сталкиваются с новой ..." | ||
| Том 35, № 1 (2023) | Систематический обзор литературы по совершенствованию процессов разработки требований к программному обеспечению | Аннотация похожие документы |
| Сильвия АЛЬМЕЙДА, Авраам ДАВИЛА | ||
| "... разработки внесло свой вклад в индустрию программного обеспечения, процесс разработки требований к ..." | ||
| Том 35, № 3 (2023) | Генератор дерева PSI с возможностью записи для мультиязыковой платформы IDE | Аннотация похожие документы |
| Александр Сергеевич БОЖНЮК, Александр Александрович ЗАХАРОВ, Николай Владимирович ТРОПИН, Михаил Валериевич ВОЛКОВ | ||
| "... Любая современная интегрированная среда разработки (IDE) должна предоставлять разработчикам ..." | ||
| Том 28, № 2 (2016) | Обзор предметной области и концепция фреймворка для разработки моделей мемристоров и мемристорных нейронных сетей | Аннотация похожие документы |
| Д. Д. Кожевников, Н. В. Красилич | ||
| "... of memristor-based neural network, whereas the functional model exposes the underlying behavior of network ..." | ||
| Том 24 (2013) | Роль предыстории при оценке сложного объекта в управлении по прецедентам | Аннотация PDF (Rus) похожие документы |
| Л. Е. Карпов, В. Н. Юдин | ||
| "... and after the action. The previous object behavior is the source of additional information ..." | ||
| Том 28, № 3 (2016) | Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров | Аннотация похожие документы |
| М. В. Петроченков, И. А. Стотланд, Р. Е. Муштаков | ||
| "... are presented. We provide basic approach to device behavior checking - implementing a functional reference model ..." | ||
| Том 27, № 2 (2015) | Моделирование и анализ поведения последовательных реагирующих программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров | ||
| Том 36, № 1 (2024) | Основы квантовых вычислений и их связь с разработкой программного обеспечения | Аннотация похожие документы |
| Рейес ХУАРЕС-РАМИРЕС, Чристиан Ксавьер НАВАРРО-КОТА, Саманта ХИМЕНЕС, Алан Давид РАМИРЕС-НОРЬЕГА, Ма Вероника ТАПИЯ-ИБАРРА, Сесар Артуро ГЕРРА-ГАРСИЯ, Эктор Херардо ПЕРЕС-ГОНСАЛЕС, Карлос Альберто ФЕРНАНДЕС-И-ФЕРНАНДЕС | ||
| Том 36, № 1 (2024) | Исследование роли ботов в разработке программного обеспечения | Аннотация похожие документы |
| Рикардо МОГЕЛЬ-САНЧЕС, Сесар Серхио МАРТИНЕС-ПАЛАСИОС, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС, Ксавьер ЛИМОН, Анхель Хуан САНЧЕС-ГАРСИЯ | ||
| "... В работе рассматривается состояние прикладных и перспективных программных ботов в разработке ..." | ||
| Том 30, № 3 (2018) | К проверке строго детерминированного поведения временных конечных автоматов | Аннотация похожие документы |
| Е. М. Винарский, В. А. Захаров | ||
| "... in software engineering, VLSI design, development of telecommunication systems, etc. To describe the behavior ..." | ||
| Том 34, № 5 (2022) | Библиотека для разработки компиляторов | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович МИРОНОВ, Инна Александровна БАТРАЕВА, Павел Дмитриевич ДУНАЕВ | ||
| "... Работа посвящена разработке библиотеки, предназначенной для реализации компиляторов. Статья ..." | ||
| Том 28, № 4 (2016) | Модель поведения объектов, подверженных спонтанному изменению, в прецедентном подходе к управлению | Аннотация PDF (Rus) похожие документы |
| В. Н. Юдин, Л. Е. Карпов | ||
| "... be formalized by mathematical model, authors offer new object behavior model. This model deals with objects ..." | ||
| Том 27, № 5 (2015) | Балансировка нагрузки в системе Unihub на основе предсказания поведения пользователей | Аннотация PDF (Rus) похожие документы |
| Д. А. Грушин, Н. Н. Кузюрин | ||
| "... but other are almost empty. In this paper we propose to collect information about users behavior ..." | ||
| Том 30, № 3 (2018) | Симуляция поведения мультиагентных систем с ациклически взаимодействующим агентами | Аннотация похожие документы |
| Р. А. Нестеров, А. А. Мицюк, И. А. Ломазова | ||
| Том 31, № 4 (2019) | Вычисление приоритетов срабатывания переходов для живых сетей Петри | Аннотация похожие документы |
| Кирилл Геннадьевич Серебренников | ||
| Том 35, № 6 (2023) | Обнаружение возможной перезаписи переменных вследствие использования функций нелокальных переходов | Аннотация PDF (Rus) похожие документы |
| Никита Юрьевич ШУГАЛЕЙ, Владислав Анатольевич ИВАНИШИН, Александр Владимирович МОНАКОВ | ||
| "... The reason of undefined behavior is source code written in violation of the C language standard ..." | ||
| Том 35, № 1 (2023) | Влияние ролей Белбина на дизайн базы данных: исследовательский эксперимент | Аннотация похожие документы |
| Рауль Антонио АГИЛАР ВЕРА, Адриана ПЕНЬЯ, Хулио Сезар ДИАС-МЕНДОЗА, Хуан Пабло УКАН ПЕЧ | ||
| "... , – связанных с процессом разработки программного обеспечения, особенно в проектировании баз данных (БД). В этой ..." | ||
| Том 35, № 1 (2023) | Влияние пандемии COVID-19 на психофизическое состояние разработчиков программного обеспечения и новые тенденции в области гибких навыков при работе из дома | Аннотация похожие документы |
| Рейес ХУАРЕС-РАМИРЕС, Кристиан НАВАРРО-КОТА, Гильермо ЛИСЕА, Саманта ХИМЕНЕС, Вероника ТАПИА-ИБАРРА, Сезар Артуро ГЕРРА ГАРСИА, Гектор Херардо ПЕРЕС-ГОНСАЛЕС | ||
| "... хватает теории и методологий для рассмотрения человеческих аспектов в разработке программного обеспечения ..." | ||
| Том 32, № 4 (2020) | Разработка решателя iceFoam для моделирования процесса обледенения | Аннотация PDF (Rus) похожие документы |
| Константин Борисович КОШЕЛЕВ, Валерия Геннадиевна МЕЛЬНИКОВА, Сергей Владимирович СТРИЖАК | ||
| "... разработке нового решателя iceFoam в составе открытого пакета OpenFOAM v1912 для моделирования процесса ..." | ||
| Том 23 (2012) | Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков, А. В. Хорошилов | ||
| Том 30, № 4 (2018) | Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений | Аннотация похожие документы |
| И. А. Адамович, Анд. В. Климов | ||
| "... специализаторов в привычные для программистов интегрированные среды разработки, включая создание соответствующих ..." | ||
| Том 35, № 3 (2023) | Отладчик декларативного DSL для разработки телекоммуникационных систем | Аннотация похожие документы |
| Тарас Михайлович СКАЖЕНИК, Дмитрий Владимирович КОЗНОВ | ||
| "... ) могут существенно помочь в разработке таких систем, реализуя подходящие абстракции. Мы используем термин ..." | ||
| Том 35, № 3 (2023) | Применение методов интеллектуального анализа процессов в ходе разработки семейства мобильных приложений | Аннотация похожие документы |
| Людмила Александровна РЕЗУНИК, Алиса Игоревна ПЕРЕВОЗНИКОВА, Дарья Валерьевна ЕРЕМИНА, Алексей Александрович МИЦЮК | ||
| "... . Процессы их разработки также могут отличаться. Более того, современные процессы разработки часто сложны, а ..." | ||
| Том 35, № 6 (2023) | Язык программирования для обучения технологиям компиляции и трансформации | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич НЕДОРЯ | ||
| Том 36, № 3 (2024) | О разработке проекта национального стандарта ГОСТ Р «Защита информации. Формальная модель управления доступом. Часть 3. Рекомендации по разработке» | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН | ||
| "... описываться соответствующая формальная модель. Чтобы стимулировать разработку формальных моделей управления ..." | ||
| Том 34, № 6 (2022) | Влияние относительного продольного расстояния на динамическое поведение двух взаимодействующих судов при встречном волнении | Аннотация похожие документы |
| Рами АЛИ | ||
| "... in this paper. A CFD approach has been adopted to simulate the dynamic behavior of the interacting ships ..." | ||
| Том 31, № 2 (2019) | Интернет вещей для оценки поведения крупного рогатого скота при поиске корма и кормлении в пастбищных системах земледелия: концепции и обзор сенсорных технологий | Аннотация похожие документы |
| Годофредо Рамон Гарай Альварес, Хосе Альберто Бертоm Вальдес, Карина Перес-Теруэль | ||
| "... and feeding behavior. ..." | ||
| Том 30, № 4 (2018) | Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности | Аннотация похожие документы |
| Н. К. Горелиц, А. С. Гукова, Е. В. Песков | ||
| "... поддержать и обеспечить сертифицируемость разработки критичных по безопасности сложных систем в соответствии ..." | ||
| Том 29, № 4 (2017) | Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой | Аннотация похожие документы |
| К. В. Давыдова, С. А. Шершаков | ||
| "... время как известные техники обратной разработки обычно используют исходный программный код, который ..." | ||
| 1 - 41 из 409 результатов | 1 2 3 4 5 6 7 8 9 10 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
