CC BY
39
X ХРОНИКА И ИНФОРМАЦИЯ
ВИЗИТ БЕРТРАНА МЕЙЕРА В САНКТ-ПЕТЕРБУРГ
Воспитание молодежи невозможно без знакомства с людьми, с которых можно брать пример. В Санкт-Петербургском государственном университете информационных технологий, механики и оптики (СПбГУИТМО) встречи с такими людьми становятся доброй традицией. В 2005 г. гостем преподавателей и студентов ИТМО был Никлаус Вирт1, в этом году — его преемник на посту декана факультета Высшей политехнической школы Цюриха (ETN) Бертран Мейер (Bertrand Meyer).
Профессор Бертран Мейер, как и его предшественник, знает русский язык, на мой взгляд, практически в совершенстве. Несмотря на то, что сам Б. Мейер неоднократно отмечал, что давать оценку «в совершенстве» в его случае несправедливо, я остаюсь при своем мнении.
Мы познакомились с Б. Мейером под Санкт-Петербургом, в Зеленогорске, в 2004 г.2, где он был приглашенным докладчиком на конференции «Microsoft Research in St. Petersburg». Первое словосочетание, которое он сначала сказал, а потом написал по-русски, было «на авось». Это относилось к традиционному написанию программ, которому он противопоставлял предложенный им метод написания программ по контракту. Б. Мейер еще раз приезжал в Россию на конференцию по образованию и выступал с очень интересным докладом. Потом он прислал труды В. Г. Парфенову и мне по программной инженерии (software engineering), которой мы тоже активно занимаемся.
28 марта 2006 г. я предложил Ученому совету СПбГУИТМО избрать Бертрана Мейера почетным доктором университета и был единогласно поддержан.
Визит Б. Мейера с супругой в СПбГУИТМО состоялся 2 июня 2006 г.3. Сначала они встретились с ректором В. Н. Васильевым, который рассказал гостям об университете и победах студентов и выпускников в различных чемпионатах по программированию. Профессор Мейер на русском языке поблагодарил руководителя университета за оказанную честь и сказал, что об успехах ИТМО наслышан.
Для того чтобы у гостей не сложилось впечатление, что университет имеет успехи только в области олимпиадного программирования, по предварительному согласованию был проведен более чем двухчасовой семинар «Работы по программной ин-
1 Шалыто А. А. Никлаус Вирт — почетный доктор Санкт-Петербургского государственного университета информационных технологий, механики и оптики // Ин-формационно-управляющие системы. 2005. № 5. С. 5658. http://is.ifmo.ru
2 http://is.ifmo.ru/misc/meyer/
3 http://is.ifmo.ru/misc/ meetmeyer.pdf
женерии, проводимые на кафедре “Технологии программирования” СПбГУИТМО»1, на котором было сделано 12 докладов, в большинстве посвященных автоматному программированию — направлению в программировании, предложенному и развиваемому на указанной кафедре ИТМО. Доклады по этой тематике вызвали неподдельный интерес профессора Мейера.
По завершении семинара состоялось торжественное вручение Бертрану Мейеру мантии и диплома почетного доктора, которое проходило в присутствии большого числа студентов-программистов, обучающихся не только в нашем университете.
В начале встречи я познакомил присутствующих с биографией Бертрана Мейера.
Он родился 21 ноября 1950 г., а в 1974 г. закончил Политехническую школу (Ecole Polytechnic) в Париже, став инженером.
В этом же году получил степень магистра по Computer Science в Стэнфорд^ом университете. Степень доктора наук получил в 1985 г. в университете Анри Пуанкаре (Нанси).
С 1974 по 1983 гг. работал инженером-иссле-дователем. Затем возглавил отдел программных разработок во Французской Национальной электрической компании.
В 1978 г. в соавторстве с К. Бодуэном вышла первая книга Б. Мейера «Методы программирования». Русский перевод издан в 1982 г. под редакцией и с предисловием Андрея Петровича Ершова.
С 1983 по 1986 гг. — приглашенный профессор в университете Калифорнии (Санта Барбара).
В 1985 г. Б. Мейер опубликовал отчет по языку Eiffel (Eiffel: A Language for Software Engineering). Этот язык наиболее полно отразил концепции объектно-ориентированного программирования.
В этом же году он основал компанию ISE (Interactive Software Engineering), переименованную позже в Eiffel Software. До 2001 г. Б. Мейер являлся ее президентом, а с 2001 г. стал научным руководителем. Под руководством Бертрана Мейера сотрудниками компании разработаны компиляторы языка Eiffel и объектно-ориентированная среда разработки программных проектов, доступная практически на всех платформах2.
Язык Eiffel продолжает непрерывно развиваться. В 2005 г. принят и опубликован стандарт этого языка «ECMA standard: Eiffel Analysis, Design and Programming Language», редактором которого являлся Б. Мейер. Стандарт утвержден как международный (International Standard 367 by ECMA International).
1 http://is.ifmo.ru/seminar/ meyerprog.pdf
2 www.eiffel.com
№ 1, 2007
ИНФОРМАЦИОННО-УПРАВЛЯЮШИЕ СИСТЕМЫ 55
У ХРОНИКА И ИНФОРМАЦИЯ "7
В 1988 г. Б. Мейер опубликовал книгу «Object-Oriented Software Construction», переведенную на немецкий, французский, итальянский, японский, китайский и румынский языки. В книге подробно описываются основы создания надежных программных продуктов с использованием объектной технологии, а также основы проектирования по контракту. Второе издание вышло в 1997 г., а в 1998 г. книга получила почетную премию Jolt. В России перевод второго издания («Объектно-ориентированное конструирование программных систем», 2005 г.) вышел под редакцией Владимира Биллинга (он помог составить биографию Б. Мейера, за что я ему очень признателен). Это стало возможным благодаря объединенным усилиям издательств «Русская Редакция» и «Интернет Университет».
В 2003 г. Б. Мейер стал преемником Никлауса Вирта, сменив его на посту заведующего знаменитой кафедры Software Engineering в швейцарском ETH. Эту должность он занимает и в настоящее время, возглавляя одновременно и факультет Computer Science в ETH.
Бертран Мейер является одним из ведущих ученых в области инженерии программного обеспечения. Он автор девяти книг. Им опубликовано более 250 научных работ, охватывающих широкий спектр направлений, которые все трудно перечислить. Вот лишь некоторые из них: методы построения надежных, повторно используемых компонентов и программных продуктов, параллельное, распределенное и Интернет-программирование, технологии баз данных, формальные методы и доказательство корректности программ.
Последние 25 лет на большинстве известных международных конференций, посвященных проблемам инженерии программ (ICSE, OOPSLA, ECOOP, APSEC, TOOLS, ASWEC, ESEC), Б. Мейер выступал в роли приглашенного докладчика. В течение многих лет он являлся организатором одной из наиболее известных конференций по объектному программированию — конференции TOOLS (Technology of Object-Oriented Languages and Systems).
Бертран Мейер издавал журнал JOT (Journal of Object Technology), вел колонки в таких журналах как IEEE Computer (1996-2000 гг.), Journal of Object-Oriented Programming (1995-2001 гг.), Software Development (1999-2001 гг.).
В сферу его научных интересов входят и проблемы образования в областях Computer Science и Software Engineering. Им разработан оригинальный метод обучения основам программирования, получивший название «обращенный учебный план», подтвержденный опытом работы со студентами ETH.
За заслуги перед программистским сообществом профессор Б. Мейер в 2005 г. удостоен высокой
награды — стал первым лауреатом премии Дала-Нигарда, учрежденной в честь создателей первого объектного языка программирования Simula.
Профессор Б. Мейер имеет давние дружественные связи с российским программистским сообществом. Начинающим ученым он был приглашен А. П. Ершовым на стажировку в Новосибирский академгородок. Эти связи укрепились в последние годы. Бертран Мейер в качестве приглашенного докладчика выступал:
• в 2003 г. в Новосибирске на Пятой Международной конференции «Perspectives of System Informatics», посвященной памяти А. П. Ершова;
• в 2004 г. в Зеленогорске (Санкт-Петербург) на Международной конференции, организованной Microsoft Research;
• в 2005 г. в Рыбинске (Ярославль) на конференции «Преподавание информационных технологий в России»;
• 1 июня 2006 г. под Москвой на конференции по оффшорному программированию, организованной ассоциацией Руссофт.
После знакомства с Бертраном Мейером и его биографией наступил торжественный момент вручения мантии почетного доктора СПбГУ ИТМО.
Затем профессор Мейер выступил с часовой лекцией, в которой изложил свои взгляды на создание надежных программ и рассказал, что такое «программирование по контракту».
Все это время в зале звучала живая русская речь, что вызвало большое удивление и радость у слушателей. Доклад завершился овацией.
После доклада профессор Мейер ответил на вопросы присутствующих, а затем он с супругой и участники семинара в неформальной обстановке провели еще около двух незабываемых часов, обсуждая проблемы компьютерного образования и науки.
Вскоре профессор В. Н. Васильев получил от Б. Мейера письмо, в котором тот благодарил за оказанную честь и теплоту приема: «Этот день будет для меня и моей жены прекрасной памятью на всю жизнь»*, а в письме ко мне высказал предложение о дальнейшем сотрудничестве. В заключение этого письма Бертран Мейер пишет: «Я был сильно удивлен качеством выступлений ваших студентов и их командным духом».
Эта встреча останется незабываемой и для молодых людей, которые первый раз в жизни общались с классиком. Как говорится — надо чаще встречаться.
А. А. Шалыто, доктор техн. наук, профессор, заведующий кафедрой «Технологии программирования»
СПбГУИТМО
* http://is.ifmo.ru/english/meyerblag/
56 S ИНФОРМАЦИОННО-УПРАВЛЯЮШИЕ СИСТЕМЫ
~7 № 1, 2007
