Мейер, Бертран

В 1974 г. окончил Политехническую школу (École Polytechnique) в Париже и стал инженером. В этом же году получил степень магистра по Computer Science в Стэнфордском университете. Степень доктора наук получил в 1985 г. в университете Анри Пуанкаре (Нанси).

С 1974 по 1983 год работал инженером-исследователем. Затем он возглавил отдел программных разработок в Électricité de France.

В 1978 г. вышла (в соавторстве) первая книга Б. Мейера «Методы программирования», переведённая в 1982 г. на русский язык под редакцией и с предисловием Андрея Петровича Ершова.

С 1983 по 1986 гг. — приглашённый профессор в университете Калифорнии (Санта-Барбара).

С 2011 года Б. Мейер является заведующим кафедры «Программная инженерия и верификация программ» в Санкт-Петербургском государственном университете информационных технологий, механики и оптики^[3].

C 2014 года преподаватель в университете Иннополис (Республика Татарстан, Россия) заведующий Лабораторией программной инженерии и верификации программ.

В 1985 году он опубликовал отчёт по языку Eiffel (Eiffel: A Language for Software Engineering).

Объектно-ориентированная среда разработки программных проектов, доступная практически на всех платформах[4]. Компания занимается консалтинговой, образовательной деятельностью и поддержкой программных разработок на языке Eiffel. Основное применение этого языка связано с приложениями большого размера в критически важных по надёжности областях в таких как, например, финансовая, военная, аэрокосмическая.

Язык Eiffel продолжает непрерывно развиваться. В 2005 г. принят и опубликован стандарт этого языка «ECMA standard: Eiffel Analysis, Design and Programming Language», редактором которого являлся Б. Мейер. Стандарт утверждён как Международный Стандарт (International Standard 367 by ECMA International).

Метод «Проектирование по контракту» (Design by Contract, DbC) — методология разработки программного обеспечения, предложенная Бертраном Мейером в 1986 году^[5]. Основная идея метода заключается в использовании метафоры делового контракта для взаимодействия программных компонентов. Этот контракт формально определяет права и обязанности каждой из сторон (клиента и поставщика). Ключевыми элементами контракта являются:

• Предусловия (Preconditions) — условия, которые должны быть истинными перед вызовом метода. Ответственность за их выполнение лежит на вызывающем компоненте (клиенте)^[5].
• Постусловия (Postconditions) — условия, которые метод-поставщик гарантирует выполнить после своего успешного завершения^[5].
• Инварианты класса (Class Invariants) — условия, определяющие целостность состояния объекта и остающиеся истинными на протяжении всего его жизненного цикла^[5].

Применение метода способствует повышению надёжности программного обеспечения. Концепция проектирования по контракту имеет нативную поддержку в разработанном Мейером языке программирования Eiffel^[5][6].

В 1988 г. Б. Мейер опубликовал книгу «Object-Oriented Software Construction», переведённую на немецкий, французский, итальянский, японский, китайский и румынский языки, в которой подробно описывались основы создания надёжных программных продуктов с использованием объектной технологии. В книге излагались также основы «Проектирования по контракту» — метод, предложенный Б. Мейером, который был развит в ряде его статей.

Второе издание этой книги появилось в 1997 г. Книга получила почётную премию Jolt в 1998 г. Перевод второго издания появился на испанском, французском и сербском языках, а в 2007—2008 годах был опубликован перевод на японский язык^[7].

На русском языке перевод второго издания под названием «Объектно-ориентированное конструирование программных систем» вышел в 2005 году под редакцией Владимира Биллига объединёнными усилиями издательств Русская Редакция и Интернет Университет.

С 2001 по 2016 год Б. Мейер являлся профессором швейцарского ETH (Eidgenoessische Technische Hochschule) — Высшей технической школы Цюриха, где сменил Никлауса Вирта на посту заведующего кафедрой Software Engineering. В настоящее время он является почётным профессором (Professor Emeritus) этого университета^[8].

Бертран Мейер является одним из ведущих учёных в области инженерии программного обеспечения. Он автор более 12 книг и более 500 научных работ^[9], охватывающих широкий спектр направлений, все из которых трудно перечислить. Вот лишь некоторые из них: методы построения надёжных, повторно используемых компонентов и программных продуктов, параллельное, распределённое и Интернет-программирование, технологии баз данных, формальные методы и доказательство корректности программ.

В 2024 году он выступил редактором и автором предисловия сборника «The French School of Programming», выпущенного издательством Springer^[9][10].

В последние 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.

В 2024—2026 годах современные направления исследований Мейера сосредоточены на сочетании тестов и формальных доказательств для верификации программного обеспечения. В рамках этой работы разрабатываются подходы, позволяющие использовать неудачные попытки формального доказательства для генерации полезных тестов, помогающих в отладке программ^[11].

За заслуги перед программистским сообществом в 2005 г. стал первым лауреатом премии Даля—Нюгора, учреждённой в честь создателей первого объектного языка программирования Simula.

28 марта 2006 года профессор Б. Мейер Учёным советом Санкт-Петербургского государственного университета информационных технологий, механики и оптики избран Почётным доктором университета. Торжественная церемония, посвящённая этому событию, состоялась 2 июня 2006 года^[12].

Профессор Б. Мейер владеет русским языком и имеет давние дружественные связи с российским программистским сообществом. Начинающим учёным он был приглашён А. П. Ершовым на стажировку в новосибирский Академгородок. Эти связи укрепились в последние годы. Бертран Мейер в качестве приглашённого докладчика выступал:

• в 2003 г. в Новосибирске на пятой международной конференции, посвящённой памяти А. П. Ершова «Perspectives of System Informatics»,
• в 2004 г. в Зеленогорске (Санкт-Петербург) на международной конференции, организованной Microsoft Research,
• в 2005 г. в Рыбинске на конференции «Преподавание информационных технологий в России».