СТ |
Спецификация систем с помо ью базовых протоколов |
2005 |
Летичевский А. Ад., Капитонова Ю. В., Волков В. А., Летичевский А. А., Баранов С. Н., Котляров В. П., Вейгерт Т. |
|
|
|
Кибернетика и системный анализ |
20.12.2005 |
СТ |
Проверка корректности требований к программным системам, представленным атрибутными транзиционными системами |
2003 |
Баранов С. Н., Волков В. А., Годлевский А. Б., Капитонова Ю. В., Летичевский А. А. |
|
|
|
Кибернетика и системный анализ |
13.02.2004 |
СТ |
Феномен Форта |
1995 |
Баранов С. Н., Колодин М. Ю. |
Системная информатика |
|
|
Методы теоретического и системного программирования |
25.10.1995 |
СТ |
Отчуждение программного продукта в системе Бета-Форт |
1992 |
Баранов С. Н. |
|
|
Санкт-Петербургский ин-т информатики и автоматизации РАН |
Проблемы технологии программирования |
06.10.1995 |
СТ |
Система символьных вычислений МИНИСАК |
1993 |
Баранов С. Н. |
|
|
|
Программирование |
02.09.1993 |
М |
Описание языка Форт. Руководство программиста |
1982 |
Баранов С. Н. |
|
|
|
|
21.05.1992 |
М |
Язык Форт и его реализации |
1988 |
Баранов С. Н., Ноздрунов Н. Р. |
ЭВМ в производстве |
|
|
|
09.04.1992 |
А |
Перенос и реализация больших пакетов компьютерной алгебры на базе Форт-технологии |
1990 |
Баранов С. Н. |
|
|
|
|
29.01.1991 |
А |
Отладка и исследование программ в системе программирования на базе алгоритмического языка АЛГОЛ 68 |
1978 |
Баранов С. Н. |
|
|
|
|
07.06.1978 |