Программные средства УДК: 004.4

Usability of AutoProof: a case study of software verification

Khazeev Mansur, Rivera Victor, Mazzara Manuel, Tchitchigin Alexander

Certified grammar transformation to Chomsky normal form in F

Polubelova M.I., Bozhko S.N., Grigorev S.V.

Investigating concurrency in the co-simulation orchestration engine for Into-CPS

Thule C., Larsen P.G.

Design and architecture of real-time operating system

Mallachiev K.M., Pakulin N.V., Khoroshilov A.V.

Developing a debugger for real-time operating system

Emelenko A.N., Mallachiev K.A., Pakulin N.V.

Modelling the people recognition pipeline in access control systems

Gossen F., Margaria T., Gke T.

Parallel processing and visualization for results of molecular simulation problems

Puzyrkov D.V., Podryga V.O., Polyakov S.V.

Композиционная модель и способ построения функционально-ориентированных информационных ресурсов информационно-управляющих систем

Чукляев И.И.

Refinement types in Jolie

Tchitchigin Alexander, Safina Larisa, Elwakil Mohamed, Mazzara Manuel, Montesi Fabrizio, Rivera Victor

Language support for generic programming in object-oriented languages: design challenges

Belyakova Julia

Context-based model for concern markup of a source code

Malevannyy M.S., Mikhalkovich S.S.

Approach to anti-pattern detection in service-oriented software systems

Yugov A.S.

Technology for application family creation based on domain analysis

Gudoshnikova A.A., Litvinov Y.V.

Метод оценки эксплуатируемости программных дефектов

Федотов А.Н.

Поиск ошибок доступа к буферу в программах на языке C/ C++

Дудина И.А., Кошелев В.К., Бородин А.Е.

Поддержка стандарта OpenMP4.0 для архитектуры NVIDIA PTX в компиляторе GCC

Монаков А.В., Иванишин В.А.

Некоторые задачи на графовых базах данных

Гуральник Р.И.

Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL

Шарыгин Е.Ю., Бучацкий Р.А., Скворцов Л.В., Жуйков Р.А., Мельник Д.М.

Information retrieval and analysis for a modern organization

Topchyan Artyom

Language for describing templates for test program generation for microprocessors

Tatarnikov A.D.

Specification-based test program generation for MIPS64 memory management units

Kamkin A.S., Kotsynyak A.M.

Обзор задач и методов их решения в области классификации сетевого трафика

Гетьман А.И., Маркин Ю.В., Евстропов Е.Ф., Обыденков Д.О.

Комплекс алгоритмов функционирования системы безопасного исполнения программного кода

Козачок А.В., Кочетков Е.В.

Обзор методов динамической компиляции запросов

Шарыгин Е.Ю., Бучацкий Р.А.

О представлении результатов обратной инженерии бинарного кода

Падарян В.А.

Анализ программ на языке Java в инструменте Svace

Меркулов А.П., Поляков С.А., Белеванцев А.А.

Обзор подходов к улучшению качества результатов статического анализа программ

Герасимов А.Ю.

Сравнительный анализ двух подходов к статическому анализу помеченных данных

Беляев М.В., Шимчик Н.В., Игнатьев В.Н., Белеванцев А.А.

Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения

Герасимов А.Ю., Круглов Л.В., Ермаков М.К., Вартанов С.П.

Логика первого порядка для задания требований к безопасному программному коду

Козачок А.В.

Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ

Легалов А.И., Васильев В.С., Матковский И.В., Ушакова М.С.

Объектно-ориентированная среда для разработки приложений планирования движения

Казаков К.А., Семенов В.А.

A modified Scrum story points estimation method based on fuzzy logic approach

Semenkovich S.A., Kolekonova O.I., Degtiarev K.Y.

Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса

Аничкин А.С., Морозов С.В., Семенов В.А., Тарлапан О.А.

The study into "Cross-Site Request Forgery" attacks within the framework of analysis of software vulnerabilities

Barabanov A.V., Lavrov A.I., Markov A.S., Polotnyanschikov I.A., Tsirlov V.L.

Designing variability models for software, operating systems and their families

Lavrischeva E.M., Mutilin V.S., Ryzhov A.G.

Обзор расширяемого протокола аутентификации и его методов

Никешин А.В., Шнитман В.З.

Синтаксический анализ графов с использованием конъюнктивных грамматик

Азимов Р.Ш., Григорьев С.В.

Онтология предметной области "Удобство использования программного обеспечения"

Сытник А.А., Шульга Т.Э., Данилов Н.А.

Распараллеливание реализаций сугубо последовательных алгоритмов

Бугеря А.Б., Ким Е.С., Соловьев М.А.

Программные средства - 004.4

Научные статьи