Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 35, № 1 (2023) Систематический обзор литературы по совершенствованию процессов разработки требований к программному обеспечению Аннотация  похожие документы
Сильвия АЛЬМЕЙДА, Авраам ДАВИЛА
"... process improvement has contributed to the software industry, in the case of software requirements ..."
 
Том 27, № 3 (2015) Бесшовная разработка программного обеспечения: применимость на примере Аннотация  PDF (Rus)  похожие документы
Александр Наумчев
"... Requirements and code, in conventional software engineering wisdom, belong to entirely different ..."
 
Том 36, № 1 (2024) Основы квантовых вычислений и их связь с разработкой программного обеспечения Аннотация  похожие документы
Рейес ХУАРЕС-РАМИРЕС, Чристиан Ксавьер НАВАРРО-КОТА, Саманта ХИМЕНЕС, Алан Давид РАМИРЕС-НОРЬЕГА, Ма Вероника ТАПИЯ-ИБАРРА, Сесар Артуро ГЕРРА-ГАРСИЯ, Эктор Херардо ПЕРЕС-ГОНСАЛЕС, Карлос Альберто ФЕРНАНДЕС-И-ФЕРНАНДЕС
"... and the derived concepts that integrate the emerging discipline of quantum software engineering. Because ..."
 
Том 35, № 1 (2023) Систематический обзор литературы по стандарту ISO/IEC 29110 и образованию в области программной инженерии Аннотация  похожие документы
Луис ВИВЕС, Карин МЕЛЕНДЕC, Авраам ДАВИЛА
"... in the university context, especially from the perspective of software engineering education. ISO 29110 is a life ..."
 
Том 28, № 2 (2016) Практический опыт реализации подходов программной и системной инженерии для управления требованиями при разработке программного обеспечения в авиационной отрасли Аннотация  похожие документы
И. В. Ковернинский, А. В. Кан, В. Б. Волков, Ю. С. Попов, Н. К. Горелиц
"... development is made. The main basics of software and system engineering approaches and discipline are set out ..."
 
Том 36, № 2 (2024) Четырёхмерный ACC анализ Аннотация  похожие документы
Назгуль Ибрагимовна МУСТАФИНА, Михаил Александрович ПЛАКСИН, Полина Алексеевна МИКИШЕВА
"... of the method. The work proposes a new approach to risk management and process improvement in testing software ..."
 
Том 29, № 5 (2017) Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, С. В. Морозов, В. А. Семенов, О. А. Тарлапан
"... for software implementation of models, methods and applications of scheduling theory. Due to the availability ..."
 
Том 30, № 2 (2018) Онтология предметной области «Удобство использования программного обеспечения» Аннотация  PDF (Rus)  похожие документы
А. А. Сытник, Т. Э. Шульга, Н. А. Данилов
"... The article presents the ontology of the "Software usability" domain. Authors provides the review ..."
 
Том 30, № 5 (2018) Информатика: становление программного обеспечения и технологий программных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, А. К. Петренко
"... Formation of Informatics and aspects of computer software development, in particular, operating ..."
 
Том 34, № 1 (2022) Прослеживаемость требований как основа проектирования функционально-логической архитектуры программной системы Аннотация  похожие документы
Борис Аронович ПОЗИН, Григорий Наумович ЦИПЕРМАН
"... traceability of requirements from the level of the business process, to the functional and logical ..."
 
Том 35, № 3 (2023) Применение методов интеллектуального анализа процессов в ходе разработки семейства мобильных приложений Аннотация  похожие документы
Людмила Александровна РЕЗУНИК, Алиса Игоревна ПЕРЕВОЗНИКОВА, Дарья Валерьевна ЕРЕМИНА, Алексей Александрович МИЦЮК
"... , and unwanted discrepancies in applications. In this paper, we show that process mining can be applied ..."
 
Том 30, № 4 (2018) Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности Аннотация  похожие документы
Н. К. Горелиц, А. С. Гукова, Е. В. Песков
"... like DO-178C, DO-254, ARP 4754A, ARP 4761 etc. In the article configuration management process from ..."
 
Том 31, № 6 (2019) Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян
"... sufficient security in contemporary software without inspecting its properties at this level. A key component ..."
 
Том 31, № 1 (2019) К разработке открытого программного обеспечения для реконструкции CAD-моделей Аннотация  PDF (Rus)  похожие документы
Сергей Евгеньевич Сляднев, Вадим Евгеньевич Турлапов
"... We describe an open source software package aimed at solving reverse engineering problems for CAD ..."
 
Том 36, № 6 (2024) Может ли языковая модель на базе chatGPT измерять функциональный размер методом COSMIC? Аннотация  похожие документы
Франсиско ВАЛЬДЕС-СОУТО, Даниэль ТОРРЕС-РОБЛЕДО
"... The process of developing software is intricate and time-consuming. Resource estimation is one ..."
 
Том 36, № 1 (2024) Личностные и технические навыки студентов-программистов, полученные в университетской компании по разработке программного обеспечения Аннотация  похожие документы
Хорхе Рафаэль АГИЛАР СИСНЕРОС, Карлос Альберто ФЕРНАНДЕС-И-ФЕРНАНДЕС
"... ’s reliability. Outcomes could be useful when a software engineering faculty wishes to set up a USDC. ..."
 
Том 34, № 2 (2022) Архитектура программной системы для проектирования надежных бизнес-процессов Аннотация  похожие документы
Катарина Вадимовна САМОЙЛОВА, Елена Борисовна ЗАМЯТИНА
"... such business processes remains relevant. This paper proposes a software system, which involves the use ..."
 
Том 22 (2012) Программная конвейеризация циклов на платформе ARM Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий
"... This article describes improvements we made in the implementation of swing modulo scheduling (SMS ..."
 
Том 33, № 3 (2021) Какие стили архитектуры программного обеспечения популярны? Аннотация  похожие документы
Алексей Александрович МИЦЮК, Николай Арсенович ЖАМГАРЯН
"... One can meet the software architecture style's notion in the software engineering literature ..."
 
Том 33, № 1 (2021) Размышление о дизайне и восприятии пользователями приложения Tamil talk Аннотация  похожие документы
Радж РАМАЧАНДРАН СУБРАМАНЬЯН, Эммануэль Кайоде Акиншола ОГУНШИЛЕ
 
Том 23 (2012) Комбинаторная генерация программных конфигураций ОС Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин
"... to change both accounting of tuples covered and test construction process, which includes now the parametres ..."
 
Том 27, № 3 (2015) Метод автоматической конкретизации символических тестовых сценариев Аннотация  PDF (Rus)  похожие документы
Никита Воинов, Павел Дробинцев, Игорь Никифоров, Всеволод Котляров, Александр Колчин
"... of automated software verification and testing technology. Tools for automated concretization process based ..."
 
Том 35, № 3 (2023) К вопросу использования в образовательном процессе разработанного программного обеспечения для исследования акустических трактов магнитострикционных преобразователей перемещений Аннотация  PDF (Rus)  похожие документы
Артем Алексеевич ИВЗАНОВ, Александр Анатольевич ВОРОНЦОВ, Юрий Николаевич СЛЕСАРЕВ
"... of magnetic flux and output signal were implemented in the developed software used in the educational process ..."
 
Том 35, № 5 (2023) Разработка доверенных средств проектирования ИС в базисе гетерогенных ПЛИС Аннотация  PDF (Rus)  похожие документы
Сергей Витальевич ГАВРИЛОВ, Даниил Александрович ЖЕЛЕЗНИКОВ, Мария Андреевна ЗАПЛЕТИНА, Иван Викторович ТИУНОВ, Василий Михайлович ХВАТОВ, Рустам Жамболатович ЧОЧАЕВ, Дмитрий Борисович ШОКАРЕВ
"... approach to the development of a computer-aided design system based on the use of open-source software ..."
 
Том 26, № 3 (2014) Современные модели и методы теории расписаний Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, В. А. Семенов
"... as the problem of efficient software implementation taking into account specificity of subject area. A usage ..."
 
Том 29, № 4 (2017) Статическая верификация конфигураций ядра Linux Аннотация  похожие документы
С. В. Козин, В. С. Мутилин
"... The Linux kernel is often used as a real world case study to demonstrate novel software product ..."
 
Том 29, № 4 (2017) Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой Аннотация  похожие документы
К. В. Давыдова, С. А. Шершаков
"... In the paper we consider a method for mining so-called “hybrid” UML models, that refers to software ..."
 
Том 35, № 6 (2023) Валидация требований и ее влияние на качество при использовании программного обеспечения: тематическое исследование Аннотация  PDF (Rus)  похожие документы
Луис КАНЧАРИ, Паула Мария АНГЕЛЕРИ, Авраам Элисео ДАВИЛА РАМОН
"... In this study, the relationship between the improvement of software requirement quality ..."
 
Том 35, № 1 (2023) Систематический обзор литературы по тестированию программного обеспечения в контексте DevOps Аннотация  похожие документы
Брайан ПАНДО, Авраам ДАВИЛА
"... DevOps is a philosophy and framework that allows software development and operations teams to work ..."
 
Том 35, № 1 (2023) Влияние ролей Белбина на дизайн базы данных: исследовательский эксперимент Аннотация  похожие документы
Рауль Антонио АГИЛАР ВЕРА, Адриана ПЕНЬЯ, Хулио Сезар ДИАС-МЕНДОЗА, Хуан Пабло УКАН ПЕЧ
"... Software process has been studied from various perspectives, among them, the human factor is one ..."
 
Том 31, № 2 (2019) Непрерывная интеграция функционального наполнения распределенных пакетов прикладных программ в Orlando Tools Аннотация  PDF (Rus)  похожие документы
Александр Геннадьевич Феоктистов, Сергей Алексеевич Горский, Иван Александрович Сидоров, Роман Олегович Костромин, Евгений Сергеевич Фереферов, Игорь Вячеславович Бычков
"... testing, and analysis of the execution time of software module versions in a heterogeneous distributed ..."
 
Том 36, № 1 (2024) Глубокое обучение при выработке нефункциональных требований: подход на основе сверточных нейронных сетей Аннотация  похожие документы
Сандра Эстефания МАРТИНЕС ГАРСИЯ, Карлос Альберто ФЕРНАНДЕС-И-ФЕРНАНДЕС, Эрик Г. РАМОС ПЕРЕС
"... The Requirements Engineering (ER) phase plays a critical role in software development, as any ..."
 
Том 30, № 6 (2018) О новом поколении промежуточных представлений, применяемых для анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко
"... acyclic graph describing the decoding process in universal terms. The second component of an analysis ..."
 
Том 29, № 5 (2017) Объектно-ориентированная среда для разработки приложений планирования движения Аннотация  PDF (Rus)  похожие документы
К. А. Казаков, В. А. Семенов
"... In this paper, we discuss principles of the organization and functioning of the software framework ..."
 
Том 30, № 5 (2018) Подход к анализу исполняемого кода на основе восстановления программной архитектуры Аннотация  PDF (Rus)  похожие документы
Д. С. Кононов
"... the feasibility of restoring the software architecture in a two-step process: first, the separate components ..."
 
Том 35, № 6 (2023) Оценки сложности программного обеспечения на основе косвенных связей Аннотация  PDF (Rus)  похожие документы
Хосе НАВАС-СУ, Антонио ГОНСАЛЕС-ТОРРЕС
"... Software development can be a time-consuming and costly process that requires a significant amount ..."
 
Том 31, № 4 (2019) Разработка программного обеспечения квадрокоптера с повышенными требованиями к надёжности на основе партицированной ОС и технологий формальной верификации Аннотация  похожие документы
Сергей Михайлович Старолетов, Максим Станиславович Амосов, Кирилл Михайлович Шульга
"... -cost components in order to obtain a hardware prototype and to develop a software solution ..."
 
Том 33, № 3 (2021) Транскрипция исторических записей актов гражданского состояния с использованием экстремального модельно-управляемого подхода Аннотация  похожие документы
Раффлезия ХАН, Александр ШИВЕК, Сиара БРЕТНАХ, Тициана МАРГАРИА
"... through appropriate abstraction. Model-driven system engineering identifies and integrates appropriate ..."
 
Том 34, № 1 (2022) Оценка уровня защищенности недоверенного программного обеспечения на основе технологии TrustZone Аннотация  похожие документы
Дмитрий Олегович МАРКИН, Сергей Михайлович МАКЕЕВ, Чунг Тхай ХО
"... software from the components of the TrustZone technology. The results of vulnerability analysis ..."
 
1 - 39 из 628 результатов 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 > >> 

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

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