Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 35, № 6 (2023) Валидация требований и ее влияние на качество при использовании программного обеспечения: тематическое исследование Аннотация  PDF (Rus)  похожие документы
Луис КАНЧАРИ, Паула Мария АНГЕЛЕРИ, Авраам Элисео ДАВИЛА РАМОН
"... product quality-in-use and the measure of metrics from ISO/IEC 25010 standard in two software products ..."
 
Том 21 (2011) Риски проектирования и производства мобильных программных продуктов Аннотация  PDF (Rus)  похожие документы
В. В. Липаев
"... The paper introduces main notions and properties of risks of software complexes. Factors and types ..."
 
Том 28, № 6 (2016) Моделирование семейств программных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, А. К. Петренко
"... Complex software systems always exist for a long time, sometimes changing, and this leads ..."
 
Том 35, № 3 (2023) Применение методов интеллектуального анализа процессов в ходе разработки семейства мобильных приложений Аннотация  похожие документы
Людмила Александровна РЕЗУНИК, Алиса Игоревна ПЕРЕВОЗНИКОВА, Дарья Валерьевна ЕРЕМИНА, Алексей Александрович МИЦЮК
"... , анализируются журналы событий приложений для платформ Android и iOS из одного и того же семейства программных ..."
 
Том 29, № 4 (2017) Статическая верификация конфигураций ядра Linux Аннотация  похожие документы
С. В. Козин, В. С. Мутилин
"... The Linux kernel is often used as a real world case study to demonstrate novel software product ..."
 
Том 30, № 2 (2018) Онтология предметной области «Удобство использования программного обеспечения» Аннотация  PDF (Rus)  похожие документы
А. А. Сытник, Т. Э. Шульга, Н. А. Данилов
"... The article presents the ontology of the "Software usability" domain. Authors provides the review ..."
 
Том 32, № 2 (2020) Анализ российского программного обеспечения для поддержки жизненного цикла разработки бортовых систем в условиях политики импортозамещения Аннотация  похожие документы
Наталья Кирилловна ГОРЕЛИЦ, Александра Сергеевна ГУКОВА, Дмитрий Владимирович КРАСНОЩЕКОВ
"... ’t facilitate the issue solving. The choice of software tools is an important component of success while ..."
 
Том 36, № 1 (2024) Исследование роли ботов в разработке программного обеспечения Аннотация  похожие документы
Рикардо МОГЕЛЬ-САНЧЕС, Сесар Серхио МАРТИНЕС-ПАЛАСИОС, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС, Ксавьер ЛИМОН, Анхель Хуан САНЧЕС-ГАРСИЯ
"... . The key benefits of utilizing bots include improved software quality, provision of information ..."
 
Том 33, № 6 (2021) Моделирование операционных, программных и технических систем в проектах РФФИ Аннотация  PDF (Rus)  похожие документы
Екатерина Михайловна ЛАВРИЩЕВА, Александр Константинович ПЕТРЕНКО
"... A wide range of issues of theory and practice in the development of large-scale software ..."
 
Том 32, № 1 (2020) Технологии автоматического тестирования программных комплексов реалистичной компьютерной графики Аннотация  PDF (Rus)  похожие документы
Евгений Юрьевич Денисов, Алексей Геннадьевич Волобой, Елисей Дмитриевич Бирюков, Михаил Сергеевич Копылов, Ирина Александровна Калугина
"... The article describes the technology of automatic software testing in relation to industrial ..."
 
Том 30, № 4 (2018) Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности Аннотация  похожие документы
Н. К. Горелиц, А. С. Гукова, Е. В. Песков
"... selection. Selected criteria can be applied to software tool, which supports entire development lifecycle ..."
 
Том 33, № 1 (2021) Качество обслуживания в программно-определяемых сетях для научных приложений: возможности и проблемы Аннотация  PDF (Rus)  похожие документы
Хосе Элено ЛОСАНО-РИCК, Рауль РИВЕРА-РОДРИГЕС, Хуан Иван НЬЕТО-ИПОЛИТО, Сальвадор ВИЛЛАРРЕАЛЬ-РЕЙС, Алехандро ГАЛАВИС-МОСКЕДА, Мабель ВАСКЕС-БРИСЕНО
"... стороны, программно-определяемая сеть (SDN) представляет собой новую парадигму коммуникационной связи ..."
 
Том 35, № 1 (2023) Систематический обзор литературы по совершенствованию процессов разработки требований к программному обеспечению Аннотация  похожие документы
Сильвия АЛЬМЕЙДА, Авраам ДАВИЛА
"... Software analysis is the process carried out to obtain requirements that reflects the needs ..."
 
Том 29, № 6 (2017) Поиск недостающих вызовов библиотечных функций с использованием машинного обучения Аннотация  PDF (Rus)  похожие документы
И. А. Якимов, А. С. Кузнецов
"... Разработка программного обеспечения является сложным и подверженным ошибкам процессом. В целях ..."
 
Том 29, № 2 (2017) Развитие ядра операционной системы Linux Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков
"... methods and tools for software quality assurance. ..."
 
Том 30, № 6 (2018) Принципы построения межведомственного центра коллективного пользования общего назначения в модели программно-определяемого ЦОД Аннотация  PDF (Rus)  похожие документы
Б. М. Шабанов, О. И. Самоваров
"... of a data center - the concept of software-defined infrastructure. Software-defined is such a data center ..."
 
Том 28, № 2 (2016) Подход к обнаружению анти-паттернов в сервис-ориентированных системах Аннотация  похожие документы
А. С. Югов
"... in industry of software engineering because it allows the implementation of distributed systems characterized ..."
 
Том 35, № 6 (2023) Оценки сложности программного обеспечения на основе косвенных связей Аннотация  PDF (Rus)  похожие документы
Хосе НАВАС-СУ, Антонио ГОНСАЛЕС-ТОРРЕС
"... enhance the quality and efficiency of software development and maintenance processes. ..."
 
Том 34, № 3 (2022) Платформа мобильного обучения, ориентированная на мониторинг и настройку обучения: оценка удобства использования на основе лабораторного исследования Аннотация  похожие документы
Эрминио ДЕЛЬ АНХЕЛЬ-ФЛОРЕС, Эдуардо ЛОПЕС-ДОМИНГЕС, Есения ЭРНАНДЕС-ВЕЛАСКЕС, Сауль ДОМИНГЕС-ИСИДРО, Мария Ауксилио МЕДИНА-НИЭТО, Хорхе ДЕ ЛА КАЛЬЕХА
"... of software quality is usability; however, few works have addressed the usability issues using laboratory ..."
 
Том 35, № 1 (2023) Влияние ролей Белбина на дизайн базы данных: исследовательский эксперимент Аннотация  похожие документы
Рауль Антонио АГИЛАР ВЕРА, Адриана ПЕНЬЯ, Хулио Сезар ДИАС-МЕНДОЗА, Хуан Пабло УКАН ПЕЧ
"... Software process has been studied from various perspectives, among them, the human factor is one ..."
 
Том 29, № 6 (2017) Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, Е. М. Новиков
 
Том 29, № 2 (2017) Возможности статической верификации монолитного ядра операционных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков
"... for software quality assurance which are currently used in practice help to identify and to fix quite a number ..."
 
Том 36, № 1 (2024) Основы квантовых вычислений и их связь с разработкой программного обеспечения Аннотация  похожие документы
Рейес ХУАРЕС-РАМИРЕС, Чристиан Ксавьер НАВАРРО-КОТА, Саманта ХИМЕНЕС, Алан Давид РАМИРЕС-НОРЬЕГА, Ма Вероника ТАПИЯ-ИБАРРА, Сесар Артуро ГЕРРА-ГАРСИЯ, Эктор Херардо ПЕРЕС-ГОНСАЛЕС, Карлос Альберто ФЕРНАНДЕС-И-ФЕРНАНДЕС
"... . Software is a key component of quantum computing, along with quantum hardware. Algorithms make up software ..."
 
Том 29, № 5 (2017) Моделирование программно-аппаратных систем и анализ их безопасности Аннотация  PDF (Rus)  похожие документы
С. В. Зеленов, С. А. Зеленова
"... Hardware-software systems are widely used now and must be safe and reliable. Manual analysis ..."
 
Том 28, № 1 (2016) Численное моделирование течения в канале с неглубокими лунками с использованием Code Saturne Аннотация  PDF (Rus)  похожие документы
А. А. Цынаева, М. Н. Никитин
"... . Additionally, impact of mesh quality regarding elements size on computation results was shown. Obtained results ..."
 
Том 27, № 3 (2015) Бесшовная разработка программного обеспечения: применимость на примере Аннотация  PDF (Rus)  похожие документы
Александр Наумчев
"... Requirements and code, in conventional software engineering wisdom, belong to entirely different ..."
 
Том 29, № 5 (2017) Проектирование моделей вариабельности для программных, операционных систем и их семейств Аннотация  похожие документы
Е. М. Лаврищева, В. С. Мутилин, А. Г. Рыжов
"... определению МХ и созданию на их основе вариантов программных систем (ПС), операционных систем (ОС) и их ..."
 
Том 28, № 2 (2016) Применимость AutoProof: учебный пример верификации ПО Аннотация  похожие документы
Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин
"... to ensure continuity. Quality attributes such as usability are unlikely to be targeted with the same ..."
 
Том 30, № 5 (2018) Информатика: становление программного обеспечения и технологий программных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, А. К. Петренко
"... Formation of Informatics and aspects of computer software development, in particular, operating ..."
 
Том 30, № 3 (2018) Построение модульного программного обеспечения на основе однородной компонентой модели Аннотация  похожие документы
К. А. Маллачиев, А. В. Хорошилов
"... Современные операционные системы реального времени являются сложным продуктом, разрабатываемым ..."
 
Том 28, № 5 (2016) Оценка критичности программных дефектов в условиях работы современных защитных механизмов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов
"... in lowering of an evaluation quality. This paper considers modern vulnerability exploitation prevention ..."
 
Том 31, № 5 (2019) Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов» Аннотация  PDF (Rus)  похожие документы
Александр Валерьянович Самонов
"... . Ontologies describe the quality management processes of software and hardware complexes at the stages ..."
 
Том 26, № 2 (2014) Конфигурируемая система статической верификации модулей ядра операционных систем Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов
"... An operating system (OS) kernel is a critical software regarding to reliability and efficiency ..."
 
Том 29, № 5 (2017) Программное обеспечение для создания адаптивных сеток Аннотация  PDF (Rus)  похожие документы
А. Н. Семакин
"... In this paper, we present a software package for the construction of an adaptive finite-difference ..."
 
Том 27, № 5 (2015) Об интеграции формальных методов в задачах верификации операционных систем Аннотация  PDF (Rus)  похожие документы
А. К. Петренко, В. В. Кулямин, А. В. Хорошилов
"... In this work the problem of high quality verification techniques applicable for operating systems ..."
 
Том 36, № 5 (2024) Конструирование программных систем, нацеленное на обеспечение безопасности Аннотация  PDF (Rus)  похожие документы
Виктор Вячеславович КУЛЯМИН, Александр Константинович ПЕТРЕНКО, Екатерина Александровна РУДИНА
"... Security-by-Design is an important approach to ensure software security and reliability. It has ..."
 
Том 36, № 6 (2024) Подходы к балансировке классов для улучшения оценок прогнозирования дефектов программного обеспечения Аннотация  похожие документы
Ангел Хуан САНЧЕС-ГАРСИЯ, Рианьо Гектор Ксавьер ЛИМОН, Саул ДОМИНГЕС-ИСИДРО, Дан Хавьер ОЛВЕРА-ВИЙЕДА, Хуан Карлос ПЕРЕС-АРРИАГА
"... quality attribute of any software system. Software defect prediction supported by Machine Learning (ML ..."
 
Том 31, № 6 (2019) Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода Аннотация  PDF (Rus)  похожие документы
Александр Борисович Бугеря, Василий Юрьевич Ефимов, Иван Иванович Кулагин, Вартан Андроникович Падарян, Михаил Александрович Соловьев, Андрей Юрьевич Тихонов
"... results. The paper presents a software complex to solve a revealing of malicious behavior problem ..."
 
Том 32, № 2 (2020) Оценка качества требований к программному обеспечению с применением метода GQM и инструментов обработки естественного языка Аннотация  похожие документы
Евгений Валерьевич ТИМОЩУК
"... Software requirements are quite difficult to measure in terms of quality without reviews ..."
 
1 - 39 из 550 результатов 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 > >> 

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

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