Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 4 (2017) Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой Аннотация  похожие документы
К. В. Давыдова, С. А. Шершаков
"... In the paper we consider a method for mining so-called “hybrid” UML models, that refers to software ..."
 
Том 28, № 3 (2016) Метод автоматического построения иерархических UML-диаграмм последовательности с задаваемым уровнем детализации на основе журналов событий Аннотация  похожие документы
К. В. Давыдова, С. А. Шершаков
"... In this paper, we consider an approach to reverse engineering of UML sequence diagrams from event ..."
 
Том 31, № 4 (2019) Метод построения UML диаграмм деятельности по журналам событий Аннотация  похожие документы
Наталья Сергеевна Зубкова, Сергей Андреевич Шершаков
"... UML Activity Diagrams are widely used models for representing software processes. Models built ..."
 
Том 19 (2010) Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данных Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, Д. В. Ильин, С. В. Морозов, О. В. Сидяка
 
Том 27, № 3 (2015) Унифицированная модель тестирования инструментов разработки объектно-ориентированных приложений Аннотация  PDF (Rus)  похожие документы
Павел Петрович Олейник
"... graphical language UML class diagram unified model testing. The paper we verified compliance ..."
 
Том 26, № 2 (2014) Комбинированный метод верификации масштабных моделей данных Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, С. В. Морозов, Д. В. Ильин
"... , such as EXPRESS, UML/OCL. Main benefits of information modeling languages (high expressiveness, declarative nature ..."
 
Том 30, № 4 (2018) К синтезу адаптивных различающих последовательностей для конечных автоматов Аннотация  PDF (Rus)  похожие документы
А. С. Твардовский, Н. В. Евтушенко
"... . Существование последовательностей, различающих каждую пару состояний в автомате-спецификации, может существенно ..."
 
Том 27, № 3 (2015) Применение раскрашенных сетей Петри для верификации распределенных систем, специфицированных MSC-диаграммами Аннотация  PDF (Rus)  похожие документы
Сергей Черненок, Валерий Непомнящий
"... . The considered set of diagram elements is extended by the elements of UML sequence diagrams and compositional MSC ..."
 
Том 28, № 6 (2016) Моделирование семейств программных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, А. К. Петренко
 
Том 28, № 3 (2016) К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов Аннотация  PDF (Rus)  похожие документы
А. Д. Ермаков, Н. В. Евтушенко
"... Существует достаточно много публикаций, посвященных построению проверяющей последовательности для ..."
 
Том 28, № 6 (2016) Извлечение аспектных терминов на основе условных случайных полей и векторных представлений слов Аннотация  PDF (Rus)  похожие документы
Д. О. Машкин, Е. В. Котельников
"... проблема разметки последовательности; для её решения применяется модель условных случайных полей (CRF). Для ..."
 
Том 30, № 5 (2018) Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем Аннотация  PDF (Rus)  похожие документы
А. В. Самонов, Г. Н. Самонова
"... архитектуры СПТС, построенных на основе оптимального набора взаимосвязанных fUML диаграмм, представленных в ..."
 
Том 28, № 1 (2016) Применение спектральных методов обработки данных к результатам численного моделирования аттракторов внутренних волн Аннотация  PDF (Rus)  похожие документы
М. Провидухина, И. Сибгатуллин
"... Гильберта и частотно-временных диаграмм к результатам численного моделирования аттракторов внутренних волн ..."
 
Том 31, № 5 (2019) DOOR: Подход к реструктуризации распределенных объектно-ориентированных систем на основе нейронных сетей Аннотация  PDF (Rus)  похожие документы
Ахмед Хан
 
Том 28, № 4 (2016) Генерация функциональных тестов для HDL-описаний на основе проверки моделей Аннотация  похожие документы
М. С. Лебедев, С. А. Смолов
"... . Метод генерации тестов включает автоматическое построение моделей следующих типов: решающие диаграммы ..."
 
Том 29, № 4 (2017) Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей Аннотация  похожие документы
М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов
"... -описания. Модель системы представлена в виде высокоуровневых решающих диаграмм. Модель покрытия - это ..."
 
Том 31, № 3 (2019) Поиск конфликтов доступа к данным в HDL-описаниях Аннотация  похожие документы
Александр Сергеевич Камкин, Михаил Сергеевич Лебедев, Сергей Александрович Смолов
"... диаграмму охраняемых действий (GADD-модель); 4) трансляция GADD-модели в формат инструмента nuXmv. Условия ..."
 
1 - 17 из 17 результатов

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)