Страница 18. Программные средства УДК: 004.4

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.

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

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

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

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

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

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

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

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

Преобразование типизированных функций в реляционную форму

Лозов П.А., Булычев Д.Ю.

Чистая компиляция как парадигма программирования

Столяров А.В., Французов О.Г., Аникина А.С.

In-kernel memory-mapped I/O device emulation

Cheptsov V.Yu., Khoroshilov A.V.

Building modular real-time software from unified component model

Mallachiev K.A., Khoroshilov A.V.

Программные решения для динамического изменения пользовательского интерфейса на основе автоматически собранной информации о пользователе

Зосимов В.В., Христодоров А.В., Булгакова А.С.

Buffer overflow detection via static analysis: expectations vs. reality

Dudina I.A.

Static dependency analysis for semantic data validation

Ilyin D.V., Fokina N.Yu., Semenov V.A.

Extracting architectural information from source code of ARINC 653-compatible application software using CEGAR-based approach

Lesovoy S.L.

Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах

Трифанов В.Ю.

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

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