Journals
Books
Articles by keyword Программные системы
Combined system for logical inference and dynamic verification of software component specifications

P.A. Shapkin1, A.N. Inozemtsev2

1–2 National Research Nuclear University MEPhI (Moscow, Russia)

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

A natural language search system for specified software components

P.A. Shapkin1, A.D. Sidorov2

1,2 National Research Nuclear University MEPhI (Moscow, Russia)

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