Сортировать по:
| Выпуск | Название | |
| Том 34, № 3 (2022) | Инструмент для сравнения .NET сборок в интегрированной среде разработки Rider | Аннотация похожие документы |
| Владислав Игоревич МИРОШНИКОВ | ||
| "... their structure, developed and integrated into Rider IDE our own Assembly Diff tool which considers ..." | ||
| Том 31, № 1 (2019) | Моделирование прикладных и информационных систем из готовых сервисных ресурсов Интернет | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна Лаврищева, Вадим Сергеевич Мутилин, Святослав Владимирович Козин, Андрей Геннадьевич Рыжов | ||
| "... .VS; make в BSD, config в JavaEE; стандарт IEEE 828–96–2012 (Configuration), как итог всех сборок. ГОР ..." | ||
| Том 35, № 3 (2023) | Генератор дерева PSI с возможностью записи для мультиязыковой платформы IDE | Аннотация похожие документы |
| Александр Сергеевич БОЖНЮК, Александр Александрович ЗАХАРОВ, Николай Владимирович ТРОПИН, Михаил Валериевич ВОЛКОВ | ||
| "... Any state-of-the-art integrated development environment (IDE) should provide software developers ..." | ||
| Том 35, № 3 (2023) | Отладчик декларативного DSL для разработки телекоммуникационных систем | Аннотация похожие документы |
| Тарас Михайлович СКАЖЕНИК, Дмитрий Владимирович КОЗНОВ | ||
| "... to depict every step of execution. Finally, we implement and integrate the debugger in the DevM IDE, using ..." | ||
| Том 36, № 3 (2024) | Поддержка Visual Basic .NET в статическом анализаторе SharpChecker | Аннотация похожие документы |
| Вадим Сергеевич КАРЦЕВ, Валерий Николаевич ИГНАТЬЕВ | ||
| "... This paper presents the implementation of static analysis for Visual Basic .NET (VB.NET) within ..." | ||
| Том 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 ..." | ||
| Том 27, № 3 (2015) | Iskra: Инструмент починки моделей процессов | Аннотация PDF (Rus) похожие документы |
| И. Шугуров, А. Мицюк | ||
| Том 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 ..." | ||
| Том 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 ..." | ||
| Том 32, № 5 (2020) | Модельный подход к обеспечению безопасности и надежности Web-сервисов | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна ЛАВРИЩЕВА, Сергей Вадимович ЗЕЛЕНОВ | ||
| "... systems and Web systems are created by the assembly build method in modern environments: IBM WSDK ..." | ||
| Том 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 ..." | ||
| Том 31, № 4 (2019) | Метод построения UML диаграмм деятельности по журналам событий | Аннотация похожие документы |
| Наталья Сергеевна Зубкова, Сергей Андреевич Шершаков | ||
| Том 30, № 3 (2018) | Симуляция поведения мультиагентных систем с ациклически взаимодействующим агентами | Аннотация похожие документы |
| Р. А. Нестеров, А. А. Мицюк, И. А. Ломазова | ||
| "... ) using Petri nets. A MAS is modeled as a set of workflow nets. The agent-to-agent interactions ..." | ||
| Том 32, № 6 (2020) | Автоматический анализ дискретных динамических систем на метрических графах с помощью сетей Петри с временными дугами и инструмента TAPAAL | Аннотация похожие документы |
| Леонид Владимирович ДВОРЯНСКИЙ, Александр Александрович ИЗМАЙЛОВ | ||
| "... Timed-Arcs Petri nets (TaPN-nets) are a time extension of Petri nets that allows assigning clocks ..." | ||
| Том 28, № 3 (2016) | Автоматическая генерация кода по вложенным сетям Петри для систем на основе событий на платформе Telegram | Аннотация похожие документы |
| Д. И. Самохвалов, Л. В. Дворянский | ||
| "... Nested Petri net formalisms is an extension of coloured Petri net formalism that uses Petri Nets ..." | ||
| Том 27, № 3 (2015) | Применение раскрашенных сетей Петри для верификации распределенных систем, специфицированных MSC-диаграммами | Аннотация PDF (Rus) похожие документы |
| Сергей Черненок, Валерий Непомнящий | ||
| "... into coloured Petri nets (CPN). The method is applied to the property verification of these diagrams ..." | ||
| Том 32, № 3 (2020) | Подход к трансляции таблицы потоков коммутатора программно-конфигурируемой сети в язык ассемблера сетевого процессора | Аннотация похожие документы |
| Андрей Александрович МАРКОБОРОДОВ, Юлия Александровна СКОБЦОВА, Дмитрий Юрьевич ВОЛКАНОВ | ||
| "... to determine actions to apply to incoming packet (classification). In the considered NPU assembly language ..." | ||
| Том 30, № 4 (2018) | Способы сегментации медицинских изображений | Аннотация похожие документы |
| С. А. Мусатян, А. В. Ломакин, С. Ю. Сартасов, Л. К. Попыванов, И. Б. Монахов, А. С. Чижова | ||
| Том 27, № 3 (2015) | Редактор моделей процессов «Carassius» | Аннотация PDF (Rus) похожие документы |
| Н. Никитина, А. Мицюк | ||
| "... allows for dealing with classical graphs, Petri nets, finite-state machines and their systems ..." | ||
| Том 31, № 5 (2019) | Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов» | Аннотация PDF (Rus) похожие документы |
| Александр Валерьянович Самонов | ||
| "... , FUML, OCL structures and mechanisms, the Petri nets mathematical apparatus, time automata and time ..." | ||
| Том 29, № 4 (2017) | Автоматизированный композициональный синтез моделей распределенных систем с помощью паттернов интерфейсов | Аннотация похожие документы |
| Р. А. Нестеров, И. А. Ломазова | ||
| Том 30, № 4 (2018) | Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем | Аннотация похожие документы |
| Х. С. Карраскель, А. Моралес, М. Е. Виллаполь | ||
| "... components of a system. The combination of Colored Petri Nets (CPNs) and Automata Theory has proved ..." | ||
| Том 34, № 2 (2022) | Архитектура программной системы для проектирования надежных бизнес-процессов | Аннотация похожие документы |
| Катарина Вадимовна САМОЙЛОВА, Елена Борисовна ЗАМЯТИНА | ||
| "... , mass service theory, Petri nets. As an example, the logistics process of ship boarding in the port ..." | ||
| Том 35, № 3 (2023) | Синтез моделей процессов по журналам событий мультиагентных систем с помощью отношений между событиями | Аннотация похожие документы |
| Анастасия Андреевна ШЕРСТЮГИНА, Роман Александрович НЕСТЕРОВ | ||
| Том 27, № 3 (2015) | Языковой сервис FRIS для расширенной поддержки Fortran в Microsoft Visual Studio | Аннотация PDF (Rus) похожие документы |
| И. С. Раткевич | ||
| "... programming language in the integrated development environment (IDE) Microsoft Visual Studio. The model ..." | ||
| Том 21 (2011) | Методы точного измерения времени выполнения гнезд циклов при анализе JavaMPI-программ в среде ParJava | Аннотация PDF (Rus) похожие документы |
| А. И. Аветисян, М. С. Акопян, С. С. Гайсарян | ||
| "... explicit data exchange by Java MPI library and is the part of ParJava IDE. Certain kinds of loops ..." | ||
| Том 22 (2012) | Инкрементальный анализ исходного кода на языках C/C++ | Аннотация PDF (Rus) похожие документы |
| В. О. Савицкий, Д. В. Сидоров | ||
| "... part of compilation unit and use it in following iterations of analysis during work inside modern IDEs ..." | ||
| Том 30, № 4 (2018) | Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений | Аннотация похожие документы |
| И. А. Адамович, Анд. В. Климов | ||
| "... development environments (IDE) familiar to programmers and appropriate interactive tools should be developed ..." | ||
| Том 29, № 6 (2017) | Декомпиляция объектных файлов *.dcuil | Аннотация PDF (Rus) похожие документы |
| А. А. Михайлов, А. Е. Хмельнов | ||
| "... , создаваемых компиляторами тех версий Delphi, которые работали для платформы .NET. Разработан метод решения ..." | ||
| Том 31, № 1 (2019) | Анализ характера изменений программ и поиск неисправленных фрагментов кода | Аннотация PDF (Rus) похожие документы |
| Марьям Сероповна Арутюнян, Григорий Сергеевич Иванов, Вааг Геворгович Варданян, Айк Каренович Асланян, Арутюн Ишханович Аветисян, Шамиль Фаимович Курмангалеев | ||
| "... применять его как для анализа сторонних компонентов, так и для анализа бинарных сборок собственного ..." | ||
| Том 28, № 2 (2016) | Применимость AutoProof: учебный пример верификации ПО | Аннотация похожие документы |
| Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин | ||
| "... for improved documentation and emphasizes the need for improvement in the tool itself and in the Eiffel IDE. ..." | ||
| Том 28, № 2 (2016) | Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде | Аннотация похожие документы |
| М. С. Малеванный, С. С. Михалкович | ||
| "... In this paper we describe our approach to representing concerns in an interface of an IDE to make ..." | ||
| Том 26, № 2 (2014) | Описание аппаратных конфигураций гостевых систем в эмуляторе QEMU в виде отдельных текстовых файлов | Аннотация PDF (Rus) похожие документы |
| О. В. Горемыкин | ||
| "... , IDE controllers, sound and USB components, and other). Guest system hardware configuration initialized ..." | ||
| 1 - 39 из 56 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
