Сортировать по:
| Выпуск | Название | |
| Том 28, № 2 (2016) | Практический опыт реализации подходов программной и системной инженерии для управления требованиями при разработке программного обеспечения в авиационной отрасли | Аннотация похожие документы |
| И. В. Ковернинский, А. В. Кан, В. Б. Волков, Ю. С. Попов, Н. К. Горелиц | ||
| "... in GosNIIAS and now are actively used in internal and external works: requirements management information ..." | ||
| Том 33, № 1 (2021) | Размышление о дизайне и восприятии пользователями приложения Tamil talk | Аннотация похожие документы |
| Радж РАМАЧАНДРАН СУБРАМАНЬЯН, Эммануэль Кайоде Акиншола ОГУНШИЛЕ | ||
| "... be in developing the application that conforms to the conceptual framework and widely test with the native speakers ..." | ||
| Том 36, № 2 (2024) | Четырёхмерный ACC анализ | Аннотация похожие документы |
| Назгуль Ибрагимовна МУСТАФИНА, Михаил Александрович ПЛАКСИН, Полина Алексеевна МИКИШЕВА | ||
| "... программных систем. В работе представлен метод анализа ACC, используемый в Google для оптимизации ..." | ||
| Том 30, № 5 (2018) | Информатика: становление программного обеспечения и технологий программных систем | Аннотация PDF (Rus) похожие документы |
| Е. М. Лаврищева, А. К. Петренко | ||
| "... Рассматривается становление информатики и аспектов компьютерной поддержки создания программного ..." | ||
| Том 26, № 1 (2014) | Инструментальные средства проектирования систем интегрированной модульной авионики | Аннотация PDF (Rus) похожие документы |
| Д. В. Буздалов, С. В. Зеленов, Е. В. Корныхин, А. К. Петренко, А. В. Страх, А. А. Угненко, А. В. Хорошилов | ||
| "... a toolset for design of modern avionics systems developed by ISPRAS in collaboration with GosNIIAS ..." | ||
| Том 35, № 1 (2023) | Систематический обзор литературы по стандарту ISO/IEC 29110 и образованию в области программной инженерии | Аннотация похожие документы |
| Луис ВИВЕС, Карин МЕЛЕНДЕC, Авраам ДАВИЛА | ||
| "... университетском контексте, особенно с точки зрения образования в области разработки программного обеспечения. ISO ..." | ||
| Том 23 (2012) | Комбинаторная генерация программных конфигураций ОС | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин | ||
| "... to force the operating system under test to use the value of certain parameter. Usage conditions require ..." | ||
| Том 29, № 3 (2017) | Объектно-ориентированный каркас для программной реализации приложений теории расписаний | Аннотация PDF (Rus) похожие документы |
| А. С. Аничкин, В. А. Семенов | ||
| "... Статья адресована вопросам программной реализации моделей, методов и приложений теории расписаний с ..." | ||
| Том 26, № 3 (2014) | Современные модели и методы теории расписаний | Аннотация PDF (Rus) похожие документы |
| А. С. Аничкин, В. А. Семенов | ||
| "... назначения для подобных целей крайне ограниченно. Более перспективным для реализации программных приложений ..." | ||
| Том 29, № 5 (2017) | Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса | Аннотация PDF (Rus) похожие документы |
| А. С. Аничкин, С. В. Морозов, В. А. Семенов, О. А. Тарлапан | ||
| "... классов и интерфейсов, предназначенных для программной реализации моделей, методов и приложений теории ..." | ||
| Том 26, № 1 (2014) | Развитие подхода к разработке тестов UniTESK | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин, А. К. Петренко | ||
| "... The paper presents the basic principles of UniTESK technology intended for test construction based ..." | ||
| Том 26, № 6 (2014) | Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов | Аннотация PDF (Rus) похожие документы |
| М. С. Форостьянова | ||
| "... of the l-equivalent are included into a test suite. The proposed approach is illustrated by protocol TCP ..." | ||
| Том 29, № 5 (2017) | Объектно-ориентированная среда для разработки приложений планирования движения | Аннотация PDF (Rus) похожие документы |
| К. А. Казаков, В. А. Семенов | ||
| "... Обсуждаются принципы организации и функционирования инструментальной среды для программной ..." | ||
| Том 28, № 3 (2016) | Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования | Аннотация похожие документы |
| П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, Н. В. Воинов, И. А. Селин | ||
| "... In this article, an approach of detailing verified test scenarios for developed software system ..." | ||
| Том 21 (2011) | Оценка производительности программного обеспечения в виртуализованном окружении на основе атомарных тестов | Аннотация PDF (Rus) похожие документы |
| П. А. Клеменков | ||
| "... tasks and replacing these tasks with synthetic atomic tests. Performance evaluation of atomic tests ..." | ||
| Том 29, № 3 (2017) | Сертифицируемая бортовая операционная система реального времени JetOS для российских проектов воздушных судов | Аннотация PDF (Rus) похожие документы |
| Ю. А. Солоделов, Н. К. Горелиц | ||
| "... JetOS is a prospective onboard real-time operating system (RTOS). Nowadays GosNIIAS develops JetOS ..." | ||
| Том 36, № 2 (2024) | Об автоматической генерации модульных тестов для Java-приложений, использующих фреймворк Spring | Аннотация похожие документы |
| Кирилл Александрович ШИШИН, Илья Владимирович МУРАВЬЁВ, Егор Константинович КУЛИКОВ | ||
| "... This paper considers the automated unit tests generation for programs written in Java using ..." | ||
| Том 33, № 3 (2021) | Транскрипция исторических записей актов гражданского состояния с использованием экстремального модельно-управляемого подхода | Аннотация похожие документы |
| Раффлезия ХАН, Александр ШИВЕК, Сиара БРЕТНАХ, Тициана МАРГАРИА | ||
| "... помощью соответствующей абстракции. Системная инженерия, управляемая моделями, определяет и объединяет ..." | ||
| Том 31, № 6 (2019) | Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода | Аннотация PDF (Rus) похожие документы |
| Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян | ||
| "... Программный инструментарий для работы с бинарным кодом востребован не только разработчиками ..." | ||
| Том 27, № 3 (2015) | Бесшовная разработка программного обеспечения: применимость на примере | Аннотация PDF (Rus) похожие документы |
| Александр Наумчев | ||
| "... В рамках традиционной программной инженерии требования и код развиваются в двух параллельных мирах ..." | ||
| Том 36, № 5 (2024) | Программная среда выполнения методических прикладных тестов для численного исследования параметров высокопроизводительных вычислительных систем | Аннотация PDF (Rus) похожие документы |
| Алексей Олегович ИГНАТЬЕВ, Сергей Юрьевич МОКШИН | ||
| "... by the authors for using methodical applied tests to numerically investigate parameters of high-performance ..." | ||
| Том 36, № 1 (2024) | Глубокое обучение при выработке нефункциональных требований: подход на основе сверточных нейронных сетей | Аннотация похожие документы |
| Сандра Эстефания МАРТИНЕС ГАРСИЯ, Карлос Альберто ФЕРНАНДЕС-И-ФЕРНАНДЕС, Эрик Г. РАМОС ПЕРЕС | ||
| "... вклад в области инженерии требований и улучшая общий процесс разработки программного обеспечения. ..." | ||
| Том 30, № 4 (2018) | Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности | Аннотация похожие документы |
| Н. К. Горелиц, А. С. Гукова, Е. В. Песков | ||
| Том 29, № 4 (2017) | Статическая верификация конфигураций ядра Linux | Аннотация похожие документы |
| С. В. Козин, В. С. Мутилин | ||
| "... создания продуктовых линеек программного обеспечения. Сегодня это одна из наиболее сложных программных ..." | ||
| Том 27, № 3 (2015) | Метод автоматической конкретизации символических тестовых сценариев | Аннотация PDF (Rus) похожие документы |
| Никита Воинов, Павел Дробинцев, Игорь Никифоров, Всеволод Котляров, Александр Колчин | ||
| "... Described in the paper is an approach to symbolic test scenarios concretization in the scope ..." | ||
| Том 36, № 6 (2024) | Может ли языковая модель на базе chatGPT измерять функциональный размер методом COSMIC? | Аннотация похожие документы |
| Франсиско ВАЛЬДЕС-СОУТО, Даниэль ТОРРЕС-РОБЛЕДО | ||
| "... Процесс разработки программного обеспечения является сложным и трудоемким. Оценка ресурсов ..." | ||
| Том 28, № 4 (2016) | Язык описания шаблонов для генерации тестовых программ для микропроцессоров | Аннотация похожие документы |
| А. Д. Татарников | ||
| "... Test program generation and simulation is the most widely used approach to functional verification ..." | ||
| Том 33, № 3 (2021) | Какие стили архитектуры программного обеспечения популярны? | Аннотация похожие документы |
| Алексей Александрович МИЦЮК, Николай Арсенович ЖАМГАРЯН | ||
| "... В литературе по программной инженерии можно встретить понятие архитектурного стиля программного ..." | ||
| Том 35, № 1 (2023) | Систематический обзор литературы по тестированию программного обеспечения в контексте DevOps | Аннотация похожие документы |
| Брайан ПАНДО, Авраам ДАВИЛА | ||
| "... , several studies have been published on software test automation, which is a cornerstone for the continuous ..." | ||
| Том 31, № 3 (2019) | Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров | Аннотация похожие документы |
| Павел Викторович Фролов | ||
| "... (peripherals and commutators) and a system as a whole. An approach to test development for verification ..." | ||
| Том 22 (2012) | Программная конвейеризация циклов на платформе ARM | Аннотация PDF (Rus) похожие документы |
| Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий | ||
| "... % for selected test applications on ARM platform. For x86-64 platform, performance results are mostly neutral ..." | ||
| Том 36, № 3 (2024) | Автоматизированное извлечение фактов из табличных данных на основе семантического аннотирования таблиц | Аннотация похожие документы |
| Никита Олегович ДОРОДНЫХ, Александр Юрьевич ЮРИН | ||
| "... , требующей создания специализированных методов и программного обеспечения. Одной из основных тенденций в этой ..." | ||
| Том 23 (2012) | Разработка тестового набора для верификации реализаций протокола безопасности TLS | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... , there are no accepted public conformance test suite for those protocols. Implementers do have their own test suites ..." | ||
| Том 36, № 1 (2024) | Основы квантовых вычислений и их связь с разработкой программного обеспечения | Аннотация похожие документы |
| Рейес ХУАРЕС-РАМИРЕС, Чристиан Ксавьер НАВАРРО-КОТА, Саманта ХИМЕНЕС, Алан Давид РАМИРЕС-НОРЬЕГА, Ма Вероника ТАПИЯ-ИБАРРА, Сесар Артуро ГЕРРА-ГАРСИЯ, Эктор Херардо ПЕРЕС-ГОНСАЛЕС, Карлос Альберто ФЕРНАНДЕС-И-ФЕРНАНДЕС | ||
| "... квантовой программной инженерии. Основной целью систематического обзора является выявление основных идей ..." | ||
| Том 30, № 6 (2018) | О новом поколении промежуточных представлений, применяемых для анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко | ||
| "... Многие программные инструменты анализа бинарного кода работают не напрямую с машинными командами, а ..." | ||
| Том 35, № 2 (2023) | Разработка подхода к сквозному тестированию приложения для управления конфигурацией виртуальной инфраструктуры предприятия | Аннотация похожие документы |
| Евгений Вадимович ГЕРАСЬКИН, Никита Владимирович ВОИНОВ | ||
| "... -to-end tests written in Python. The approach involves a comprehensive evaluation of the system from ..." | ||
| Том 29, № 5 (2017) | Техника плоских схем для тестирования встроенных операционных систем | Аннотация похожие документы |
| В. В. Никифоров, С. Н. Баранов | ||
| "... with an appropriate automated test suite. Such test suite for testing of an embedded OS is usually organized as a set ..." | ||
| Том 37, № 4: часть 1. июль-август | Определение неточностей в работе некоторых специализированных цикловых оптимизаций в компиляторе LCC для архитектуры «Эльбрус» | Аннотация PDF (Rus) похожие документы |
| Александр Викторович ЕРМОЛИЦКИЙ, Дмитрий Николаевич ЛЕВЧЕНКО, Мурад Искендер-оглы НЕЙМАН-ЗАДЕ | ||
| "... .7% on test 523.xalancbmk with placing hints for overlap optimization and 4.71% on test 520.omnetpp ..." | ||
| Том 34, № 1 (2022) | Оценка уровня защищенности недоверенного программного обеспечения на основе технологии TrustZone | Аннотация похожие документы |
| Дмитрий Олегович МАРКИН, Сергей Михайлович МАКЕЕВ, Чунг Тхай ХО | ||
| "... to the security of the information they process are used to differ trustlets during certification tests ..." | ||
| Том 32, № 1 (2020) | Технологии автоматического тестирования программных комплексов реалистичной компьютерной графики | Аннотация PDF (Rus) похожие документы |
| Евгений Юрьевич Денисов, Алексей Геннадьевич Волобой, Елисей Дмитриевич Бирюков, Михаил Сергеевич Копылов, Ирина Александровна Калугина | ||
| "... systems of computer graphics and optical simulation. Test automation becomes vital in the face of limited ..." | ||
| Том 29, № 5 (2017) | Численное исследование теплоотдачи в каналах с неглубокими подковообразными лунками | Аннотация PDF (Rus) похожие документы |
| А. А. Цынаева, С. Е. Разоренов, В. В. Белая | ||
| "... by reproducing of experiment by A. Tsynaeva, S. Razorenov. The test has been held with Reynolds number Re=3000 ..." | ||
| 1 - 41 из 518 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 13 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
