Главная
Института систем информатики СО РАН
Поттосин Игорь Васильевич
Поттосин
Игорь Васильевич
21 Фев 193315 Дек 2001
Один из создателей Отдела программирования ВЦ СО АН СССР, директор ИСИ СО РАН (1992-1998), первый заведующий кафедрой программирования ММФ НГУ (1993-2001), д.ф.-м.н.

Анкетные данные

Дата рождения: 21 февраля 1933 г.

Место рождения: с. Кинель-Черкассы, Кинель-Черкасского района Самарской области.

Умер 15 декабря 2001 г. в г. Новосибирске.

Образование:

Высшее:

1950-1955

Томский государственный университет, Россия.

Профессиональная деятельность

1955-1958

инженер в/ч 01168, гор. Москва.

1955-1964

м.н.с., зав. группой, зав. лабораторией Института математики с вычислительным центром СО АН СССР. (Новосибирск).

1964-1990

заведующий лабораторией системного программирования Вычислительного центра СО АН СССР (Новосибирск).

1990-2001

зав. лабораторией системного программирования Института систем информатики им. А.П. Ершова СО РАН (Новосибирск).

1991-1992

зам. директора ИСИ им. А.П. Ершова СО РАН (Новосибирск).

1992-1998

директор ИСИ им. А.П. Ершова СО РАН (Новосибирск).

1998-2001

г.н.с. ИСИ им. А.П. Ершова СО РАН (Новосибирск).

1968-2001

ассистент, доцент, профессор, зав. кафедрой программирования механико-математического факультета Новосибирского университета.

Дипломы, степени и звания

1955

диплом ТГУ по специальности "баллистика".

1968

кандидат физ.-мат. наук по специальности "математическая логика и программирование".

1972

звание старшего научного сотрудника.

1973

звание доцента.

1990

доктор физ.-мат. наук по специальности "математическое обеспечение ЭВМ, вычислительных комплексов и сетей".

1993

звание профессора.

1999

звание "Заслуженный деятель науки Российской Федерации".

Членство в комитетах, редколлегиях, советах

Участие в работе программных комитетов

  • Третья международная конференция "Перспективы систем информатики", Новосибирск, июль 1999г.
  • Международная конференция по параллельным вычислительным технологиям (РАСТ-99), Санкт-Петербург, сентябрь 1999г.
  • Объединенная международная конференция по модульным языкам (JCML-2000), Цюрих, сентябрь 2000г.
  • Международная конференция по теории и практике программного обеспечения Всемирного конгресса IFIP, август 2000г.

Членство в редколлегиях

  • Журнал РАН "Программирование" (зам. гл. редактора).
  • Серийный сборник СО РАН "Системная информатика" (гл. редактор).

Члентсво в ученых советах

  • Ученый совет ИСИ СО РАН.
  • Ученый совет мехмата НГУ.
  • Ученый совет НГУ.
  • Ученый совет ВКИ НГУ.
  • Кандидатский совет по защитам при ИСИ СО РАН (председатель).

Членство в национальных и международных научных организациях

  • Институт инженеров по электронике и электротехнике (IEEE).
  • Европейская ассоциация по теоретической информатике (EATCS).
  • Международная академия информатизации (действительный член).

Отличия и награды:

Лауреат премии Совета министров СССР, орден "Знак Почета", 3 медали.

Научная деятельность

И.В. Поттосин являлся одним из ведущих российских ученых в области системного программирования, внесших крупный вклад в становление и развитие этого направления в России. Основной областью его научных исследований были инструментальные системы поддержки информационных технологий и разработка экспериментальных программных средств и прототипов такой поддержки.

И.В. Поттосиным был разработан структурный подход к построению сложных инструментальных систем, при котором такая система представляется в виде иерархии функциональных слоев, что способствует повышению ее надежности и эффективности. Этот подход был затем реализован в первой советской развитой системе разделения времени АИСТ-0, системе поддержки пакетов программ СОФИСТ и универсальной системе аналитических выкладок АУМ.

И.В. Поттосин внес определяющий вклад в разработку методики оптимизирующей трансляции, создал основные принципы реализации и типовые схемы оптимизирующих трансляторов и процессоров, построил математические модели и методы обоснования алгоритмов оптимизирующих преобразований, разработал эффективные алгоритмы основных оптимизаций. Под его руководством был создан один из первых в мировой практике язык системного программирования Эпсилон. Эти научные результаты нашли свое воплощение в таких системах, как оптимизирующий транслятор АЛЬФА, система программирования АЛЬФА-6, система программирования для символьной обработки ЭПСИЛОН, многоязыковая траслирующая система БЕТА.

В последние годы И.В. Поттосин возглавлял проект СОКРАТ по разработке инструментальной системы поддержки программирования встроенных систем, обеспечивающей надежность и эффективность программ. Продолжением этих работ являлись исследования в области анализа программ и методологии программирования.

И.В. Поттосин предложил принципы построения окружений программирования, сочетающих как широкий набор инструментов конструирования программ с участием глубоких семантических преобразований и с поддержкой структурной разработки, так и естественного представления и хранения объектов разработки, единых для всех этапов разработки, разработал новые подходы к поддержке стиля надежного программирования, к оценке добротности программ. Эти принципы решают проблемы интеграции разнообразных инструментов в развитых окружениях программирования, автоматизированного преобразования программ для достижения нужного качества, дисциплинированного программирования, повышающего надежность создаваемого ПО. Подобные окружения необходимы при создании программных систем с повышенными требованиями на их эффективность и надежность. Указанные принципы были реализованы в создаваемом под его руководством экспериментальном окружении программирования для встроенных ЭВМ.

И.В. Поттосин был активно связан с работами по учебной информатике, он содействовал становлению Высшего колледжа информатики - среднего специального заведения при Новосибирском университете и участвовал в совершенствовании преподавания информатики в этом колледже.

Результаты его исследований опубликованы в 120 печатных работах, в том числе в 5 монографиях (написанных в соавторстве), одна из которых переведена и издана в Англии.

Деятельность по подготовке кадров:

И.В. Поттосин являлся зав. кафедрой программирования механико-математического факультета Новосибирского университета, которую он вместе с академиком А.П. Ершовым создавал и много сделал для ее становления.

И.В. Поттосин активно участвовал в подготовке специалистов высшей квалификации по информатике. Его работы используются в преподавании, среди его учеников один доктор наук, под его руководством защищено 11 кандидатских диссертаций, он лично руководил дипломными работами многих десятков выпускников.

Прочитанные курсы лекций:

Основные

  • Программирование (мехмат НГУ).

Спецкурсы

  • Методы трансляции (мехмат НГУ),

а также курсы и циклы лекций

  • Программное обеспечение
  • Разработка программного обеспечения
  • Оптимизация программ
  • Языки и компиляция

в ряде советских и зарубежных университетов.

Научно-организационная деятельность:

И.В. Поттосин был зам. председателя комиссии по системному математическому обеспечению ОИВТА АН СССР, председателем советских рабочих групп по языкам и системам программирования и стандартизации языка Модула-2, председателем российской локальной секции группы ACM по языкам программирования, членом советской части комитета ISO (Международной организации стандартов) по стандартизации языков программирования, главным редактором регулярного сборника СО РАН "Системная информатика", зам. гл. редактора журнала "Программирование", членом ряда ученых советов и советов по защитам, многократно был членом программных комитетов всесоюзных и международных конференций.

Список научных трудов:

--------------------------------------------------------------------------
NN|                      |Печатный|    Издательство,  |Кол-во|  Фамилии
пп|       Название       |  или   |                   |печ.л.| соавторов
  |                      |рукописн| журнал (номер,год)| или  |   работ
  |                      |        |                   |  стр.|
--|----------------------|--------|-------------------|------|------------
1 |          2           |   3    |        4          |  5   |     6
--|----------------------|--------|-------------------|------|------------
  |                      |        |                   |      |
1.|Программирующая прог- | печ.   |Министерство Оборо-| 4,5  |Н.А. Криницкий,
  |рамма ПП-С            |        |ны СССР, Сб.Научных|      |Н.А. Бухтияров,
  |                      |        |трудов N 1, 1958   |      |Г.Д. Фролов,
  |                      |        |                   |      |Л.В. Войтишек,
  |                      |        |                   |      |А.А. Левина
2.|Решение некоторых диф-| печ.   |Министерство Оборо-| 0,4  |
  |ференциальных уравне- |        |ны СССР, Сб.Научных|      |
  |ний и их систем мето- |        |трудов N 1, 1958   |      |
  |дом исключения пара-  |        |                   |      |
  |метров                |        |                   |      |
3.|Принцип организации и | печ.   |Сб.Вычислительная  | 0,4  |Г.И. Кожухин,
  |использования библио- |        |математика. Изд-во |      |Н.М. Нагорный
  |теки программ.        |        |АН СССР, 1961      |      |
4.|Программа линейной и  | печ.   |РИО СО АН СССР,    | 0,4  |
  |квадратичной интерпо- |        |1964               |      |
  |ляции для таблиц с не-|        |                   |      |
  |равным шагом.         |        |                   |      |
5.|Стандартные программы | печ.   |РИО СО АН СССР,    | 1,0  |
  |решения систем линей- |        |1964               |      |
  |ных алгебраических    |        |                   |      |
  |уравнений методом     |        |                   |      |
  |Гаусса по системе     |        |                   |      |
  |главных элементов.    |        |                   |      |
6.|Стандартная программа | печ.   |РИО СО АН СССР,    | 0,5  |
  |нахождения верхнего   |        |1964               |      |
  |предела действитель-  |        |                   |      |
  |ных корней полинома.  |        |                   |      |
7.|Стандартные программы | печ.   |РИО СО АН СССР,    | 0,6  |
  |проверки критерия     |        |1964               |      |
  |Раусса для полинома.  |        |                   |      |
8.|Стандартная программа | печ.   |РИО СО АН СССР,    | 0,4  |
  |умножения прямоуголь- |        |1964               |      |
  |ных матриц.           |        |                   |      |
9.|Программа перенумера- | печ.   |Обслуживающие про- | 0,5  |Ротапринтное
  |ции                   |        |граммы. Изд-во ВЦ  |      |издание РИО
  |                      |        |АН СССР, Москва,   |      |СО АН СССР,
  |                      |        |1967.              |      |1964.
10|Система автоматизации | печ.   |Ж.Вычисл.матем. и  | 0,7  |Совместно
  |программирования АЛЬФА|        |матем.физики АН    |      |группой
  |                      |        |СССР, N 2, 1965    |      |(11 чел.)
11|An Experimental auto- | печ.   |AFIPS Conference   | 1,2  |А.П. Ершов,
  |matic informational   |        |Proceedings, Thomp-|      |Г.И. Кожухин,
  |station AIST-0.       |        |son books, Academic|      |Г.П. Макаров,
  |                      |        |Press; v.30, 1967. |      |М.И. Нечепуренко
12|Принципы  построения  | печ.   |Препринт ВЦ СО АН  | 2,5  |Г.И. Кожухин,
  |диспетчера системы    |        |СССР. АИСТ-8; 1967.|      |М.И. Нечепуренко
  |АИСТ-0.               |        |                   |      |
13|Обзор особенностей    | печ.   |Сб.АЛЬФА-система   | 1,0  |А.П. Ершов,
  |АЛЬФА-языка           |        |автоматизации про- |      |Г.И. Кожухин
  |                      |        |граммирования.     |      |
  |                      |        |Наука, 1967.       |      |
14|Программирование цик- |  печ.  |Сб.АЛЬФА-система   | 2.1  |М.М. Бежанова
  |лов и индексных выра- |        |автоматизации про- |      |
  |жений в АЛЬФА-трансля-|        |граммирования.     |      |
  |торе.                 |        |Наука, 1967.       |      |
15|Экономия выражений в  |  печ.  |Сб.АЛЬФА-система   | 0,9  |
  |АЛЬФА-трансляторе.    |        |автоматизации про- |      |
  |                      |        |граммирования.     |      |
  |                      |        |Наука,  1967.      |      |
16|Стандартные программы |  печ.  |Стандартные програм| 0,7  |
  |вычисления корней по- |        |мы и процедуры.    |      |
  |линома 3-й степени с  |        |Изд-во  ВЦ  СО  АН,|      |
  |коэффициентами и про- |        |1968.              |      |
  |цедура КУБА.          |        |                   |      |
17|Процедуры решения сис-|  печ.  |Стандартные прог-  | 0,3  |
  |тем алгебраических    |        |раммы и процедуры. |      |
  |уравнений, алгоритма  |        |Изд-во ВЦ СО АН    |      |
  |Раусса и интерполяции.|        |Новосибирск, 1968. |      |
18|К задаче чистки циклов|  печ.  |Сб."Цифровые вычис-| 1,5  |
  |                      |        |лительные машины и |      |
  |                      |        |программирование"  |      |
  |                      |        |Советское радио,   |      |
  |                      |        |N 4, Москва, 1968. |      |
19|Операционные системы. |  печ.  |Труды 1-ой Всесоюз-| 1,0  |
  |                      |        |ной конференции по |      |
  |                      |        |программированию,  |      |
  |                      |        |Киев, 1968.        |      |
20|ЭПСИЛОН - система ав- |  печ.  |Труды 1-ой Всесоюз-| 0,8  |А.Ф. Рар,
  |томатизации программи-|        |ной конференции по |      |В.Л. Катков
  |рования для задач сим-|        |программированию.  |      |
  |вольной обработки.    |        |Киев, 1968.        |      |
21|Структура диспетчера  |  печ.  |Препринт ВЦ СО АН  | 4,5  |
  |АИСТ-0.               |        |СССР АИСТ/64, 1968.|      |
22|Псевдокоманды и дирек-|  печ.  |Препринт ВЦ СО АН  | 7,0  |Совместно с
  |тивы системы АИСТ-0.  |        |СССР АИСТ/64, 1968.|      |группой ав-
  |                      |        |                   |      |торов (5 че-
  |                      |        |                   |      |ловек)
23|Руководство к пользо- |  печ.  |Наука, Сиб.отделен.|11,25 |А.П. Ершов,
  |ванию системой АЛЬФА. |        |Новосибирск, 1968. |      |Г.И. Кожухин
24|Экспериментальная сис-|  печ.  |Труды 2-й Всесоюз- | 1,0  |Совместно с
  |тема коллективного    |        |ной конференции по |      |группой ав-
  |пользования АИСТ-0.   |        |программированию,  |      |торов 6 че-
  |                      |        |Новосибирск, 1970. |      |ловек).
25|Диспетчер системы     |  печ.  |Труды 2-й Всесоюз- | 1,0  |Совместно с
  |АИСТ-0.               |        |ной конференции по |      |группой ав-
  |                      |        |программированию,  |      |торов (7 чел.)
26|Программа для решения |  печ.  |Новосибирск, 1970. | 0,2  |
  |систем линейных алгеб-|        |шения задач линей- |      |
  |раических уравнений   |        |ной алгебры. Изд-во|      |
  |методом Гаусса по схе-|        |ИПМ АН СССР, 1972. |      |
  |ме главных элементов  |        |                   |      |
  |(СП-0206).            |        |                   |      |
27|Работа по аналитичес- |  печ.  |Вычислительная ма- | 0,2  |М.М. Бежанова,
  |ким преобразованиям   |        |тем. и выч.техника |      |В.Л. Катков
  |в ВЦ СО АН СССР.      |        |Изд-во ФТИНТ АН    |      |
  |                      |        |УССР, вып.3,       |      |
  |                      |        |Харьков, 1972.     |      |
28|Первый советско-фр.   |  печ.  |Системное и теорет.| 0,6  |В.Е. Котов,
  |симпозиум по опера-   |        |программирование.  |      |Е.Н. Филинов
  |ционным системам.     |        |Изд-во ВЦ СО АН    |      |
  |                      |        |СССР, Новосибирск. |      |
  |                      |        |1972.              |      |
29|ЭПСИЛОН - система ав- |  печ.  |Наука, СО АН СССР. | 8,25 |Совместно с
  |томатизации программи-|        |Новосибирск, 1972. |      |группой ав-
  |рования задач символь-|        |                   |      |торов (5 чел)
  |ной обработки.        |        |                   |      |
30|Операционные системы  |  печ.  |Системное и теоре- | 0,6  |
  |коллективного пользо- |        |тическое программи-|      |
  |вания.                |        |рование. Изд-во ВЦ |      |
  |                      |        |СО АН СССР, Новоси-|      |
  |                      |        |бирск, 1972.       |      |
31|О линеаризации прог-  |  печ.  |Системное и теоре- | 0,5  |
  |раммы и частичном ее  |        |тическое программи-|      |
  |упорядочивании.       |        |рование. Изд-во ВЦ |      |
  |                      |        |СО АН СССР, Новоси-|      |
  |                      |        |бирск, 1972.       |      |
32|Система автоматизации | печ.   |Системное програм- | 0,75 |Совместно  с
  |программирования      |        |мирование. Изд-во  |      |группой ав-
  |АЛЬФА-6.              |        |ВЦ СО АН СССР, Но- |      |торов (15 чел)
  |                      |        |восибирск, 1973.   |      |
33|Оптимизирующие преоб- |  печ.  |Системное програм- | 0,6  |
  |разования и их после- |        |мирование.  Изд-во |      |
  |довательность.        |        |ВЦ СО АН СССР, Но- |      |
  |                      |        |восибирск, 1973.   |      |
34|Application of the    |  печ.  |Сб.Machine-Oriented| 1,1  |А.Ф. Рар
  |machine-oriented lan- |        |Higher-Level Lan-  |      |
  |guage EPSILON to the  |        |guages, Horth-Hol- |      |
  |software development. |        |land Publishing    |      |
  |                      |        |Company, 1974.     |      |
35|Структура операционных|  печ.  |"Некоторые проблемы| 0,5  |
  |систем коллективного  |        |вычислительной  и  |      |
  |пользования.          |        |прикладной матема- |      |
  |                      |        |тики". Наука,      |      |
  |                      |        |Новосибирск, 1975. |      |
36|Методы декомпозиции   |  печ.  |Elektronishe Infor-| 0,9  |В.В. Грушецкий,
  |синтеза и оптимизации |        |mationsverarbei-   |      |А.П. Ершов,
  |в многоязыковой систе-|        |tung und Kybernetik;      |С.Б. Покровский
  |ме программирования.  |        |N.4-6, 1975.       |      |
37|Глобальная оптимиза-  |  печ.  |Труды Всесоюзного  | 1,0  |
  |ция: практический под-|        |симпозиума по мето-|      |
  |ход.                  |        |дам реализации но- |      |
  |                      |        |вых языков. Новоси-|      |
  |                      |        |бирск, 1975.       |      |
38|Теоретическое програм-|  печ.  |Системное и теор.  | 4,5  |Совместно с
  |мирование в СССР.     |        |программирование.  |      |группой ав-
  |                      |        |Изд-во ВЦ СО АН    |      |торов (7 чел)
  |                      |        |СССР, Новосибирск, |      |
  |                      |        |1972.              |      |
39|Исследования в области|  печ.  |Фундаментальные ис-| 0,2  |Совместно с
  |теоретического и сис- |        |следования. Физико-|      |соавторами
  |темного программирова-|        |математические и   |      |(18 чел)
  |ния и их применение в |        |технические науки  |      |
  |автоматизации програм-|        |(СО АН СССР 20 лет)|      |
  |мирования и разработке|        |Наука, СО АН СССР, |      |
  |математического обес- |        |Новосибирск, 1977. |      |
  |печения.              |        |                   |      |
40|Архитектура  универ-  |        |Теория и практика  | 9 стр|Н.А. Калинина
  |сальных систем анали- |        |системного програм-|      |
  |тических преобразова- |        |мирования, ВЦ СО АН|      |
  |ний: приспособляемость|        |СССР. Новосибирск, |      |
  |к классу задач и связь|        |1977.              |      |
  |с системами программи-|        |                   |      |
  |рования.              |        |                   |      |
41|Sistemprogrammiers-   |  печ.  |Beitrage zur Infor-| 0,8  |
  |prachen.              |        |mations verarbei-  |      |
  |                      |        |tung BSB. B.G.Teub-|      |
  |                      |        |ner Verlagegesell- |      |
  |                      |        |schaft, Leipzig,   |      |
  |                      |        |1977.              |      |
42|О роли и методах опти-|  печ.  |Перспективы разви- | 0,25 |
  |мизации программ.     |        |тия в системном  и |      |
  |                      |        |теор.программирова-|      |
  |                      |        |нии. ВЦ СО АН СССР,|      |
  |                      |        |Новосибирск, 1978. |      |
43|Application of Optimi-|  печ.  |Constructing Quali-| 0,7  |В.Н. Касьянов
  |zation Techniques to  |        |ty Software, North |      |
  |Correctness Problems. |        |Holland Publ.Co,   |      |
  |                      |        |1978.              |      |
44|Приложение методов оп-|  печ.  |В сб.:Создание ка- | 0,7  |В.Н. Касьянов
  |тимизации к проблемам |        |чественного програм|      |
  |правильности          |        |много обеспечения",|      |
  |                      |        |т.1, ВЦ СО АН СССР,|      |
  |                      |        |1978.              |      |
45|Методы трансляции.    |  печ.  |Изд-во Новосибирс- | 6,25 |В.Н. Касьянов
  |                      |        |кого университета, |      |
  |                      |        |1978.              |      |
46|Технология трансляции.|  печ.  |Изд-во Новосибирс- |      |В.Н. Касьянов
  |                      |        |кого университета, |      |
  |                      |        |1978.              |      |
47|Технологические воз-  |  печ.  |Тезисы докладов    | 0,1  |В.Н. Касьянов
  |можности оптимизации  |        |1-ой Всесоюзной    |      |
  |программ.             |        |конференции по тех-|      |
  |                      |        |нологии программи- |      |
  |                      |        |рования (секция К) |      |
  |                      |        |ИК АН УССР, Киев,  |      |
  |                      |        |1979.              |      |
48|Оптимизирующие преоб- |  печ.  |Тезисы докладов    | 0,1  |
  |разования линейных    |        |1-ой Всесоюзной    |      |
  |участков.             |        |конференции по тех-|      |
  |                      |        |нологии программи- |      |
  |                      |        |рования (секция К) |      |
  |                      |        |ИК АН УССР, Киев,  |      |
  |                      |        |1979.              |      |
49|К обоснованию алгорит-| печ.   |"Программирование" | 1,0  |
  |мов оптимизации прог- |        |N 2, 1979.         |      |
  |рамм.                 |        |                   |      |
50|О контекстных условиях|  печ.  |Сб."Языки и систе- | 0,6  |
  |для корректности пре- |        |мы программирова-  |      |
  |образований объедине- |        |ния", ВЦ СО АН СССР|      |
  |ния и расчленения цик-|        |Новосибирск, 1979. |      |
  |лов.                  |        |                   |      |
51|Языки реализации для  |  печ.  |Труды "Национальная| 1,8  |
  |системного программи- |        |школы Программиро- |      |
  |рования.              |        |вание-79. Изд-во   |      |
  |                      |        |ЕЦММ, София, 1979. |      |
52|Языки реализации для  |  печ.  |Препринт ВЦ СО АН  |24 стр|
  |системного программи- |        |СССР, N 179, 1979. |      |
  |рования.              |        |                   |      |
53|Технологические воз-  |  печ.  |Программирование,  | 0,4  |В.Н. Касьянов
  |можности оптимизации  |        |N 2, 1980.         |      |
  |программ.             |        |                   |      |
54|Обоснование преобразо-|  печ.  |Программирование,  | 1,3  |О.В. Югринова
  |вания чистки циклов.  |        |N 5, 1980.         |      |
55|Проблематика разработ-|  печ.  |Труды рабочего со- | 0,7  |Н.А. Калинина
  |ки систем аналитичес- |        |вещания по системам|      |
  |ких преобразований на |        |и методам аналити- |      |
  |ЭВМ.                  |        |ческих выражений на|      |
  |                      |        |ЭВМ и их применению|      |
  |                      |        |в теоретической фи-|      |
  |                      |        |зике. Изд-во ОИЯИ, |      |
  |                      |        |Дубна, 1980.       |      |
56|Направленные преобра- |  печ.  |Сб."Языки и системы|17 стр|
  |зования линейного     |        |программирования", |      |
  |участка.              |        |ВЦ СО АН СССР, Но- |      |
  |                      |        |восибирск, 1981.   |      |
57|О математических моде-|  печ.  |Proc.YII Nat.School|24 стр|
  |лях программ, ориенти-|        |"Mathematical met- |      |
  |рованных на оптимиза- |        |hods in informa-   |      |
  |цию программ.         |        |tics", Varna. 1981.|      |
58|Об автоматическом кон-|  печ.  |Тезисы докладов    | 2 стр|А.М. Дзелинский,
  |струировании качествен|        |Всесоюзн.конф."Про-|      |В.Н. Касьянов
  |ных программ основан- |        |граммное обеспече- |      |
  |ном на преобразовании.|        |ние  выч. сетей  и |      |
  |                      |        |систем реальн. вре-|      |
  |                      |        |мени", Киев, 1981. |      |
59|Системы конкретизации:|  печ.  |Препринт ВЦ СО АН  |22стр |В.Н. Касьянов
  |подход и основные по- |        |СССР, N 349, Ново- |      |
  |нятия.                |        |сибирск, 1982.     |      |
60|Методика разработки   |  печ.  |Сб."Математическая |17 стр|А.П. Ершов,
  |многоязыковых трансля-|        |теория и практика  |      |В.Н. Касьянов,
  |торов на примере сис- |        |системного обеспе- |      |С.Б. Покровский
  |темы БЕТА.            |        |чения", ВЦ СО АН   |      |Г.Г. Степанов
  |                      |        |СССР, Новосибирск, |      |
  |                      |        |1982 г.            |      |
61|Проблемы автоматизации|  печ.  |Сб."Математическая |10 стр|Л. Барнев,
  |программирования в ус-|        |теория и практика  |      |Л.Б. Эфрос
  |ловиях коллективного  |        |систем программного|      |
  |использования вычисли-|        |обеспечения", ВЦ СО|      |
  |тельных средств.      |        |АН СССР,   Новоси- |      |
  |                      |        |бирск, 1982.       |      |
62|Автоматизация построе-|  печ.  |Изд-во НГУ, 1983   |96 стр|В.Н. Касьянов
  |ния трансляторов.     |        |                   |      |
63|Универсальная система |  печ.  |Сб."Аналитические  |12 стр|Н.А. Калинина,
  |проведения аналитичес-|        |вычисленияч на ЭВМ |      |А.Л. Семенов
  |ких вычислений АУМ.   |        |и их применение в  |      |
  |                      |        |теоретической физи-|      |
  |                      |        |ке" ОИЯИ, Дубна,   |      |
  |                      |        |1983.              |      |
64|Раздельная оптимизация|  печ.  |Сб."Автоматизация  |3 стр |
  |модулей: к постановке |        |производства паке- |      |
  |задачи.               |        |тов прикладных про-|      |
  |                      |        |грамм и транслято- |      |
  |                      |        |ров"(тезисы докла- |      |
  |                      |        |дов 2-ой Всесоюзн. |      |
  |                      |        |конф.) Таллинн,1983|      |
65|Архитектура систем    |  печ.  |Препринт ВЦ СО АН  |23 стр|В.Н. Касьянов
  |конкретизации.        |        |СССР, N 455, 1983. |      |
66|Возможности оптимиза- |  печ.  |Сб. Актуальные про-|17 стр|
  |ции программ и перс-  |        |блемы развития ар- |      |
  |пективы ее развития.  |        |хитектуры и програм|      |
  |                      |        |много обеспечения  |      |
  |                      |        |ЭВМ и вычислитель- |      |
  |                      |        |ных комплексов  ВЦ |      |
  |                      |        |СО АН СССР, 1983.  |      |
67|Об оптимизации логи-  |  печ.  |Сб. "Трансляция и  |11 стр|
  |ческих выражений с со-|        |оптимизация прог-  |      |
  |отношениями.          |        |рамм ВЦ СО АН СССР,|      |
  |                      |        |Новосибирск, 1983. |      |
68|Об алгоритме оптимиза-|  печ.  |Сб. "Трансляция и  |14 стр|
  |ции линейных участков.|        |преобразование про-|      |
  |                      |        |грамм" ВЦ СО АН    |      |
  |                      |        |СССР, Новосибирск, |      |
  |                      |        |1984.              |      |
69|Принципы построения   |  печ.  |Сб."Алгоритмы и ал-|17 стр|В.В. Пененко,
  |базового системного   |        |горитмические языки|      |Ф.Г. Светлакова
  |обеспечения пакетов   |        |Пакеты прикладных  |      |
  |прикладных программ.  |        |программ. Системное|      |
  |                      |        |наполнение". Москва,      |
  |                      |        |Наука, 1984.       |      |
70|Система СОФИСТ - базо-|  печ.  |Сб."Комплексы про- | 8 стр|Г.В. Нестерова,
  |вое системное обеспе- |        |грамм математичес- |      |Ф.Г. Светлакова
  |чение пакетов приклад-|        |кой физики", ИТПМ  |      |
  |ных программ.         |        |СО АН СССР, Новоси-|      |
  |                      |        |бирск, 1984.       |      |
71|Сборник упражнений по |  печ.  |Изд-во НГУ, 1985.  |79 стр|В.Н. Агафонов,
  |программированию на   |        |                   |      |М.М. Бежанова,
  |языке Паскаль.        |        |                   |      |В.К. Сабельфельд
72|Математическое обеспе-|  печ.  |Изд-во НГУ, 1986.  |92 стр|М.М. Бежанова
  |чение ЭВМ: операцион- |        |                   |      |
  |ные средства.         |        |                   |      |
73|Методы построения     |  печ.  |Наука, СО, Новоси- |344стр|В.Н. Касьянов
  |трансляторов.         |        |бирск, 1986.       |      |
74|Об организации науч-  |  печ.  |Труды Ш семинара   |11 стр|
  |ной работы студентов  |        |Проблемы информати-|      |
  |по программированию в |        |ки и ее применения |      |
  |Новосибирском универ- |        |в управлении, обу- |      |
  |ситете.               |        |чении и научных ис-|      |
  |                      |        |следованиях",София,|      |
  |                      |        |1986.              |      |
75|Средства разработки   |  печ.  |Алгоритмы и алго-  |18 стр|М.М. Бежанова
  |прикладного програм-  |        |ритмические языки. |      |
  |много обеспечения  с  |        |ППП. Программное   |      |
  |точки зрения современ-|        |обеспечение вычис- |      |
  |ных требований и воз- |        |лительного экспери-|      |
  |можностей.            |        |мента, Москва,     |      |
  |                      |        |Наука, 1987.       |      |
76|Программный базис для |  печ.  |Труды  П  Междунар.|3 стр |
  |инструментов конструи-|        |научно-тех. конф.  |      |
  |рования программ.     |        |ИНТЕРСОФТ-87, Кали-|      |
  |                      |        |нин, 1987.         |      |
77|О конструировании про-|  печ.  |Сб."Информатика.   |11 стр|
  |грамм в рабочем месте |        |Технологические ас-|      |
  |программиста.         |        |пекты", ВЦ СО АН   |      |
  |                      |        |СССР, 1987.        |      |
  |                      |        |                   |      |
  |                      |        |                   |      |
78|Математическое обеспе-|  печ.  |Изд-во НГУ, 1987.  |92 стр|М.М. Бежанова
  |чение ЭВМ: языковые и |        |                   |      |
  |технологические сред- |        |                   |      |
  |ства.                 |        |                   |      |
79|Учет межмодульных свя-|  печ.  |Сб.:"Методы транс- | 3 стр|О.Б. Томе
  |зей при оптимизации   |        |ции и конструирова-|      |
  |программ на языках ти-|        |ния программ" (Те- |      |
  |па Ада и Модула-2.    |        |зисы доклада) ч.2  |      |
  |                      |        |ВЦ СО АН СССР, Но- |      |
  |                      |        |восибирск, 1988.   |      |
80|Языки и системы прог- |  печ.  |В сб.:"Информатика |18 стр|
  |раммирования как сред-|        |и программирование"|      |
  |ства разрабатывания   |        |ВЦ СО АН СССР, Но- |      |
  |программ.             |        |восибирск, 1989 г. |      |
81|On Program Constructi-|  печ.  |Act.seminare Fran- | 6 стр|
  |on in a Programmer's  |        |cosoviet "INFORMA- |      |
  |Working Site.         |        |TIKA 88":Methods of|      |
  |                      |        |Compilation and    |      |
  |                      |        |Program Constructi-|      |
  |                      |        |on. INRIA,         |      |
  |                      |        |1989.              |      |
82|Andrei P. Ershov      |  печ.  |Theoretical Com-   | 3 стр|В.Е. Котов
  |1931-1988             |        |puter Science.     |      |
  |                      |        |V.67, N 1, 1989.   |      |
83|Творческое наследие   |  печ.  |Программирование   |24 стр|
  |А.П. Ершова (Обзор ра- |        |N 1, М., 1990 г.   |      |
  |бот).                 |        |                   |      |
84|Об объектно-ориентиро-|  печ.  |Труды Всесоюзной   | 4 стр|
  |ванном подходе к кон- |        |конференции "Акту- |      |
  |струированию программ.|        |альные проблемы    |      |
  |                      |        |системного програм-|      |
  |                      |        |мирования", Таллин,|      |
  |                      |        |1990 г.            |      |
85|Конструирование прог- |  печ.  |Труды YП Семинара  |16 стр|
  |рамм в рабочем месте  |        |"Проблемы информа- |      |
  |программиста: виды    |        |тики и ее примене- |      |
  |конструирования и ин- |        |ния в управлении,  |      |
  |струментальный базис. |        |обучении и научных |      |
  |                      |        |исследованиях",    |      |
  |                      |        |София, 1990 г.     |      |
86|Program Optimization: |  печ.  |В кн.:"INFORMATICS |10 стр|
  |State of the Art and  |        |89": Proceed.Sovi- |      |
  |Future Development.   |        |et-French Symp.    |      |
  |                      |        |v.2, Tallinn, 1990.|      |
87|Конструирование прик- |  печ.  |Совр. проблемы ал- |2 стр.|
  |ладных программ и про-|        |горитмизации: сб.  |      |
  |граммных систем:от ал-|        |тр. докл. -Ташкент,|      |
  |горитмов к программам.|        |1991.              |      |
88|Andrej Petrovich      |  печ.  |Images of program- |21 стр|
  |Ershov.               |        |ming. Amsterdam:   |      |
  |                      |        |North-Holland.     |      |
  |                      |        |- 1991.            |      |
89|Selected biography of |  печ.  |Images of program- |11 стр|
  |Ershov's papers.      |        |ming.  Amsterdam:  |      |
  |                      |        |North-Holland.     |      |
  |                      |        |- 1991.            |      |
90|Analysis of  program  |  печ.  |Teoretical Compu-  |20 стр|
  |optimization possibi- |        |ter Science. V.90, |      |
  |lities and further    |        |N 1.-1991.         |      |
  |development.          |        |                   |      |
91|Анализ возможностей и |  печ.  |Программирование,  |17 стр|
  |и путей развития опти-|        |N 6, М., 1991.     |      |
  |мизации программ.     |        |                   |      |
  |                      |        |                   |      |
92|Система Сократ:окруже-|  печ.  |Препринт ИСИ СО РАН|18 стр|
  |ние программирования  |        |N 11, 1992.        |      |
  |для встроенных ЭВМ.   |        |                   |      |
 93|Послесловие к русскому|  печ.  |М.Эллис, Б.Строуст-| 4 стр|
   |изданию               |        |руп. Справочное ру-|      |
   |                      |        |ководство по языку |      |
   |                      |        |программирования   |      |
   |                      |        |С++ с комментариями|      |
   |                      |        |М., Мир, 1992.     |      |
 94|О структурном конструи| печ.   |Сб."Среда програм- |17 стр|Т.Б. Болтаев
   |ровании и инструментах|        |мирования: методы и|      |Т.В. Кузьминов
   |его поддержки.        |        |инструменты", ИСИ  |      |
   |                      |        |СО РАН, Новосибирск,      |
   |                      |        |1993.              |      |
   |                      |        |                   |      |
 95|Математическое обеспе-| печ.   |Новосибирск, НГУ,  |86 стр|М.М. Бежанова
   |чение ЭВМ: средства и |        |1993.              |      |
   |инструменты.          |        |                   |      |
   |                      |        |                   |      |
 96|The Structured Const- | печ.   |CSAM'93: Abst-     |1 стр.|M.I. Aniskov,
   |ructing as a Discipli-|        |racts/Intern.Cong- |      |T.B. Boltayev,
   |ne of Safe Programming|        |ress on Computer   |      |D.V. Kochetov
   |and Instruments Suppo-|        |Systems and Applied|      |et al.
   |rting  It.            |        |Mathematics. St.Pe-|      |
   |                      |        |tersburg, 1993.    |      |
 97|SOKRAT:An Environment | печ.   |CSAM'93: Abstracts |2 стр.|T.V. Kuzminov,
   |for Safe and Efficient|        |/Intern.Congress on|      |S.B. Pokrovsky
   |Programming.          |        |Computer Systems   |      |et al.
   |                      |        |amd Applied Mathe- |      |
   |                      |        |matics. St.Peters- |      |
   |                      |        |burg, 1993.        |      |
 98|Андрей Петрович Ершов:| печ.   |Избранные труды/   |24 стр|
   |жизнь и творчество    |        |А.П. Ершов. - Ново- |      |
   |                      |        |сибирск, 1994      |      |
 99|Этические проблемы    | печ.   |Программирование   |2 стр.|В.П. Иванников
   |программирования      |        |N 3, 1993          |      |
100|Конференция "Формаль- | печ.   |Программирование   |3 стр.|В.А. Непомнящий
   |ные методы в програм- |        |N 6, 1993          |      |
   |мировании и их приме- |        |                   |      |
   |нение"                |        |                   |      |
101|Langages et Compila-  | печ.   |Rapport sur l'etat |18 стр|
   |teurs                 |        |de la recherche    |      |
   |                      |        |du developpement et|      |
   |                      |        |de l'industrialisa-|      |
   |                      |        |tion du logiciel en|      |
   |                      |        |Russie. Fevrier,   |      |
   |                      |        |- INRIA,           |      |
   |                      |        |Rocquencourt, 1994 |      |
102|Введение в компьютер- | печ.   |Новосибирск, НГУ,  |116 ст|7 соавторов
   |ные науки             |        |1994               |      |
103|Математическое обеспе-| печ.   |Новосибирск, НГУ,  |76 стр|М.М. Бежанова
   |чение ЭВМ: окружения  |        |1994               |      |
   |и интерфейсы          |        |                   |      |
104|Структурное конструи- |  печ.  |Сб."Средства и ин- | 7 стр|М.И. Анисков
   |рование как дисциплина|        |струменты окружения|      |Т.Б. Болтаев
   |надежного конструиро- |        |программирования", |      |Д.В. Кочетов
   |вания и инструменты   |        |ИСИ СО РАН, Новоси-|      |Т.В. Кузьминов
   |его поддержки.        |        |бирск, 1995 г.     |      |
105|Текущее состояние рос-|  печ.  |Препринт ИСИ СО РАН|31 стр|
   |сийских исследований  |        |N 30, 1995 г.      |      |
   |и разработок в области|        |                   |      |
   |трансляции.           |        |                   |      |
106|Программные системы   |  печ.  |Сб. "Программные   | 9 стр|
   |учебной информатики и |        |системы", ИСИ СО   |      |
   |работы Г.А.Звенигород-|        |РАН, 1995 г.       |      |
   |ского                 |        |                   |      |
107|Математическое обеспе-|  печ.  |НГУ, Новосибирск,  |80 стр|М.М. Бежанова
   |чение ЭВМ: инструмен- |        |1996 г.            |      |
   |тарий и обучающие     |        |                   |      |
   |средства.             |        |                   |      |
108|О критериях добротнос-|  печ.  |Препринт ИСИ СО РАН|35 стр|
   |ти программ           |        |N 35, 1996 г.      |      |
109|О возможности точного |  печ.  |Сб."Математические | 3 стр|
   |определения, что такое|        |модели и численные |      |
   |"хорошая" программа.  |        |методы механики    |      |
   |                      |        |сплошной среды",   |      |
   |                      |        |Новосибирск, 1996 г|      |
110|СОКРАТ: окружение на- |  печ.  |Сб. "Актуальные    |14 стр|7 соавторов
   |дежного и эффективно- |        |проблемы информати-|      |
   |го программирования   |        |ки, прикладной ма- |      |
   |                      |        |тематики и механи- |      |
   |                      |        |ки". Часть III. Ин-|      |
   |                      |        |форматика. Красно- |      |
   |                      |        |ярск,Изд-во СО РАН,|      |
   |                      |        |1996 г.            |      |
111|"Хорошая программа":  |  печ.  |Программирование,  |15 стр|
   |попытка точного опре- |        |N 2, 1997          |      |
   |деления понятия       |        |                   |      |
112¦Программистская инже- ¦  печ.  ¦Программирование   ¦12 стр¦
   ¦нерия: содержание,мне-¦        ¦N 4, 1997          ¦      ¦
   ¦ния и тенденции (по   ¦        ¦                   ¦      ¦
   ¦итогам 18-й конф. по  ¦        ¦                   ¦      ¦
   ¦Software Engineering. ¦        ¦                   ¦      ¦
113¦О критериях добротнос-¦  печ.  ¦Системная информа- ¦34 стр¦
   ¦ти программ.          ¦        ¦тика, N 6, 1997,   ¦      ¦
   ¦                      ¦        ¦Новосибирск, Наука ¦      ¦
114¦От программирующих    ¦  печ.  ¦Computers in       ¦ 7 стр¦Э.З. Любимский
   ¦программ к системам   ¦        ¦Europe: Past, Pre- ¦      ¦М.Р. Шура-Бура
   ¦программирования (рос-¦        ¦sent and Future    ¦      ¦
   ¦сийский опыт)         ¦        ¦(Proc. of Int.Work-¦      ¦
   ¦                      ¦        ¦shop, Киев, 1998)  ¦      ¦
115¦А.П. Ершов и становле- ¦  печ.  ¦  -  "  -          ¦ 8 стр¦
   ¦ние новосибирской шко-¦        ¦                   ¦      ¦
   ¦лы программирования   ¦        ¦                   ¦      ¦
116¦Система параллельного ¦  печ.  ¦Труды 6-го Междуна-¦ 5 стр¦С.И. Катков
   ¦программирования, ос- ¦        ¦родного семинара   ¦      ¦
   ¦нованная на языке     ¦        ¦"Распределенная об-¦      ¦
   ¦СуперПаскаль.         ¦        ¦работка информации"¦      ¦
   ¦                      ¦        ¦1998, Новосибирск, ¦      ¦
   ¦                      ¦        ¦Изд. СО РАН.       ¦      ¦
117¦Об организованности   ¦  печ.  ¦Труды 3-го Сибирс- ¦ 1 стр¦
   ¦потока данных в про-  ¦        ¦кого конгресса по  ¦      ¦
   ¦граммах.              ¦        ¦индустриальной и   ¦      ¦
   ¦                      ¦        ¦прикладной матема- ¦      ¦
   ¦                      ¦        ¦тике (ИНПРИМ-98),  ¦      ¦
   ¦                      ¦        ¦Новосибирск, ИМ СО ¦      ¦
   ¦                      ¦        ¦РАН, 1998.         ¦      ¦
118¦Добротность программ  ¦  печ.  ¦Открытые системы,  ¦10 стр¦
   ¦и информационных по-  ¦        ¦N 6, 1998.         ¦      ¦
   ¦токов.                ¦        ¦                   ¦      ¦
119¦Информационная среда  ¦  печ.  ¦Новые информацион- ¦ 2 стр¦Н.А. Калинина,
   ¦изучения исследования ¦        ¦ные технологии в   ¦      ¦Л.В. Городняя,
   ¦информатики и програм-¦        ¦университетском    ¦      ¦
   ¦мирования.            ¦        ¦образовании.       ¦      ¦
   ¦                      ¦        ¦Труды Международной¦      ¦
   ¦                      ¦        ¦научно-практической¦      ¦
   ¦                      ¦        ¦конференции, Ново- ¦      ¦
   ¦                      ¦        ¦сибирск, 1999.     ¦      ¦
120¦Андрей Петрович Ершов:¦  печ.  ¦Наука, академгоро- ¦ 6 стр¦
   ¦жизнь и творчество.   ¦        ¦док, Университет.  ¦      ¦
   ¦                      ¦        ¦Новосибирск,       ¦      ¦
   ¦                      ¦        ¦Изд-во НГУ, 1999   ¦      ¦
121|Cовременные понятия и |  печ.  |Научный мир, Моск- | 12   |М.М. Бежанова
   |методы программирова- |        |ва, 2000           |      |
   |ния                   |        |                   |      |