|
СТ |
Проблемно-ориентированные базы знаний и их применение в системе верификации программ СПЕКТР |
1997 |
Непомнящий В. А., Сулимов А. А. |
|
|
|
Теория и системы управления |
13.06.1997 |
|
СТ |
Проблемно-ориентированная система верификации программ |
1986 |
Непомнящий В. А., Воробьев С. Г., Сулимов А. А. |
|
|
|
Проблемы совершенствования синтеза, тестирования, верификации и отладки программ: Тез.докл./Всесоюз.науч.конф. |
13.10.1993 |
|
СТ |
Базисные средства спецификации и верификации трансляторов |
1986 |
Непомнящий В. А., Сулимов А. А. |
|
|
ВЦ СО АН СССР |
Методы трансляции и конструирования программ |
13.10.1993 |
|
СТ |
Проблемно-ориентированная система верификации программ СПЕКТР |
1987 |
Непомнящий В. А., Воробьев С. Г., Сулимов А. А. |
|
|
|
Кибернетика |
13.10.1993 |
|
СТ |
Верификация блока генерации кодов транслятора с языка БЭЙСИК |
1981 |
Непомнящий В. А., Сулимов А. А. |
|
|
ВЦ СО АН СССР |
Языки и системы программирования |
12.10.1993 |
|
СТ |
Верификация транслятора с языка БЭЙСИК |
1981 |
Непомнящий В. А., Сулимов А. А. |
|
|
|
Синтез, тестирование, верификация и отладка программ: Тез.докл./Всесоюз.конф., Рига |
12.10.1993 |
|
СТ |
Верификация и тестирование интерпретатора языка БЭЙСИК |
1980 |
Непомнящий В. А., Сулимов А. А. |
|
|
ВЦ СО АН СССР |
Трансляция и модели программ |
11.10.1993 |
|
СТ |
Верификация интерпретатора для языка БЭЙСИК |
1980 |
Непомнящий В. А., Сулимов А. А. |
|
|
|
Тез. докл. Всесоюз. конф. "Методы математической логики в проблемах искусственного интеллекта и систематическое программирование" |
11.10.1993 |
|
СТ |
Верификация программ линейной алгебры в системе СПЕКТР |
1992 |
Непомнящий В. А., Сулимов А. А. |
|
|
|
Кибернетика и системный анализ |
06.01.1993 |
|
СТ |
Проблемно-ориентированный подход к верификации программ линейной алгебры |
1991 |
Непомнящий В. А., Сулимов А. А. |
|
|
|
Смешанные вычисления и преобразование программ |
22.06.1992 |
|
СТ |
Система проверки правильности генерации кодов трансляторов |
1990 |
Сулимов А. А. |
|
|
|
Теоретические проблемы систем обработки информации |
04.03.1992 |
|
А |
Функциональные средства спецификации трансляторов и их применение в проблемно-ориентированной системе верификации программ |
1991 |
Сулимов А. А. |
|
|
|
|
23.05.1991 |
|
СТ |
Об автоматической верификации трансляторов |
1988 |
Сулимов А. А. |
|
|
|
Методы трансляции и конструирования программ. (Тез. докл. Всесоюз. конф. 23-25 ноября 1988 г.) |
28.03.1991 |
