История развития программного обеспечения

Всемирные компьютерные конгрессы ИФИП

Введение

Международная федерация по обработке информации (IFIP или ИФИП) [16] – неправительственная некоммерческая рамочная организация национальных обществ, работающих в области информационной обработки, создана в 1960 г. под эгидой ЮНЕСКО как результат первого всемирного компьютерного конгресса, который состоялся в Париже в 1959 г. Создание ИФИП отвечало насущным проблемам времени. В 60-е гг. прошлого столетия в мире начался существенный рост компьютерной индустрии, и стала быстро расширяться сфера применения ее продуктов. Таким образом, с началом работы ИФИП информационные технологии все в большей степени становятся эффективным инструментом, влияющим на жизнь людей, причем в разных направлениях: в науке и инженерии, в коммерции и индустрии, в образо­вании и управлении, а также в сферах досуга.

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

Членами ИФИП являются более 60 общественных организаций и академий наук, представляющих страны различных регионов мира, в том числе Россию, из которых 45 являются полными членами, 4 – членами-корреспондентами, 1 – ассоциативным членом и 11 – объединенными членами. Среди индивидуальных членов ИФИП 18.1% специалистов из индустрии, 75% – из университетов, 3.8% занимаются управлением. Женщины в ИФИП составляют 12.4%, а моло­дежь (до 40 лет) – 19.4%.

ИФИП поддерживает дружественные связи со многими неправительственными организациями, первой из которых является ЮНЕСКО, и тесно взаимодействует с такими международными федерациями, как IFAC, IMACS, IFORS и IMEKO.

ИФИП проводит Всемирный компьютерный конгресс и участвует в организации других международных конференций по информационным технологиям через свои технические комитеты и рабочие группы. В настоящее время ИФИП включает 85 рабочих групп и состоит из 13 технических коми­тетов:

  • основания информатики;
  • программное обеспечение: теория и практика;
  • образование;
  • применения компьютерных технологий;
  • коммуникационные системы;
  • системы моделирования и оптимизации;
  • информационные системы;
  • отношение между компьютерами и обществом;
  • технология компьютерных систем;
  • секретность и защита систем информационной обработки;
  • искусственный интеллект;
  • человеко-машинное взаимодействие;
  • досуговые вычисления.

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

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

Андрей Петрович Ершов не только выступал на шести конгрессах ИФИП (он участвовал во всех конгрессах, которые состоялись в период с 1965 г. по 1983 г.), но и тратил много сил на их организацию. Помимо этого, А. П. Ершов активно участвовал в деятельности Рабочей группы 2.1 по Алголу Технического комитета 2 ИФИП по программному обеспечению (ТК 2) и в работе самого ТК 2, а также в организации рабочих конференций, проводимых под эгидой ТК 2 ИФИП. В 1980 г. за плодотворную деятельность в ИФИП по организации конгрессов А. П. Ершов был награжден «Серебряным сердечником» (Silver Core) – одним из высших знаков отличия для членов ИФИП.

В своём докладе, я остановлюсь на ряде Всемирных компьютерных конгрессов ИФИП и рассмотрю Рабочую конференцию ИФИП по машинно-ориентированным языкам высокого уровня, которая состоялась в Новосибирске в 1977 г. Доклад опирается на мои личные воспоминания по участию за четверть века в четырех конгрессах ИФИП и использует некоторые материалы из электронного архива А. П. Ершова [17].

1. Рабочая конференция ИФИП в Новосибирске

С 24 по 27 мая 1977 г. в Новосибирске состоялась Рабочая конференция ИФИП по машинно-ориентированным языкам высокого уровня (разработка качественного программного обеспечения). На конференции присутствовало 57 ученых из 16 стран. Это была первая столь представительная международная конференция по программированию, состоявшаяся в СССР.

Решение о проведении конференции было принято Генеральной ассамблеей ИФИП и подтверждено планом Государственного комитета Совета Министров СССР по науке и технике. Научная подготовка конференции проводилась Техническим комитетом ИФИП № 2, представителем в котором от СССР был А. П. Ершов. Делегаты Рабочих конференций ИФИП приглашаются международным комитетом по списку, утвержденному техническим комитетом. Усилиями А. П. Ершова было обеспечено представительной советской делегации, которая насчитывала 17 человек из 7 городов.

В извещении конференции ее тематика характеризовалась следующим образом. «Разнообразные критерии, входящие в определение качества программного продукта, включают правильность (соответствие спецификации), безотказность (при любых условиях применения), эффективность (соразмерную со сложностью задачи), ясность (как программы, так и её функционирования). Давно признано, что обеспечение надлежащего баланса таких (необязательно совместимых) целей в первую очередь зависит от того, как программа конструируется. Успех зависит от методов, использованных при разработке программы, и от инструментария, использованного в этом процессе (причем язык программирования есть лишь наиболее обычная часть этого инструментария).»

Все представленные на конференции доклады были разделены на три группы:

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

Это разделение было во многом условным, поскольку большинство докладов затрагивало целый комплекс вопросов. Например, почти все работы по разработке инструментальной базы содержали изложение определенной методики проектирования.

В докладе В. Н. Касьянова и И. В. Поттосина «Применение методов оптимизации к проверке правильности программ» [12, 15] рассматривалось как алгоритмы потокового анализа и ряда оптимизирующих преобразований практически без изменения могут быть применены для повышения надежности за счет обнаружения в тексте программы довольно широкого класса неправдоподобностей – определенных свойств, присущих неправильным программам.

2. Участие А. П. Ершова во Всемирных компьютерных конгрессах ИФИП

Как представитель СССР в Техническом комитете 2 ИФИП по программированию, А. П. Ершов принимал активное участие в организации всех тех конференций конгресса, которые формировались этим комитетом. Так он стал одним из активных организаторов Третьего конгресса ИФИП-65, который состоялся с 24 по 29 мая 1965 г. в США (г. Нью-Йорк), и выступил на нем с двумя докладами: «АЛЬФА – система автоматизации программирования высокого качества» [1] и «Система программирования, основанная на взаимодействии человека и машины» (совместно с Г. И. Марчуком) [6]. Система АЛЬФА [13], представленная в докладе Ершовым, была первой в мировой практике оптимизирующей системой программирования для языков, более сложных, чем Фортран.

А. П. Ершов был вице-председателем программного комитета Четвертого конгресса ИФИП (ИФИП-68), который проходил со 2 по 7 августа 1968 г. в Шотландии (г. Эдинбург), и участвовал в панельной дискуссии «Разделение времени: потребность в переориентации», состоявшейся в рамках программы конгресса [4].

На 5-м Конгрессе ИФИП-71, который состоялся с 23 по 28 августа 1971 г. в Югославии (г. Любляна), А. П. Ершов был членом технического комитета «Программирование и структуры систем» и выступил с известным обзорным докладом «Теория схем программ» [2], текст которого был затем переиздан как одна из лучших работ по информатике за 1971 год [3]. Это был первый конгресс ИФИП, который проходил в стране «социалистического лагеря», и поэтому отличался сравнительно большой делегацией ученых из СССР. Так, только из ВЦ в конгрессе участвовало 6 ученых: два (Г. И. Марчук и А. П. Ершов) в качестве делегатов, и 4 (Э. Х. Тыугу, А. С. Нариньяни, И. В. Поттосин, В. П. Ильин) в качестве туристов.

На панельной дискуссии 6-го Конгресса ИФИП-74, который проходил с 5 по 10 августа 1974 г. в Швеции (г. Стокгольм), состоялось позиционное выступление А. П. Ершова «Программирование в 1980-х годах».

А. П. Ершов был организатором и председателем панельной дискуссии «Понимание естественных языков» 7-го Конгресса ИФИП-77, который прошел с 8 по 12 августа 1977 г. в Канаде (г. Торонто). На нем он выступил с докладом «Метод описания алгоритмических языков, ориентированный на реализацию» (совместно с В. В. Грушецким) [5].

На 8-м Конгрессе ИФИП-80, который состоялся в Японии (г. Токио) и в Австралии (г. Мельбурн) с 1 по 17 октября 1980 г., А. П. Ершов был заместителем председателя программного комитета.

3. 9-й Всемирный компьютерный конгресс ИФИП

9-й Конгресс ИФИП (ИФИП-83) состоялся с 19 по 23 сентября 1983 г. во Франции (г. Париж). Это был последний из серии конгрессов ИФИП, на который выезжал А. П. Ершов. На этом Конгрессе он был организатором и участником панельной дискуссии «Крепкие орешки информатики», а также участником панельной дискуссии «Компьютерная грамотность».

Еще одним активным организатором Конгресса ИФИП-83 был другой сотрудник ВЦ, Вадим Евгеньевич Котов, в дальнейшем первый директор ИСИ и чл.-коррё. АН СССР. Он был председателем международного программного комитета конференции «Теоретические основы обработки информации» – одной из десяти конференций, образующих Конгресс. Именно А. П. Ершов и В. Е. Котов стали теми сотрудниками ВЦ, которые вошли в советскую делегацию, выехавшую на Конгресс.

Надо сказать, что первоначально при формировании советской делегации я также рассматривался в качестве кандидата, поскольку мой доклад «Базис для оптимизации программ» [8] был включен в программу конференции «Теоретические основы обработки информации». В архиве А. П. Ершова [17] даже сохранилось научно-техническое задание чл.-корр. АН СССР А. С. Алексеева, тогда директора ВЦ, заведующему отдела чл.-корр. АН СССР А. П. Ершову и снс, к.ф.-м.н. В. Н. Касьянову, выезжающим во Францию для участия в конгрессе.

Поскольку докладчик в делегацию все же не попал, возникла проблема представления доклада, которое гарантировалась советской стороной при включении доклада в труды Конгресса. Однако такая проблема возникла не в первый раз и уже имела отработанное решение: представление доклада другим участником делегации. Так, например, когда Я. М. Барздинь (в то время работавший в городе Рига) не смог приехать на Конгресс ИФИП-77 в Канаду, А. П. Ершов выступил с его докладом. Поэтому при формировании советской делегации на Конгресс ИФИП-83 статус докладчика хотя и учитывался, но уже не был определяющим. И когда А. П. Ершов сообщил мне, что я не еду, и предложил прочитать мой доклад, я подготовил и передал ему презентацию в виде набора прозрачек, а также текст моего выступления с указанием тех мест, где нужно менять прозрачки. Однако, к сожалению, сам доклад на Конгрессе все же не состоялся. Дело в том, что, начиная с этого Конгресса, организаторы решили ужесточить требования и перестали разрешать выступать на Конгрессе с чужими докладами тем участникам, которые не имеют письменного согласия автора доклада на такую замену. Поскольку эти требования возникли неожиданно, о письменном согласии никто из нас и не подумал.

4. 16-й Всемирный компьютерный конгресс ИФИП

16-й Всемирный компьютерный конгресс ИФИП-2000 состоялся с 21 по 25 августа 2000 г. в Китае (г. Пекин). Он прошел под лозунгом «Обработка информации. За рубежом 2000 года», и в его работе приняло участие более 2 тысяч ученых и специалистов из 70 стран мира. Впервые конгресс проводился в развивающейся стране – Китае, что было не случайным, а подтвердило особый статус Китая в области развития информационных технологий.

Конгресс ИФИП-2000 проходил в так называемой «деревне азиатских игр», расположенной в северной части Пекина, в виде следующих 8 отдельных конференций:

  • Международная конференция по коммуникационным технологиям (ICCT-2000),
  • Международная конференция по автоматизации проектирования чипов (ICDA-2000),
  • Международная конференция по использованию информационных и коммуникационных технологий в образовании (ICEUT-2000),
  • Международная конференция по программному обеспечению: теории и практике (ICS-2000),
  • Международная конференция по обработке сигналов (ICSP-2000),
  • Международная конференция по интеллектуальной обработке информации (IIP-2000),
  • Международная конференция по информационной технологии управления бизнесом (ITBM-2000),
  • Международная конференция по защите информации (SET-2000).

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

Надо сказать, что к 2000 г. СССР уже не существовал, и хотя финансирование научных исследований в России в целом резко сократилось, и многие ученые и академические институты находились на грани выживания, для ученых из бывшего Советского Союза появились новые возможности участия в международных мероприятиях. В частности, был организован Российский фонд фундаментальных исследований (РФФИ), который на конкурсной основе стал выдавать гранты для поддержки исследований отдельных небольших коллективов ученых. В бюджетах этих грантов можно было предусматривать разного типа расходы, в том числе и на командировки. В виде отдельного направления своей работы РФФИ стал также выделять так называемые тревел-гранты (travel grants) для поддержки участия российских специалистов в международных мероприятиях. Гранты РФФИ, а также финансовая поддержка, неизменно оказываемая мне со стороны ИФИП, позволили мне в этот раз и в дальнейшем полноценно участвовать в работе Конгрессов ИФИП.

На Конгрессе ИФИП-2000 я выступил с двумя докладами: «Иерархические графовые модели и визуальная обработка» (совместно с В. А. Лисицыным) [11] и «СИМИКС: информационная система по истории информатики» [9]. Первый доклад состоялся на Международной конференции по программному обеспечению: теории и практике (ICS-2000), а второй – на Международной конференции по использованию информационных и коммуникационных технологий в образовании (ICEUT -2000).

5. 17-й Всемирный компьютерный конгресс ИФИП

17-й Всемирный компьютерный конгресс ИФИП (ИФИП-2002) проходил с 24 по 31 августа 2002 года в Канаде (г. Монреаль). В этот раз конгресс проводился в виде 11 отдельных конференций (потоков):

  • Основы информационных технологий в эпоху сетевых и мобильных вычислений (TCS 2002);
  • Архитектура программного обеспечения;
  • Теле-обучение;
  • Коммуникационные системы: текущее состояние;
  • Информационные системы: вызовы e-бизнеса;
  • Гуманитарный выбор и компьютеры: вопросы выбора и качества жизни в информационном обществе;
  • Распределенные и параллельные встроенные системы (DIPES 2002);
  • Интеллектуальная информационная обработка (IIP-2002);
  • Применимость: достижение конкурентоспособной грани;
  • Специальный поток по секретности;
  • Индустриальный поток.

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

Работа конференции «Теле-обучение», на которой состоялся мой доклад «Графы в информатике: методы и инструменты», велась по трем основным направлениям: подготовка преподавателей (19 докладов), пожизненное обучение – профессиональное развитие (14 докладов), технологии обучения (18 докладов). Программа конференции включала три приглашенных доклада, секционные заседания, круглые столы и панельные дискуссии.

6. 20-й Всемирный компьютерный конгресс ИФИП

20-й Всемирный компьютерный конгресс ИФИП (ИФИП-2008) стал событием, посвященным наукам, информационным технологиям и коммуникациям (ICT). Это был первый Конгресс ИФИП, который прошел в Италии. В течение 4 дней конгресса, почти 2000 делегатов, приехавших из 70 стран, обсуждали главные актуальные проблемы и перспективы области информационных технологий и коммуникаций в обществе знаний 21 столетия.

Основная работа Конгресса ИФИП-2008 проходила в виде 12 технических конференций:

  • Биологически инспирированные кооперативные вычисления;
  • Распределенные и параллельные встроенные системы; 1-й симпозиум по представлению вычислений;
  • Обучение для жизни в обществе знания;
  • 3-я Международная конференция по истории информатики и образования;
  • Человеко-машинное взаимодействие;
  • Искусственный интеллект 2008;
  • 23-я Международная конференция по информационной безопасности;
  • Успехи в исследовании, обучении и практике информационных систем;
  • Управление знаниями в действии;
  • Системы открытого кода 2008;
  • 5-я Международная конференция по теоретическим компьютерным наукам.

Помимо технических конференций программа Конгресса ИФИП-2008 включала сессии открытия и закрытия, различные тематические сессии, многочисленные выставки, а также так называемые кросс (или междисциплинарные) сессии и конференции. Отдельные междисциплинарные сессии имели дело с различными интересными темами, такими как электронное включение, электронное правительство, ICT для культурного наследия, ICT для окружающей среды, ICT профессионализм и компетентность, ICT для здоровья, Интернет второго поколения и ICT для образования. Таким образом, в нем проявился новый итальянский подход, направленный на поддержку соединения специфических предметов технических конференций и междисциплинарных предметов итальянской реальности.

На Конгрессе ИФИП-2008 я выступил с двумя докладами: «Открытый адаптивный виртуальный музей по истории информатики в Сибири» [7] и «WAPE – система дистанционного обучения программированию» (совместно с Е. В. Касьяновой) [10].

Заключение

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

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

Представление результатов на Конгрессах ИФИП является наиболее эффективным способом сделать их достоянием мировой общественности, но не всегда доступным для российских ученых. Так, например, хотя за последние четверть века 6 моих докладов были включены в программы четырех конгрессов ИФИП, мне ни разу так и не посчастливилось войти ни в одну из делегаций, выезжающих на Конгрессы, ни в бытность СССР, ни в уже новой России. Поэтому участие в других международных конгрессах и конференциях (я выступал более чем со 110 докладами на международных научных мероприятиях [14]), а также публикации в зарубежных и в переводимых на английский язык советских (российских) журналах (их было порядка 20 [14]) все же являются для меня основными возможностями донести полученные результаты до мировой научной общественности.

Литература

  1. Ershov A. P. The ALFA automatic programming system // Information processing 65. – Washington-London, 1965. – Vol. 2. – P. 622–623. – (Proc. IFIP Congress 65).
  2. Ershov A. P. Theory of program schemata // Information processing 71. – Amsterdam, North-Holland, 1971. – P. 28–45. – (Proc. IFIP Congress 71).
  3. Ershov A. P. Theory of program schemata // The Best Computer Paper of 1971. – Princeton, Auerbach, 1971. – P. 93–124.
  4. Ershov A. P. Time sharing: the need for reorientation // Information processing 68. – Amsterdam, North-Holland, 1969. – P. 1615–1616. – (Proc. IFIP Congress 68).
  5. Ershov A. P., Grushetsky V. V. An implementation-oriented method for describing algorithmic languages // Information processing 77. – Amsterdam, North-Holland, 1977. – P. 117–122. – (Proc. IFIP Congress 77).
  6. Ershov A. P., Marchuk G.I. Man-machine interaction in solving a certain class of different equations // Information processing 65. – Washington-London, 1965. – Vol. 2. – P. 550–551. – (Proc. IFIP Congress 65).
  7. Kasyanov V. N. An open adaptive virtual museum of informatics history in Siberia // IFIP International Federation for Information Processing. – Boston: Springer, 2008. – Vol. 266. History of Computing and Education 3 (HCE 3). – P. 129–146. – (Proc. of the 20th IFIP World Computer Congress).
  8. Kasyanov V. N. Basis for program optimization // Information processing 83. – Amsterdam, North-Holland, 1983. – P. 315–320. – (Proc. IFIP Congress 83).
  9. Kasyanov V. N. SIMICS: information system on informatics history // Proc. of Intern. Conf. on Educational Uses of Information and Communication Technologies (ICEUT). 16th IFIP World Computer Congress. – Beijing, PHEI, 2000. – P. 168.
  10. Kasyanov V. N., Kasyanova E. V. WAPE – a system for distance learning of programming // IFIP International Federation for Information Processing. – Boston: Springer, 2008. – Vol. 261. Learning to Live in the Knowledge Society. – P. 355 – 357. – (Proc. of the 20th IFIP World Computer Congress).
  11. Kasyanov V. N., Lisitsyn I. A. Hierarchical graph models and visual processing // Proc. of Intern. Conf. on Software: Theory and Practice (ICS-2000). 16th IFIP World Computer Congress. – Beijing, PHEI, 2000. – P. 179–182.
  12. Kasyanov V. N., Pottosin I. V. Application of optimization techniques to correctness problems // Constructing Quality Software, Ed. by P. G. Hidbard and S. A. Schuman. – Amsterdam, North-Holland, 1979. – P. 237–248. – (Proc. IFIP Working Conf.).
  13. АЛЬФА – система автоматизации программирования / Г. И. Бабецкий и др. – Новосибирск: Наука, 1967. – 308 С.
  14. Виктор Николаевич Касьянов. К 60-летию со дня рождения. – Новосибирск, ИСИ СО РАН, 2008. – 136 С. – (http: // pco.iis.nsk.su/~kvn).
  15. Касьянов В. Н., Поттосин И. В. Применение методов оптимизации к проверке правильности программ // Создание качественного программного обеспечения. – Новосибирск: ВЦ СО АН СССР, 1978. – Т.1. – С. 225–237.
  16. Международная федерация по обработке информации (ИФИП) – http://www.ifip.org.
  17. Электронный архив академика А. П. Ершова. – http: // www.iis.nsk.su.

Об авторе: Институт систем информатики имени А. П. Ершова СО РАН, Новосибирск, Россия; kvn@iis.nsk.su
Статья опубликована в материалах семинара "История информатики в Сибири", прошедшего в рамках VII международной конференции памяти академика А.П.Ершова "Перспективы систем информатики", Новосибирск, 15-19 июня 2009 г.
Статья помещена в музей 22.10.2009 года.