Журналы
Разделы книг
Статьи по ключевому слову Программные системы
Совмещенная система логического вывода и динамической верификации спецификаций программных компонентов

Шапкин П.А.1, Иноземцев А.Н.2

1,2 Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)

1 pashapkin@mephi.ru, 2 inozemtsev.alex@outlook.com

Система поиска специфицированных программных компонентов на естественном языке

П.А. Шапкин1, А.Д. Сидоров2

1,2 Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)

1 pashapkin@mephi.ru, 2 adsidoroff@gmail.com