Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 28, № 2 (2016) Композиционная модель и способ построения функционально-ориентированных информационных ресурсов информационно-управляющих систем Аннотация  PDF (Rus)  похожие документы
И. И. Чукляев
"... В статье представлена композиционная модель функционально-ориентированных информационных ресурсов ..."
 
Том 29, № 5 (2017) Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ Аннотация  PDF (Rus)  похожие документы
А. И. Легалов, В. С. Васильев, И. В. Матковский, М. С. Ушакова
"... организацию вычислений, на информационный граф, описывающий функциональные особенности реализуемого алгоритма ..."
 
Том 26, № 5 (2014) Стохастическая модель процесса идентификации сервисов информационной системы Аннотация  PDF (Rus)  похожие документы
Г. Н. Циперман
"... требований к информационной системе в сервис-ориентированной архитектуре. Для этого предлагается ..."
 
Том 31, № 5 (2019) Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов» Аннотация  PDF (Rus)  похожие документы
Александр Валерьянович Самонов
"... -языковой и информационно-программной среде автоматизированным способом на основе предметно-ориентированной ..."
 
Том 28, № 3 (2016) Модель разграничения прав доступа для объектно-ориентированных и объектно-атрибутных приложений Аннотация  похожие документы
П. П. Олейник, С. М. Салибекян
"... приводится описание двух методик защиты информации. Первая разработана для защиты объектно-ориентированных ..."
 
Том 27, № 3 (2015) Унифицированная модель тестирования инструментов разработки объектно-ориентированных приложений Аннотация  PDF (Rus)  похожие документы
Павел Петрович Олейник
"... -ориентированных приложений. На основе имеющихся литературных источников были выделены недостатки имеющихся работ и ..."
 
Том 28, № 4 (2016) Язык описания шаблонов для генерации тестовых программ для микропроцессоров Аннотация  похожие документы
А. Д. Татарников
"... является наиболее широко применяемым подходом к функциональной верификации микропроцессоров. Данная задача ..."
 
Том 37, № 3 (2025) Тестирование в жизненном цикле автоматизированных систем Аннотация  PDF (Rus)  похожие документы
Борис Аронович ПОЗИН
 
Том 28, № 2 (2016) Дизайн средств обобщённого программирования в объектно-ориентированных языках: ключевые решения Аннотация  похожие документы
Ю. В. Белякова
"... функциональным языкам в этом отношении? В предыдущих исследованиях объектно-ориентированные языки не ..."
 
Том 34, № 1 (2022) Прослеживаемость требований как основа проектирования функционально-логической архитектуры программной системы Аннотация  похожие документы
Борис Аронович ПОЗИН, Григорий Наумович ЦИПЕРМАН
"... информационной системе на протяжении всего жизненного цикла. Показано, как бесшовная архитектура обеспечивает ..."
 
Том 30, № 5 (2018) Метод анализа атак повторного использования кода Аннотация  PDF (Rus)  похожие документы
А. В. Вишняков, А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, С. С. Гайсарян
"... внимание анализу инцидентов информационной безопасности. Атаки повторного использования кода, основанные на ..."
 
Том 33, № 5 (2021) Формальные правила продукции объектной нотации для данных, определяемых EXPRESS схемой Аннотация  PDF (Rus)  похожие документы
Виталий Адольфович СЕМЕНОВ, Семен Васильевич АРИШИН, Георгий Витальевич СЕМЕНОВ
"... объектно-ориентированный язык моделирования EXPRESS, предназначенный для формального описания схем данных ..."
 
Том 29, № 4 (2017) Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой Аннотация  похожие документы
К. В. Давыдова, С. А. Шершаков
"... исполнения, представленных в виде журналов событий, систем с сервис-ориентированной архитектурой (СОА). В то ..."
 
Том 33, № 5 (2021) Онтологическое обеспечение управления рисками информационной безопасности Аннотация  PDF (Rus)  похожие документы
Ибрагим БУБАКАР, Марина Борисовна БУДЬКО, Михаил Юрьевич БУДЬКО, Алексей Валерьевич ГИРИК
"... В итоге выполнения работы, ориентированной на повышение эффективности системы информационной ..."
 
Том 35, № 1 (2023) Разработка адаптируемой информационной панели для умных городов Аннотация  похожие документы
Виктор КОНТРЕРАС-ФИГЕРОА, Луис Херардо МОНТАНЕ-ХИМЕНЕС, Мария СЕПЕРО-ГАРСИА, Эдгар БЕНИТЕС-ГЕРРЕРО, Кармен МЕЗУРА-ГОДОЙ
"... Сегодня существуют умные города, в которых за счет использования информационных технологий ..."
 
Том 32, № 2 (2020) HP-граф как основа для разработки редактора визуальных моделей DSM-платформы Аннотация  похожие документы
Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА
"... Языково-ориентированный подход становится все более популярным при разработке информационных ..."
 
Том 30, № 3 (2018) Статический анализ зависимостей для семантической валидации данных Аннотация  похожие документы
Д. В. Ильин, Н. Ю. Фокина, В. А. Семенов
"... Современные информационные системы манипулируют моделями данных, содержащими миллионы объектов, и ..."
 
Том 26, № 2 (2014) Комбинированный метод верификации масштабных моделей данных Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, С. В. Морозов, Д. В. Ильин
"... различных индустриальных областях и специфицируемых на популярных универсальных объектно-ориентированных ..."
 
Том 29, № 3 (2017) О проблеме представления формальной модели политики безопасности операционных систем Аннотация  PDF (Rus)  похожие документы
П. Н. Девянин
"... операционным системам» в работе анализируются пути выполнения требований функциональной компоненты ADV_SPM.1 ..."
 
Том 29, № 5 (2017) Модифицированные коды с суммированием взвешенных переходов в системах функционального контроля комбинационных схем Аннотация  PDF (Rus)  похожие документы
В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов
"... разрядами в информационных векторах, занимающими соседние позиции в информационных векторах. Новые коды с ..."
 
Том 31, № 1 (2019) Моделирование прикладных и информационных систем из готовых сервисных ресурсов Интернет Аннотация  PDF (Rus)  похожие документы
Екатерина Михайловна Лаврищева, Вадим Сергеевич Мутилин, Святослав Владимирович Козин, Андрей Геннадьевич Рыжов
"... Рассматривается подход к созданию сложных (информационных и прикладных) систем из готовых ресурсов ..."
 
Том 31, № 5 (2019) Разработка языка: OOP or not OOP or better OOP Аннотация  PDF (Rus)  похожие документы
Алексей Евгеньевич Недоря
"... языке программирования, который рассматривается как движение в сторону компонентно-ориентированного ..."
 
Том 21 (2011) Обзор моделей данных объектно-ориентированных СУБД Аннотация  PDF (Rus)  похожие документы
А. М. Эльдарханов
"... Объектно-ориентированные СУБД - одно из наиболее перспективных направлений развития современной ..."
 
Том 31, № 3 (2019) Графический DSL для разработки мобильных приложений Аннотация  похожие документы
Артур Владимирович Гудиев, Александра Сергеевна Гражевская
"... . Графические предметно-ориентированные языки (DSL) облегчают разработку  программ путем применения абстракций ..."
 
Том 36, № 2 (2024) TQL: тематическое исследование внедрения предметно-ориентированного языка в продукт Аннотация  похожие документы
Артём Дмитриевич БЕЛОУСОВ
"... Предметно-ориентированные языки используются во многих современных приложениях и программных ..."
 
Том 31, № 2 (2019) Непрерывная интеграция функционального наполнения распределенных пакетов прикладных программ в Orlando Tools Аннотация  PDF (Rus)  похожие документы
Александр Геннадьевич Феоктистов, Сергей Алексеевич Горский, Иван Александрович Сидоров, Роман Олегович Костромин, Евгений Сергеевич Фереферов, Игорь Вячеславович Бычков
"... вычислительной среде. Эти проблемы возникают в процессе поддержки непрерывной интеграции функционального ..."
 
Том 27, № 5 (2015) Современные методы аспектно-ориентированного анализа эмоциональной окраски Аннотация  PDF (Rus)  похожие документы
И. А. Андрианов, В. Д. Майоров, Д. Ю. Турдаков
"... -ориентированного анализа эмоциональной окраски текстов. Данная задача решалась в рамках нескольких конференций ..."
 
Том 32, № 5 (2020) Разработка компиляторов предметно-ориентированных языков для спецпроцессоров Аннотация  PDF (Rus)  похожие документы
Пётр Николаевич СОВЕТОВ
"... , программируемые на предметно-ориентированных языках. Популярность набирает подход compiler-in-the-loop ..."
 
Том 27, № 6 (2015) Модель проблемно-ориентированной облачной вычислительной среды Аннотация  PDF (Rus)  похожие документы
Г. И. Радченко
"... использованы подходы предоставления распределенных проблемно-ориентированных вычислительных сред. Они ..."
 
Том 30, № 2 (2018) Проблема отката в ориентированной распределенной системе Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... Для распределенной системы, в основе которой лежит ориентированный граф без кратных ребер и петель ..."
 
Том 33, № 5 (2021) Автоматизация разработки на Vulkan: предметно-ориентированный подход Аннотация  PDF (Rus)  похожие документы
Владимир Александрович ФРОЛОВ, Вадим Владимирович САНЖАРОВ, Владимир Александрович ГАЛАКТИОНОВ, Александр Станиславович ЩЕРБАКОВ
 
Том 36, № 6 (2024) Предметно-ориентированное проектирование в микросервисной архитектуре Аннотация  похожие документы
Хосуэ САНГАБРИЭЛЬ-АЛАРКОН, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС, Ксавьер ЛИМОН, М. Карен КОРТЕС-ВЕРДИН
"... необходимы такие подходы, как предметно-ориентированное проектирование (Domain-Driven Design, DDD). DDD уже ..."
 
Том 37, № 1 (2025) Применение формальных спецификаций системы команд для функционального тестирования языковых виртуальных машин Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич ПРОЦЕНКО
"... . В статье представлен метод функционального тестирования языковых ВМ на основе формальных ..."
 
Том 36, № 1 (2024) Тест на удобство использования для учителей при обучении уходу за детьми с нарушениями слуха на основе информационно-коммуникационных технологий Аннотация  похожие документы
Этельвина АРЧУНДИЯ-СЬЕРРА
"... , ориентированной на пользователя (UCD), и проведение системного тестирования по шкале удобства использования (SUS ..."
 
Том 18 (2010) Генерация тестовых программ для микропроцессоров на основе шаблонов конвейерных конфликтов Аннотация  PDF (Rus)  похожие документы
Д. Н. Воробьев, А. С. Камкин
"... управляющей логики микропроцессоров. Методика основана на формальной спецификации системы команд и описании ..."
 
Том 26, № 6 (2014) Параллельные вычисления автоматами на прямом и обратном остовах графа Аннотация  PDF (Rus)  похожие документы
Игорь Бурдонов, Александр Косачев, Виктор Кулямин
 
Том 31, № 3 (2019) Поиск конфликтов доступа к данным в HDL-описаниях Аннотация  похожие документы
Александр Сергеевич Камкин, Михаил Сергеевич Лебедев, Сергей Александрович Смолов
"... данным в HDL-описаниях. Метод реализован в инструменте Retrascope и ориентирован на конфликты следующих ..."
 
Том 36, № 2 (2024) Проектирование системы визуализации данных, основанной на языково-ориентированном подходе Аннотация  похожие документы
Анна Даниеловна ДЖЕЙРАНЯН, Иван Денисович ЕРМАКОВ, Кирилл Александрович ПРОСКУРЯКОВ, Людмила Николаевна ЛЯДОВА
"... Предлагается метод визуализации данных, основанный на языково-ориентированном подходе. Проведен ..."
 
Том 26, № 1 (2014) Средства функциональной верификации микропроцессоров Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов
"... фундаментальной проблемой, для решения которой применяют разнообразные средства функциональной верификации. В ..."
 
1 - 39 из 301 результатов 1 2 3 4 5 6 7 8 > >> 

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

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