Сортировать по:
| Выпуск | Название | |
| Том 29, № 4 (2017) | Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой | Аннотация похожие документы |
| К. В. Давыдова, С. А. Шершаков | ||
| "... splitting an event log into several parts and building UML sequence, activity and communication diagrams. We ..." | ||
| Том 28, № 3 (2016) | Метод автоматического построения иерархических UML-диаграмм последовательности с задаваемым уровнем детализации на основе журналов событий | Аннотация похожие документы |
| К. В. Давыдова, С. А. Шершаков | ||
| "... logs of information systems with a service-oriented architecture (SOA). UML sequence diagrams ..." | ||
| Том 31, № 4 (2019) | Метод построения UML диаграмм деятельности по журналам событий | Аннотация похожие документы |
| Наталья Сергеевна Зубкова, Сергей Андреевич Шершаков | ||
| "... UML Activity Diagrams are widely used models for representing software processes. Models built ..." | ||
| Том 33, № 4 (2021) | Автоматизация проверки UML диаграмм, созданных студентами | Аннотация похожие документы |
| Татьяна Сергеевна ГАШЕВА, Дмитрий Игоревич ВЛАСОВ, Андрей Валерьевич ОТИНОВ, Наталья Николаевна ДАЦУН | ||
| "... Unified Modeling Language (UML) is widely used standard for models visualization in software ..." | ||
| Том 27, № 3 (2015) | Применение раскрашенных сетей Петри для верификации распределенных систем, специфицированных MSC-диаграммами | Аннотация PDF (Rus) похожие документы |
| Сергей Черненок, Валерий Непомнящий | ||
| "... . The considered set of diagram elements is extended by the elements of UML sequence diagrams and compositional MSC ..." | ||
| Том 36, № 4 (2024) | Объединение графов непосредственного следования и диаграмм Санкей для визуализации ациклических процессов | Аннотация похожие документы |
| Илья Денисович ДЕРЕЗОВСКИЙ, Никита Денисович ШАИМОВ, Ирина Александровна ЛОМАЗОВА, Алексей Александрович МИЦЮК | ||
| "... -Follows Graphs (DFG) and Sankey diagrams. DFG is a popular graphical model to visualize discrete process ..." | ||
| Том 27, № 3 (2015) | Унифицированная модель тестирования инструментов разработки объектно-ориентированных приложений | Аннотация PDF (Rus) похожие документы |
| Павел Петрович Олейник | ||
| "... graphical language UML class diagram unified model testing. The paper we verified compliance ..." | ||
| Том 28, № 6 (2016) | Подходы к представлению результатов анализа сетевого трафика | Аннотация PDF (Rus) похожие документы |
| А. И. Гетьман, Ю. В. Маркин, Д. О. Обыденков, В. А. Падарян, А. Ю. Тихонов | ||
| "... diagram are presented. These components are used during investigation of information security violation ..." | ||
| Том 37, № 2 (2025) | Построение гидравлической модели теплообменного аппарата | Аннотация PDF (Rus) похожие документы |
| Елена Сергеевна БАЙМЕТОВА, Мария Равилевна КОРОЛЕВА | ||
| Том 30, № 5 (2018) | Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем | Аннотация PDF (Rus) похожие документы |
| А. В. Самонов, Г. Н. Самонова | ||
| "... systems. These models provide an optimal set of interconnected fUML diagrams presented in ALF notation ..." | ||
| Том 28, № 4 (2016) | Генерация функциональных тестов для HDL-описаний на основе проверки моделей | Аннотация похожие документы |
| М. С. Лебедев, С. А. Смолов | ||
| "... decision diagram (GADD), high-level decision diagram (HLDD) and extended finite-state machine (EFSM ..." | ||
| Том 18 (2010) | Технология создания гетерогенных трасс, их анализа и генерации из них отчётов | Аннотация PDF (Rus) похожие документы |
| С. Г. Грошев | ||
| "... This article describes an architecture of extensible modular system for logging and analysis of log ..." | ||
| Том 29, № 4 (2017) | Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей | Аннотация похожие документы |
| М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов | ||
| "... is a representation of the design in the form of high-level decision diagrams. The coverage model is a set of LTL ..." | ||
| Том 31, № 3 (2019) | Поиск конфликтов доступа к данным в HDL-описаниях | Аннотация похожие документы |
| Александр Сергеевич Камкин, Михаил Сергеевич Лебедев, Сергей Александрович Смолов | ||
| "... ) building; 3) CFG transformation into a Guarded Actions Decision Diagram (GADD); 4) GADD translation ..." | ||
| Том 28, № 1 (2016) | Применение спектральных методов обработки данных к результатам численного моделирования аттракторов внутренних волн | Аннотация PDF (Rus) похожие документы |
| М. Провидухина, И. Сибгатуллин | ||
| "... diagrams were applied to the results of direct numerical simulation of internal wave attractors ..." | ||
| Том 31, № 4 (2019) | Средства трассировки ОС РВ семейства «Багет» | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Годунов, Федор Николаевич Чемерев | ||
| "... logs (traces) generated by RTOS-based software systems is regarded. Specifics of visualizing RTOS ..." | ||
| Том 19 (2010) | Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данных | Аннотация PDF (Rus) похожие документы |
| В. А. Семенов, Д. В. Ильин, С. В. Морозов, О. В. Сидяка | ||
| Том 31, № 3 (2019) | Графический DSL для разработки мобильных приложений | Аннотация похожие документы |
| Артур Владимирович Гудиев, Александра Сергеевна Гражевская | ||
| "... software development, allowing to present program structure in terms of visual diagrams. Besides, graphic ..." | ||
| Том 32, № 3 (2020) | Анализ активности студентов на курсах онлайн-обучения на основе логов платформы «OpenEdu» | Аннотация похожие документы |
| Никита Дмитриевич БАРСУКОВ, Иван Михайлович СЫСОЕВ, Алина Александровна ПЕРЕСКОКОВА, Игорь Валерьевич НИКИФОРОВ, Денисс ПОСМЕТНЫЙС | ||
| "... » open-source software platform. Using the logs that the platform provides us, we can get psychometrics ..." | ||
| Том 31, № 4 (2019) | Симуляция сетей Петри с ингибиторными дугами и дугами сброса | Аннотация похожие документы |
| Павел Алексеевич Перцухов, Алексей Александрович Мицюк | ||
| "... Event logs of software systems are used to analyze their behaviour and inter-component interaction ..." | ||
| Том 30, № 3 (2018) | Симуляция поведения мультиагентных систем с ациклически взаимодействующим агентами | Аннотация похожие документы |
| Р. А. Нестеров, А. А. Мицюк, И. А. Ломазова | ||
| "... one to generate a set of event logs. We suggest our approach to be used for evaluating process ..." | ||
| Том 26, № 2 (2014) | Комбинированный метод верификации масштабных моделей данных | Аннотация PDF (Rus) похожие документы |
| В. А. Семенов, С. В. Морозов, Д. В. Ильин | ||
| "... , such as EXPRESS, UML/OCL. Main benefits of information modeling languages (high expressiveness, declarative nature ..." | ||
| Том 35, № 3 (2023) | Синтез моделей процессов по журналам событий мультиагентных систем с помощью отношений между событиями | Аннотация похожие документы |
| Анастасия Андреевна ШЕРСТЮГИНА, Роман Александрович НЕСТЕРОВ | ||
| "... The structure of a process model directly discovered from an event log of a multi-agent system ..." | ||
| Том 36, № 2 (2024) | Проектирование системы визуализации данных, основанной на языково-ориентированном подходе | Аннотация похожие документы |
| Анна Даниеловна ДЖЕЙРАНЯН, Иван Денисович ЕРМАКОВ, Кирилл Александрович ПРОСКУРЯКОВ, Людмила Николаевна ЛЯДОВА | ||
| "... and transforming constructed models. Languages are designed to describe different classes of diagrams. This system ..." | ||
| Том 28, № 6 (2016) | Моделирование семейств программных систем | Аннотация PDF (Rus) похожие документы |
| Е. М. Лаврищева, А. К. Петренко | ||
| Том 32, № 3 (2020) | Подходы к отладке и обеспечению качества статического анализатора | Аннотация похожие документы |
| Максим Александрович МЕНЬШИКОВ | ||
| "... generation) and logging (log fusion and visual representation) groups are presented. Code generation helps ..." | ||
| Том 31, № 3 (2019) | Цифровое моделирование технологии производства металлообрабатывающих механических цехов | Аннотация похожие документы |
| Всеволод Павлович Котляров, Алексей Павлович Маслаков, Алексей Андреевич Толстолес | ||
| "... is an automatically generated technological route in the form of an MSC diagram encoding it as a sequence of macro ..." | ||
| Том 28, № 2 (2016) | Технология создания семейства приложений на основе анализа предметной области | Аннотация похожие документы |
| А. А. Гудошникова, Ю. В. Литвинов | ||
| "... to generate code of an application using diagrams, which describe this application. The main objective ..." | ||
| Том 30, № 2 (2018) | Онтология предметной области «Удобство использования программного обеспечения» | Аннотация PDF (Rus) похожие документы |
| А. А. Сытник, Т. Э. Шульга, Н. А. Данилов | ||
| "... structure for more easily data sharing. The paper presents a class diagram of the proposed ontology ..." | ||
| Том 31, № 5 (2019) | DOOR: Подход к реструктуризации распределенных объектно-ориентированных систем на основе нейронных сетей | Аннотация PDF (Rus) похожие документы |
| Ахмед Хан | ||
| Том 36, № 4 (2024) | О времени реализации распределенных вычислений в синхронном режиме при ограниченном числе копий программного ресурса | Аннотация PDF (Rus) похожие документы |
| Павел Александрович ПАВЛОВ | ||
| Том 27, № 1 (2015) | Сервисные средства интернет для решения бизнес-задач | Аннотация PDF (Rus) похожие документы |
| Е. М. Лаврищева, Л. Е. Карпов, А. Н. Томилин | ||
| "... , service-oriented approach (SOA), service-component architectures (SCA), and Windows Communication ..." | ||
| Том 35, № 1 (2023) | Систематический обзор литературы по тестированию программного обеспечения в контексте DevOps | Аннотация похожие документы |
| Брайан ПАНДО, Авраам ДАВИЛА | ||
| "... in the industry and is done on web applications and SOA. The most reported types of tests are unit and integration ..." | ||
| Том 32, № 5 (2020) | Модельный подход к обеспечению безопасности и надежности Web-сервисов | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна ЛАВРИЩЕВА, Сергей Вадимович ЗЕЛЕНОВ | ||
| "... of the modeling problem, the experience of using modern service tools SOA, SCA, SOAP in software/hardware systems ..." | ||
| Том 31, № 1 (2019) | Моделирование прикладных и информационных систем из готовых сервисных ресурсов Интернет | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна Лаврищева, Вадим Сергеевич Мутилин, Святослав Владимирович Козин, Андрей Геннадьевич Рыжов | ||
| "... ), interfaces in languages IDL and WSDL, and service components are created in SOA, SCA IBM Sphere, or get out ..." | ||
| Том 28, № 3 (2016) | Применение MapReduce для проверки соответствия моделей процессов и логов событий | Аннотация похожие документы |
| И. С. Шугуров, А. А. Мицюк | ||
| "... and improvement, which are based on studying their execution history (event logs). Conformance checking is one ..." | ||
| Том 33, № 2 (2021) | Разработка Web-приложений с учетом элементов качества данных – DQAWA | Аннотация PDF (Rus) похожие документы |
| Сезар Артуро ГУЕРРА-ГАРСИЯ, Гектор Херардо ПЕРЕС-ГОНСАЛЕС, Марко Тулио РАМИРЕС-ТОРРЕС, Рейес ХУАРЕС-РАМИРЕС | ||
| "... , this work presents a partial outcome of our research in this novel field: a metamodel and a UML profile ..." | ||
| Том 22 (2012) | Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU | Аннотация PDF (Rus) похожие документы |
| К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян | ||
| "... into the log to allow latter replaying of deterministic part. The common thing in both approaches ..." | ||
| Том 24 (2013) | Вероятностный анализ нового алгоритма упаковки прямоугольников в полосу | Аннотация PDF (Rus) похожие документы |
| М. А. Трушников | ||
| "... recently by the author and prove new upper bound of unpacked area of order O(n^{1/2} (log n)^{3/2}) which ..." | ||
| 1 - 39 из 57 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
