Сортировать по:
| Выпуск | Название | |
| Том 36, № 3 (2024) | Поддержка Visual Basic .NET в статическом анализаторе SharpChecker | Аннотация похожие документы |
| Вадим Сергеевич КАРЦЕВ, Валерий Николаевич ИГНАТЬЕВ | ||
| "... the industrial tool SharpChecker. Leveraging the Roslyn compiler framework, VB.NET analysis was integrated ..." | ||
| Том 28, № 1 (2016) | Инфраструктура статического анализа программ на языке C# | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов | ||
| "... Project. The paper also explains the organization of memory model, which is suitable for both a precise ..." | ||
| Том 34, № 4 (2022) | Обнаружение ошибок взаимоисключающей блокировки в программах на языке С# при помощи методов статического анализа | Аннотация PDF (Rus) похожие документы |
| Полина Ильинична РАГОЗИНА, Валерий Николаевич ИГНАТЬЕВ | ||
| "... of a static analyzer in the form of three separate detectors. Testing on the set of open source projects ..." | ||
| Том 34, № 6 (2022) | Поиск использований освобожденного ресурса в исходном коде на языке C# методами статического анализа | Аннотация PDF (Rus) похожие документы |
| Ульяна Владимировна ТЯЖКОРОБ, Валерий Николаевич ИГНАТЬЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... of an industrial SharpChecker, that performs a scalable inter-procedural path-, and context-sensitive analysis ..." | ||
| Том 26, № 1 (2014) | Рефакторинг в рамках программного проекта | Аннотация PDF (Rus) похожие документы |
| С. В. Сыромятников, И. Е. Бронштейн, Н. Л. Луговской | ||
| "... description of transition from refactoring on one translation unit scheme to refactoring on the whole project ..." | ||
| Том 32, № 2 (2020) | Применение технологии машинного обучения для анализа вероятности выигрыша тендера на выполнение проекта | Аннотация похожие документы |
| Никита Борисович КУЛЬТИН, Данила Никитич КУЛЬТИН, Роман Владимирович БАУЭР | ||
| "... The possibility of using machine learning technology to solve the problem of project analysis ..." | ||
| Том 30, № 4 (2018) | Способы сегментации медицинских изображений | Аннотация похожие документы |
| С. А. Мусатян, А. В. Ломакин, С. Ю. Сартасов, Л. К. Попыванов, И. Б. Монахов, А. С. Чижова | ||
| "... . The main goal of our research project is to create an instrument that maximizes series processing ..." | ||
| Том 33, № 5 (2021) | Управление требованиями при обучении профессиональных руководителей проектов | Аннотация похожие документы |
| Ванесса Атенеа ВАРГАС-ПЕРЕС, Лаура Сильвия ВАРГАС-ПЕРЕС, Агустин Франсиско ГУТЬЕРРЕС-ТОРНЕС, Ана Мария СОТО-ЭРНАНДЕС, Эдгардо Мануэль ФЕЛИПЕ-РИВЕРОН | ||
| "... formation, is required to teach them computational tools to mainly improve their project management ..." | ||
| Том 36, № 6 (2024) | Модели зрелости управления проектами: систематический обзор литературы | Аннотация похожие документы |
| Хорхе Франсиско РУИС-ЛОПЕС, Хавьер ОРТИС-ЭРНАНДЕС, Эрик БОНЖУР, Жан-Пьер МИКАЭЛЛИ, Ясмин ЭРНАНДЕС | ||
| "... Project management is a field that has been applied in various areas of knowledge, particularly ..." | ||
| Том 28, № 3 (2016) | Поддержка выполнения проектов, ориентированных на данные, в современных предприятиях | Аннотация похожие документы |
| А. Р. Топчян | ||
| "... Data Driven projects, is not only how to technically collect, cleanse, integrate, access, but even more ..." | ||
| Том 33, № 6 (2021) | Моделирование операционных, программных и технических систем в проектах РФФИ | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна ЛАВРИЩЕВА, Александр Константинович ПЕТРЕНКО | ||
| "... the two RFBR projects. In addition to recent results, the authors pay attention to the history ..." | ||
| Том 36, № 2 (2024) | Применение генеративного искусственного интеллекта для управления рисками программных проектов | Аннотация похожие документы |
| Анна Даниеловна ДЖЕЙРАНЯН, Михаил Александрович ПЛАКСИН | ||
| "... The article highlights an innovative approach to risk management in software projects using ..." | ||
| Том 28, № 4 (2016) | Извлечение и анализ информации в современных предприятиях | Аннотация похожие документы |
| А. Р. Топчян | ||
| Том 26, № 1 (2014) | Комплексный метод составления расписаний для сложных индустриальных программ с учетом пространственно-временных ограничений | Аннотация PDF (Rus) похожие документы |
| В. А. Семенов, А. С. Аничкин, С. В. Морозов, О. А. Тарлапан, В. А. Золотов | ||
| "... Effective project management implies the use of advanced planning and scheduling methods that allow ..." | ||
| Том 26, № 2 (2014) | Перспективные схемы пространственно-временной индексации для визуального моделирования масштабных индустриальных проектов | Аннотация PDF (Rus) похожие документы |
| В. А. Золотов, В. А. Семенов | ||
| "... As opposed to traditional project planning and scheduling methods, 4D modeling technologies allow ..." | ||
| Том 36, № 3 (2024) | Обнаружение вредоносной активности в проектах с открытым исходным кодом с помощью методов машинного обучения | Аннотация похожие документы |
| Станислав Александрович РАКОВСКИЙ | ||
| "... The Python Package Index (PyPI) serves as the primary repository for projects for the Python ..." | ||
| Том 29, № 5 (2017) | Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса | Аннотация PDF (Rus) похожие документы |
| А. С. Аничкин, С. В. Морозов, В. А. Семенов, О. А. Тарлапан | ||
| "... of the framework allows to implement the necessary functional for project planning in the target system as well ..." | ||
| Том 36, № 3 (2024) | Разработка алгоритма формирования команд ИТ-проектов на основе данных цифрового следа студентов | Аннотация PDF (Rus) похожие документы |
| Антонина Владимировна МЕЛЬНИКОВА, Марина Сергеевна ВОРОБЬЕВА, Елизавета Владимировна ЕГОРОВА, Елизавета Дмитриевна ЧЕКАНОВА | ||
| "... The article discusses the development of an algorithm for the formation of IT project teams ..." | ||
| Том 34, № 3 (2022) | Инструмент для сравнения .NET сборок в интегрированной среде разработки Rider | Аннотация похожие документы |
| Владислав Игоревич МИРОШНИКОВ | ||
| "... A .NET developer occasionally needs to compare compiled programs or assemblies, e.g., when ..." | ||
| Том 28, № 4 (2016) | Масштабируемые учебно-экспериментальные среды для современных предприятий | Аннотация похожие документы |
| А. Р. Топчян | ||
| "... of collaborative Data-Driven projects. With the amount of data, number of departments and the development ..." | ||
| Том 34, № 5 (2022) | Библиотека для разработки компиляторов | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович МИРОНОВ, Инна Александровна БАТРАЕВА, Павел Дмитриевич ДУНАЕВ | ||
| "... to generate executable code. The result of the work is a library for the platform .NET (the library was tested ..." | ||
| Том 28, № 4 (2016) | Трансляция вложенных сетей Петри в классические сети Петри для верификации разверток | Аннотация PDF (Rus) похожие документы |
| В. О. Ермакова, И. А. Ломазова | ||
| "... Nested Petri nets (NP-nets) have proved to be one of the convenient formalisms for distributed ..." | ||
| Том 35, № 1 (2023) | Оценка программного проекта с использованием методов гладких кривых и методов выбора переменных и их регуляризации с использованием базы данных клиновидной формы | Аннотация похожие документы |
| Франсиско ВАЛЬДЕС-СУТО, Лизбет НАРАНХО-АЛЬБАРРАН | ||
| "... the estimation activities an essential element for the software project success. Several estimation techniques ..." | ||
| Том 32, № 4 (2020) | Методика выявления центров компетенций авиационной науки на основе публикационной и патентной активности | Аннотация PDF (Rus) похожие документы |
| Виктор Геннадьевич БЕЛЕНКОВ, Владимир Игоревич БУДЗКО, Дмитрий Алексеевич ДЕВЯТКИН, Анна Владимировна КАН, Иван Сергеевич МИХАЙЛИН, Илья Владимирович СОЧЕНКОВ, Илья Александрович ТИХОМИРОВ, Василий Сергеевич ШАПКИН | ||
| Том 27, № 3 (2015) | Iskra: Инструмент починки моделей процессов | Аннотация PDF (Rus) похожие документы |
| И. Шугуров, А. Мицюк | ||
| Том 37, № 3 (2025) | Опыт отраслевого применения программного обеспечения с открытым исходным кодом при аэродинамическом проектировании и проверочном моделировании обтекания летательных аппаратов | Аннотация PDF (Rus) похожие документы |
| Андрей Леонидович ПАВЛЕВИЧ | ||
| "... using OpenProject project management system, Gitea version control system, multidisciplinary ..." | ||
| Том 20 (2011) | О моделировании счётчиков с бесконечным числом значений в обыкновенных сетях Петри | Аннотация PDF (Rus) похожие документы |
| Л. В. Дворянский | ||
| "... This paper provides the analysis of the express power of Petri nets to model counters with infinite ..." | ||
| Том 31, № 4 (2019) | Симуляция сетей Петри с ингибиторными дугами и дугами сброса | Аннотация похожие документы |
| Павел Алексеевич Перцухов, Алексей Александрович Мицюк | ||
| "... . Recent methods allow to generate artificial event logs by simulating ordinary Petri nets. In this paper ..." | ||
| Том 31, № 4 (2019) | Вычисление приоритетов срабатывания переходов для живых сетей Петри | Аннотация похожие документы |
| Кирилл Геннадьевич Серебренников | ||
| "... priorities for live Petri nets. Priorities are a form of constraints which can be imposed to ensure liveness ..." | ||
| Том 29, № 3 (2017) | Объектно-ориентированный каркас для программной реализации приложений теории расписаний | Аннотация PDF (Rus) похожие документы |
| А. С. Аничкин, В. А. Семенов | ||
| "... Theory of scheduling and project planning is widely applied in diverse scientific and industrial ..." | ||
| Том 37, № 1 (2025) | Система статического анализа для языка описания аппаратуры SystemVerilog | Аннотация PDF (Rus) похожие документы |
| Ян Андреевич ЧУРКИН, Рубен Артурович БУЧАЦКИЙ, Константин Николаевич КИТАЕВ, Алексей Георгиевич ВОЛОХОВ, Егор Викторович ДОЛГОДВОРОВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Дмитрий Олегович САМОВАРОВ | ||
| Том 32, № 4 (2020) | Временные причинно-упорядоченные процессы временных сетей Петри со «слабой» семантикой | Аннотация похожие документы |
| Ирина Бонавентуровна ВИРБИЦКАЙТЕ, Алексей Юрьевич ЗУБАРЕВ | ||
| "... In this paper, we present a method for state space reduction of dense-time Petri nets (TPNs ..." | ||
| Том 33, № 3 (2021) | Генерация сетей Петри с помощью структурных трансформаций, сохраняющих поведенческие свойства | Аннотация похожие документы |
| Роман Александрович НЕСТЕРОВ, Семен Юрьевич САВЕЛЬЕВ | ||
| "... In this paper, we present an approach to the generation of Petri nets exhibiting desired ..." | ||
| Том 33, № 3 (2021) | Метод анализа производительности критичных по времени приложений с помощью DB-Nets | Аннотация похожие документы |
| Антон Михайлович РИГИН, Сергей Андреевич ШЕРШАКОВ | ||
| "... analysis of time-critical applications based on the db-net formalism, which combines the ability of colored ..." | ||
| Том 26, № 3 (2014) | Современные модели и методы теории расписаний | Аннотация PDF (Rus) похожие документы |
| А. С. Аничкин, В. А. Семенов | ||
| "... organization, planning of projects and resource management into computing systems. However, a diversity ..." | ||
| Том 29, № 3 (2017) | Сертифицируемая бортовая операционная система реального времени JetOS для российских проектов воздушных судов | Аннотация PDF (Rus) похожие документы |
| Ю. А. Солоделов, Н. К. Горелиц | ||
| "... in the scope of the research and development project. One of the most important tasks during JetOS development ..." | ||
| Том 32, № 3 (2020) | Моделирование библиотечных функций в промышленном статическом анализаторе кода | Аннотация похожие документы |
| Михаил Владимирович БЕЛЯЕВ, Егор Сергеевич РОМАНЕНКОВ, Валерий Николаевич ИГНАТЬЕВ | ||
| "... SharpChecker is an industrial level static analyzer, which is aimed at detection of various bugs ..." | ||
| Том 29, № 4 (2017) | Инструмент для анализа поведения вполне структурированных систем переходов | Аннотация похожие документы |
| Л. В. Дворянский, В. Е. Михайлов | ||
| "... ; and, their performance was measured through the runs on such models as Petri Nets and Lossy Channel Systems ..." | ||
| Том 34, № 5 (2022) | Оценка сверху числа активных таймеров в сетях Петри с временными дугами с помощью динамических систем точек на графах | Аннотация похожие документы |
| Леонид Владимирович ДВОРЯНСКИЙ | ||
| "... Timed-arcs Petri nets are a time extension of Petri nets that allows assigning clocks to tokens ..." | ||
| 1 - 39 из 190 результатов | 1 2 3 4 5 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
