Сортировать по:
| Выпуск | Название | |
| Том 30, № 4 (2018) | Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности | Аннотация похожие документы |
| Н. К. Горелиц, А. С. Гукова, Е. В. Песков | ||
| "... the development lifecycle of DO-178C is considered as the main source of criteria for the development tool ..." | ||
| Том 32, № 2 (2020) | Анализ российского программного обеспечения для поддержки жизненного цикла разработки бортовых систем в условиях политики импортозамещения | Аннотация похожие документы |
| Наталья Кирилловна ГОРЕЛИЦ, Александра Сергеевна ГУКОВА, Дмитрий Владимирович КРАСНОЩЕКОВ | ||
| "... of different software that can cover the development lifecycle processes of complex certifiable software ..." | ||
| Том 29, № 3 (2017) | Сертифицируемая бортовая операционная система реального времени JetOS для российских проектов воздушных судов | Аннотация PDF (Rus) похожие документы |
| Ю. А. Солоделов, Н. К. Горелиц | ||
| "... and three-dimensional pictures by onboard functional software. JetOS is a certifiable modular cyber-safe ..." | ||
| Том 33, № 6 (2021) | Технический долг в жизненном цикле разработки ПО: запахи кода | Аннотация PDF (Rus) похожие документы |
| Владимир Владимирович КАЧАНОВ, Михаил Кириллович ЕРМАКОВ, Георгий Александрович ПАНКРАТЕНКО, Александр Вячеславович СПИРИДОНОВ, Александр Сергеевич ВОЛКОВ, Сергей Игоревич МАРКОВ | ||
| Том 33, № 5 (2021) | Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Владимир Юрьевич ТЕЛЕЖНИКОВ, Алексей Владимирович ХОРОШИЛОВ | ||
| "... System software is a cornerstone of any software system, so building secure system software ..." | ||
| Том 28, № 2 (2016) | Практический опыт реализации подходов программной и системной инженерии для управления требованиями при разработке программного обеспечения в авиационной отрасли | Аннотация похожие документы |
| И. В. Ковернинский, А. В. Кан, В. Б. Волков, Ю. С. Попов, Н. К. Горелиц | ||
| "... The article describes the technical world evolution tendencies, which require proper software ..." | ||
| Том 34, № 2 (2022) | Поиск ошибок в бинарном коде методами динамической символьной интерпретации | Аннотация похожие документы |
| Алексей Вадимович ВИШНЯКОВ, Илай Александрович КОБРИН, Андрей Николаевич ФЕДОТОВ | ||
| "... Modern software is rapidly developing, revealing new program errors. More and more companies ..." | ||
| Том 27, № 3 (2015) | Бесшовная разработка программного обеспечения: применимость на примере | Аннотация PDF (Rus) похожие документы |
| Александр Наумчев | ||
| "... Requirements and code, in conventional software engineering wisdom, belong to entirely different ..." | ||
| Том 35, № 1 (2023) | Систематический обзор литературы по совершенствованию процессов разработки требований к программному обеспечению | Аннотация похожие документы |
| Сильвия АЛЬМЕЙДА, Авраам ДАВИЛА | ||
| "... Software analysis is the process carried out to obtain requirements that reflects the needs ..." | ||
| Том 36, № 1 (2024) | Исследование роли ботов в разработке программного обеспечения | Аннотация похожие документы |
| Рикардо МОГЕЛЬ-САНЧЕС, Сесар Серхио МАРТИНЕС-ПАЛАСИОС, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС, Ксавьер ЛИМОН, Анхель Хуан САНЧЕС-ГАРСИЯ | ||
| "... This research examines the state of applied and proposed software bots in software development ..." | ||
| Том 29, № 6 (2017) | Автоматизация разработки моделей устройств и вычислительных машин для QEMU | Аннотация PDF (Rus) похожие документы |
| В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян | ||
| "... Разработка виртуальных устройств и машин для QEMU - трудоёмкий процесс. С целью поддержки ..." | ||
| Том 36, № 1 (2024) | Основы квантовых вычислений и их связь с разработкой программного обеспечения | Аннотация похожие документы |
| Рейес ХУАРЕС-РАМИРЕС, Чристиан Ксавьер НАВАРРО-КОТА, Саманта ХИМЕНЕС, Алан Давид РАМИРЕС-НОРЬЕГА, Ма Вероника ТАПИЯ-ИБАРРА, Сесар Артуро ГЕРРА-ГАРСИЯ, Эктор Херардо ПЕРЕС-ГОНСАЛЕС, Карлос Альберто ФЕРНАНДЕС-И-ФЕРНАНДЕС | ||
| "... . Software is a key component of quantum computing, along with quantum hardware. Algorithms make up software ..." | ||
| Том 33, № 1 (2021) | Смягчение неопределенности при разработке научных приложений в интегрированной среде | Аннотация PDF (Rus) похожие документы |
| Андрей Николаевич ЧЕРНЫХ, Игорь Вячеславович БЫЧКОВ, Александр Геннадьевич ФЕОКТИСТОВ, Сергей Алексеевич ГОРСКИЙ, Иван Александрович СИДОРОВ, Роман Олегович КОСТРОМИН, Алексей Владимирович ЕДЕЛЕВ, Валерий Иванович ЗОРКАЛЬЦЕВ, Арутюн Ишханович АВЕТИСЯН | ||
| "... of an integrated software environment for developing distributed applied software packages. The additional means ..." | ||
| Том 35, № 3 (2023) | Применение методов интеллектуального анализа процессов в ходе разработки семейства мобильных приложений | Аннотация похожие документы |
| Людмила Александровна РЕЗУНИК, Алиса Игоревна ПЕРЕВОЗНИКОВА, Дарья Валерьевна ЕРЕМИНА, Алексей Александрович МИЦЮК | ||
| "... . Процессы их разработки также могут отличаться. Более того, современные процессы разработки часто сложны, а ..." | ||
| Том 31, № 6 (2019) | Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода | Аннотация PDF (Rus) похожие документы |
| Александр Борисович Бугеря, Василий Юрьевич Ефимов, Иван Иванович Кулагин, Вартан Андроникович Падарян, Михаил Александрович Соловьев, Андрей Юрьевич Тихонов | ||
| "... results. The paper presents a software complex to solve a revealing of malicious behavior problem ..." | ||
| Том 30, № 5 (2018) | Информатика: становление программного обеспечения и технологий программных систем | Аннотация PDF (Rus) похожие документы |
| Е. М. Лаврищева, А. К. Петренко | ||
| "... Formation of Informatics and aspects of computer software development, in particular, operating ..." | ||
| Том 36, № 6 (2024) | Тематический синтез разработки, ориентированной на поведение: аналитический подход | Аннотация похожие документы |
| Виктор Мануэль АРРЕДОНДО-РЕЙЕС, Саул ДОМИНГЕС-ИСИДРО, Ангел Хуан САНЧЕС-ГАРСИЯ, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС | ||
| "... synthesis of BDD, highlighting its challenges, benefits, and implications in software development ..." | ||
| Том 35, № 1 (2023) | Влияние ролей Белбина на дизайн базы данных: исследовательский эксперимент | Аннотация похожие документы |
| Рауль Антонио АГИЛАР ВЕРА, Адриана ПЕНЬЯ, Хулио Сезар ДИАС-МЕНДОЗА, Хуан Пабло УКАН ПЕЧ | ||
| "... Software process has been studied from various perspectives, among them, the human factor is one ..." | ||
| Том 35, № 1 (2023) | Влияние пандемии COVID-19 на психофизическое состояние разработчиков программного обеспечения и новые тенденции в области гибких навыков при работе из дома | Аннотация похожие документы |
| Рейес ХУАРЕС-РАМИРЕС, Кристиан НАВАРРО-КОТА, Гильермо ЛИСЕА, Саманта ХИМЕНЕС, Вероника ТАПИА-ИБАРРА, Сезар Артуро ГЕРРА ГАРСИА, Гектор Херардо ПЕРЕС-ГОНСАЛЕС | ||
| "... . In the software industry, thousands of software developers began working from home, many did so on short notice ..." | ||
| Том 26, № 1 (2014) | Инструменты анализа и разработки эффективного кода для параллельных архитектур | Аннотация PDF (Rus) похожие документы |
| Александр Монаков, Владимир Платонов, Арутюн Аветисян, Евгений Велесевич | ||
| "... В работе предлагаются методы поддержки разработки эффективных программ для современных параллельных ..." | ||
| Том 31, № 3 (2019) | Разработка программной среды для управления интеллектуальными устройствами в реальном времени | Аннотация похожие документы |
| Тамара Наумович, Лука Баляк, Лазар Живоинович, Филип Филипович | ||
| "... The subject of this paper is development of software framework for real-time management ..." | ||
| Том 34, № 1 (2022) | Прослеживаемость требований как основа проектирования функционально-логической архитектуры программной системы | Аннотация похожие документы |
| Борис Аронович ПОЗИН, Григорий Наумович ЦИПЕРМАН | ||
| Том 32, № 6 (2020) | Мониторинг и тестирование на основе многоуровневых спецификаций программ | Аннотация PDF (Rus) похожие документы |
| Александр Константинович ПЕТРЕНКО, Денис Валентинович ЕФРЕМОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ | ||
| "... Research on formal methods of software development and verification focuses on building ..." | ||
| Том 28, № 6 (2016) | Моделирование семейств программных систем | Аннотация PDF (Rus) похожие документы |
| Е. М. Лаврищева, А. К. Петренко | ||
| "... Complex software systems always exist for a long time, sometimes changing, and this leads ..." | ||
| Том 34, № 5 (2022) | Исследование методов построения облачных платформенных сервисов и реализаций стандарта TOSCA | Аннотация PDF (Rus) похожие документы |
| Александра Андреевна БОРИСОВА, Олег Дмитриевич БОРИСЕНКО | ||
| "... . Changes in software architecture and development approaches require automation of deployment management ..." | ||
| Том 31, № 3 (2019) | Графический DSL для разработки мобильных приложений | Аннотация похожие документы |
| Артур Владимирович Гудиев, Александра Сергеевна Гражевская | ||
| "... software development, allowing to present program structure in terms of visual diagrams. Besides, graphic ..." | ||
| Том 36, № 1 (2024) | Личностные и технические навыки студентов-программистов, полученные в университетской компании по разработке программного обеспечения | Аннотация похожие документы |
| Хорхе Рафаэль АГИЛАР СИСНЕРОС, Карлос Альберто ФЕРНАНДЕС-И-ФЕРНАНДЕС | ||
| "... acquired by students hired by a University Software Development Company (USDC). Additionally, suggestions ..." | ||
| Том 33, № 3 (2021) | Автоматизированная система тестирования инструментов статического анализа кода | Аннотация похожие документы |
| Дамир Маратович ГИМАТДИНОВ, Александр Юрьевич ГЕРАСИМОВ, Пётр Алексеевич ПРИВАЛОВ, Вероника Николаевна БУТКЕВИЧ, Наталья Андреевна ЧЕРНОВА, Анна Антоновна ГОРЕЛОВА | ||
| "... software development lifecycle. Sometimes it is needed to assure quality of specific software and, hence ..." | ||
| Том 31, № 1 (2019) | К разработке открытого программного обеспечения для реконструкции CAD-моделей | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич Сляднев, Вадим Евгеньевич Турлапов | ||
| "... We describe an open source software package aimed at solving reverse engineering problems for CAD ..." | ||
| Том 35, № 5 (2023) | Разработка доверенных средств проектирования ИС в базисе гетерогенных ПЛИС | Аннотация PDF (Rus) похожие документы |
| Сергей Витальевич ГАВРИЛОВ, Даниил Александрович ЖЕЛЕЗНИКОВ, Мария Андреевна ЗАПЛЕТИНА, Иван Викторович ТИУНОВ, Василий Михайлович ХВАТОВ, Рустам Жамболатович ЧОЧАЕВ, Дмитрий Борисович ШОКАРЕВ | ||
| "... approach to the development of a computer-aided design system based on the use of open-source software ..." | ||
| Том 33, № 3 (2021) | Транскрипция исторических записей актов гражданского состояния с использованием экстремального модельно-управляемого подхода | Аннотация похожие документы |
| Раффлезия ХАН, Александр ШИВЕК, Сиара БРЕТНАХ, Тициана МАРГАРИА | ||
| "... (GRO) records. Our model-driven approach generates the software application from data, workflow and GUI ..." | ||
| Том 24 (2013) | О методах деобфускации программ | Аннотация PDF (Rus) похожие документы |
| Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, А. Р. Нурмухаметов, Р. А. Матевосян, В. П. Корчагин | ||
| "... This paper describes the work on development of the deobfuscation software. The main target ..." | ||
| Том 26, № 1 (2014) | Развитие подхода к разработке тестов UniTESK | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин, А. К. Петренко | ||
| "... for software and hardware systems, including telecommunication protocols, basic and standard interfaces ..." | ||
| Том 26, № 4 (2014) | Разработка масштабируемой программной инфраструктуры для хранения и обработки данных в задачах вычислительной биологии | Аннотация PDF (Rus) похожие документы |
| О. Д. Борисенко, А. В. Лагута, Д. Ю. Турдаков, С. Д. Кузнецов | ||
| "... software in virtual laboratory environments are provided. Overview describes the implemented web-service ..." | ||
| Том 33, № 5 (2021) | Гибкая разработка программного обеспечения для реконструкции жилья: землетрясение в Мексике в 2017 г. | Аннотация похожие документы |
| Хавьер ОРТИС-ЭРНАНДЕС, Виктор Хосуэ РУИС-МАРТИНЕС, Мария Ясмин ЭРНАНДЕС-ПЕРЕС, Рито МИЯРЕС-КАСТРО | ||
| "... and to provide emergency services. This article presents a case study and lessons learned from the software ..." | ||
| Том 36, № 1 (2024) | Архитектура программного обеспечения для разработки системы совместной медицинской деятельности при реабилитации инсультов | Аннотация похожие документы |
| София Исабель ФЕРНАНДЕС ГРЕГОРИО, Луис Херардо МОНТАНЕ-ХИМЕНЕС , Кармен МЕСУРА ГОДОЙ, Вивиана Ярель РОСАЛЕС-МОРАЛЕС | ||
| "... computing software and devices. The interactions represent medical activities that follow rehabilitation ..." | ||
| Том 31, № 2 (2019) | Непрерывная интеграция функционального наполнения распределенных пакетов прикладных программ в Orlando Tools | Аннотация PDF (Rus) похожие документы |
| Александр Геннадьевич Феоктистов, Сергей Алексеевич Горский, Иван Александрович Сидоров, Роман Олегович Костромин, Евгений Сергеевич Фереферов, Игорь Вячеславович Бычков | ||
| "... testing, and analysis of the execution time of software module versions in a heterogeneous distributed ..." | ||
| Том 35, № 2 (2023) | Разработка подхода к сквозному тестированию приложения для управления конфигурацией виртуальной инфраструктуры предприятия | Аннотация похожие документы |
| Евгений Вадимович ГЕРАСЬКИН, Никита Владимирович ВОИНОВ | ||
| "... of enterprise virtual infrastructure. The main idea is to develop a software framework to create and perform end ..." | ||
| Том 29, № 5 (2017) | Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса | Аннотация PDF (Rus) похожие документы |
| А. С. Аничкин, С. В. Морозов, В. А. Семенов, О. А. Тарлапан | ||
| "... for software implementation of models, methods and applications of scheduling theory. Due to the availability ..." | ||
| 1 - 39 из 557 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
