Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 36, № 1 (2024) Глубокое обучение при выработке нефункциональных требований: подход на основе сверточных нейронных сетей Аннотация  похожие документы
Сандра Эстефания МАРТИНЕС ГАРСИЯ, Карлос Альберто ФЕРНАНДЕС-И-ФЕРНАНДЕС, Эрик Г. РАМОС ПЕРЕС
"... -functional requirements (NFR) using a Convolutional Neural Network (CNN). The study also emphasizes ..."
 
Том 35, № 6 (2023) Усовершенствование модели оценки нефункциональных требований, классифицирующей диапазоны одинакового размера с помощью алгоритма k-ближайших соседей Аннотация  PDF (Rus)  похожие документы
Франсиско ВАЛЬДЕС-СОУТО, Хорхе ВАЛЕРИАНО-АССЕМ, Даниэль ТОРРЕС-РОБЛЕДО
"... Any software development project needs to estimate Non-Functional Requirements (NFR). Typically ..."
 
Том 30, № 5 (2018) Формализация метамодели системы управления требованиями Аннотация  PDF (Rus)  похожие документы
Д. С. Кильдишев, А. В. Хорошилов
"... Requirements play an important role in the process of safety critical software development ..."
 
Том 34, № 1 (2022) Выявление функциональных требований в документации программного интерфейса приложения для функционального тестирования Аннотация  похожие документы
Евгений Анатольевич ГЕРЛИЦ, Денис Степанович КИЛЬДИШЕВ, Алексей Владимирович ХОРОШИЛОВ
"... consists of a user API documentation while we need to identify functional requirements and build test suite ..."
 
Том 32, № 2 (2020) Оценка качества требований к программному обеспечению с применением метода GQM и инструментов обработки естественного языка Аннотация  похожие документы
Евгений Валерьевич ТИМОЩУК
"... Software requirements are quite difficult to measure in terms of quality without reviews ..."
 
Том 33, № 5 (2021) Управление требованиями при обучении профессиональных руководителей проектов Аннотация  похожие документы
Ванесса Атенеа ВАРГАС-ПЕРЕС, Лаура Сильвия ВАРГАС-ПЕРЕС, Агустин Франсиско ГУТЬЕРРЕС-ТОРНЕС, Ана Мария СОТО-ЭРНАНДЕС, Эдгардо Мануэль ФЕЛИПЕ-РИВЕРОН
"... and follow up all users’ diverse requirements, from the beginning to the end of each or any type of project ..."
 
Том 31, № 1 (2019) Управление требованиями к ответственным системам. Обзор решений Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович Хорошилов, Наталья Кирилловна Горелиц, Денис Степанович Кильдишев
"... Requirements are an integral part of any software and hardware development process. The area where ..."
 
Том 35, № 6 (2023) Валидация требований и ее влияние на качество при использовании программного обеспечения: тематическое исследование Аннотация  PDF (Rus)  похожие документы
Луис КАНЧАРИ, Паула Мария АНГЕЛЕРИ, Авраам Элисео ДАВИЛА РАМОН
"... In this study, the relationship between the improvement of software requirement quality ..."
 
Том 29, № 4 (2017) Контрактный метод спецификации реактивных требований Аннотация  похожие документы
А. Наумчев, М. Маццара, Б. Мейер, Ж.-М. Брюэль, Ф. Галинье, С. Эберсоль
 
Том 29, № 3 (2017) Комбинация методов статической верификации композиции требований Аннотация  PDF (Rus)  похожие документы
В. О. Мордань
"... Static verification proves correctness of the software against checked requirements ..."
 
Том 33, № 6 (2021) Возможности и ограничения инструментов верификации моделей программ Аннотация  похожие документы
Евгений Михайлович НОВИКОВ
"... Software model checkers enable automatic detection of violations of specified requirements ..."
 
Том 35, № 3 (2023) Проектирование архитектуры системы мониторинга на основе паттернов проектирования Аннотация  похожие документы
Александра Алексеевна ПАСЫНКОВА, Ольга Леонидовна ВИКЕНТЬЕВА
"... for monitoring system architecture. The article also analysis the requirements for monitoring systems ..."
 
Том 37, № 1 (2025) Методика поиска уязвимостей в программном обеспечении, написанном на нескольких языках программирования Аннотация  PDF (Rus)  похожие документы
Борис Аронович ПОЗИН, Полина Андреевна БОРОДУШКИНА, Дмитрий Антонович КОРОТКОВ, Михаил Александрович ФЕДОРОВ, Айнур Фуатович МУРАТОВ
"... allows reducing the qualification requirements for analysts conducting markup and training ..."
 
Том 34, № 1 (2022) Прослеживаемость требований как основа проектирования функционально-логической архитектуры программной системы Аннотация  похожие документы
Борис Аронович ПОЗИН, Григорий Наумович ЦИПЕРМАН
"... The paper deals with the formation and transformation of stakeholder requirements ..."
 
Том 35, № 1 (2023) Систематический обзор литературы по совершенствованию процессов разработки требований к программному обеспечению Аннотация  похожие документы
Сильвия АЛЬМЕЙДА, Авраам ДАВИЛА
"... Software analysis is the process carried out to obtain requirements that reflects the needs ..."
 
Том 34, № 4 (2022) Построение требований и архитектуры облачного оркестратора платформенных сервисов Аннотация  PDF (Rus)  похожие документы
Никита Алексеевич ЛАЗАРЕВ, Олег Дмитриевич БОРИСЕНКО
"... are to identify the requirements for a platform-level cloud computing (PaaS) orchestrator, as well as to propose ..."
 
Том 34, № 2 (2022) Веб-приложение для продвижения донорства крови в России Аннотация  похожие документы
Павел Алексеевич СМИРНОВ, Вера Владимировна МАЛИНОВСКАЯ, Никита Владимирович ВОИНОВ
 
Том 29, № 5 (2017) Логика первого порядка для задания требований к безопасному программному коду Аннотация  PDF (Rus)  похожие документы
А. В. Козачок
"... in this environment under condition that security requirements are satisfied. The most important requirement consists ..."
 
Том 28, № 2 (2016) Практический опыт реализации подходов программной и системной инженерии для управления требованиями при разработке программного обеспечения в авиационной отрасли Аннотация  похожие документы
И. В. Ковернинский, А. В. Кан, В. Б. Волков, Ю. С. Попов, Н. К. Горелиц
"... . The substantiation of the importance and relevance of using requirements management discipline in software ..."
 
Том 29, № 5 (2017) Проектирование моделей вариабельности для программных, операционных систем и их семейств Аннотация  похожие документы
Е. М. Лаврищева, В. С. Мутилин, А. Г. Рыжов
"... ; конфигурация; вариант; функциональный, интерфейсный элемент; требование; управление. ..."
 
Том 31, № 5 (2019) Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов» Аннотация  PDF (Rus)  похожие документы
Александр Валерьянович Самонов
"... The paper presents development and verification methods and means of requirements and design ..."
 
Том 30, № 5 (2018) Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем Аннотация  PDF (Rus)  похожие документы
А. В. Самонов, Г. Н. Самонова
"... and verification of formal models of requirements and architecture of such systems, Firstly, we give the analysis ..."
 
Том 29, № 6 (2017) Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, Е. М. Новиков
"... requirements in target programs under certain assumptions even without complete models and formal ..."
 
Том 27, № 3 (2015) Бесшовная разработка программного обеспечения: применимость на примере Аннотация  PDF (Rus)  похожие документы
Александр Наумчев
"... Requirements and code, in conventional software engineering wisdom, belong to entirely different ..."
 
Том 36, № 3 (2024) Восстановление текстового слоя PDF документов со сложным фоном Аннотация  PDF (Rus)  похожие документы
Михаил Викторович ЗАГОРОДНИКОВ, Андрей Анатольевич МИХАЙЛОВ
 
Том 32, № 6 (2020) О разработке Оберон-системы с заданными свойствами эргодичности Аннотация  PDF (Rus)  похожие документы
Дмитрий Викторович ДАГАЕВ
"... based on the functional safety requirements of the IEC 60880 category A standard is implemented only ..."
 
Том 35, № 1 (2023) Сравнение графовых векторных представлений исходного кода с текстовыми моделями на основе архитектур CNN и CodeBERT Аннотация  PDF (Rus)  похожие документы
Виталий Анатольевич РОМАНОВ, Владимир Владимирович ИВАНОВ
 
Том 35, № 2 (2023) Реальное применение методов интерпретации свёрточных нейронных сетей: обнаружение и объяснение ошибок классификатора изображений документов Аннотация  похожие документы
Александр Олегович ГОЛОДКОВ, Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ
 
Том 32, № 6 (2020) Верификация соответствия между разноуровневыми моделями функциональных требований Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович ХОРОШИЛОВ
"... . The first proposed technique allows to prove that the detailed model satisfies to requirements ..."
 
Том 36, № 3 (2024) Статическое распределение памяти для операционных систем реального времени Аннотация  PDF (Rus)  похожие документы
Софья Анатольевна ЗЕЛЕНОВА
"... and demanding task. The use of detailed requirements provided by the developers introduces new opportunities ..."
 
Том 18 (2010) Тестирование конформности на основе соответствия состояний Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... of some software or hardware system and its requirements specification. Safe testing approach suggested ..."
 
Том 26, № 4 (2014) Сортировать или нет: экспериментальное сравнение R-Tree и B+-Tree в транзакционной системе для упорядоченной выдачи Аннотация  PDF (Rus)  похожие документы
П. В. Федотовский, Г. А. Ерохин, К. Е. Чередник, К. К. Смирнов, Г. А. Чернышев
"... В данной работе мы изучаем задачу многомерного индексирования с учетом дополнительного требования ..."
 
Том 33, № 2 (2021) Обнаружение объектов в аэронавигации с использованием вейвлет-преобразования и сверточных нейронных сетей: первый подход Аннотация  PDF (Rus)  похожие документы
Хуан Мануэль ФОРТУНА-СЕРВАНТЕС, Марко Тулио РАМИРЕС-ТОРРЕС, Хуан МАРТИНЕС-КАРРАНСА, Хосе Саломе МУРГУИЯ-ИБАРРА, Марсела МЕХИЯ-КАРЛОС
"... neural networks (CNNs) to process images obtained from the on-board camera of unmanned aerial vehicles ..."
 
Том 31, № 4 (2019) Разработка программного обеспечения квадрокоптера с повышенными требованиями к надёжности на основе партицированной ОС и технологий формальной верификации Аннотация  похожие документы
Сергей Михайлович Старолетов, Максим Станиславович Амосов, Кирилл Михайлович Шульга
"... for the flight controller with high-reliability requirements, which will meet avionics software standards using ..."
 
Том 32, № 2 (2020) Векторные модели на основе символьных н-грамм для морфологического анализа текстов Аннотация  PDF (Rus)  похожие документы
Цолак Гукасович ГУКАСЯН
"... The paper presents modifications of fastText word embedding model based solely on n-grams ..."
 
Том 30, № 4 (2018) Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности Аннотация  похожие документы
Н. К. Горелиц, А. С. Гукова, Е. В. Песков
"... software tool for requirements development and management was analyzed for compliance with the chosen ..."
 
Том 28, № 6 (2016) Извлечение аспектных терминов на основе условных случайных полей и векторных представлений слов Аннотация  PDF (Rus)  похожие документы
Д. О. Машкин, Е. В. Котельников
"... the sequence feature description, we use distributed representations of words derived from neural network ..."
 
Том 28, № 6 (2016) Применение словарей и векторов слов для автоматического построения лексической онтологии Аннотация  похожие документы
Д. А. Усталов
"... from synonym dictionaries and establishing the semantic relations within these structures using word ..."
 
Том 33, № 5 (2021) Методы маркирования текстовых документов при печати посредством вертикального сдвига и изменения яркости фрагментов слов Аннотация  PDF (Rus)  похожие документы
Дмитрий Олегович ОБЫДЕНКОВ, Александр Евгеньевич ФРОЛОВ, Юрий Витальевич МАРКИН, Станислав Александрович ФОМИН, Борис Владимирович КОНДРАТЬЕВ
"... mark and embed another one. The study refers to structural marking algorithms based on vertical word ..."
 
1 - 39 из 213 результатов 1 2 3 4 5 6 > >> 

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

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