|
От редактора специального выпуска
В. А. Захаров
|
675 |
|
|
Семантически-ориентированная миграция Java-программ: опыт практического применения
А. О. Алексюк, В. М. Ицыксон
|
677 |
|
|
Towards measuring the abstractness of state machines based on mutation testing
Thomas Baar
|
691 |
|
|
Jolie Static Type Checker: a prototype
D. de Carvalho, M. Mazzara, B. Mingela, L. Safina, A. Tchitchigin, N. Troshkov
|
704 |
|
|
Towards null safety benchmarks for object initialization
A. V. Kogtenkov
|
718 |
|
|
К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов
Н. Г. Кушик, Н. В. Евтушенко, И. Б. Бурдонов, А. С. Косачев
|
730 |
|
|
Invariant elimination of definite iterations over arrays in C programs verification
I. V. Maryasov, V. A. Nepomniaschy, D. A. Kondratyev
|
743 |
|
|
Семантические средства обеспечения безопасности в программно-конфигурируемых сетях
Е. Ю. Антошина, Д. Ю. Чалый
|
755 |
|
|
Об определении уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм
Е. В. Кузьмин, О. Е. Горбунов, П. О. Плотников, В. А. Тюкин
|
760 |
|
|
Анализ использования различных типов связей между терминами тезауруса, сгенерированного с помощью гибридных методов, в задачах классификации текстов
Н. С. Лагутина, К. В. Лагутина, И. А. Щитов, И. В. Парамонов
|
772 |
|
|
Задача о кратчайшем пути в кратном графе
А. В. Смирнов
|
788 |
|
|
Синтез управления и наблюдателя для слабо нелинейных систем на основе техники псевдолинеаризации
Д. А. Макаров
|
802 |
|
|
Поэтология: задачи построения тезауруса и спецификации стихового текста
В. Н. Бойков, М. С. Каряева
|
811 |
