Программные продукты и системы

Редакционная коллегия / Мейер Бертран

Бертран Мейер родился 21.11. 1950 г. В 1974 г. закончил Политехническую школу (Ecole Polytechnic) в Париже и стал инженером.

В этом же году получил степень магистра по Computer Science в Стэнфордcком университете.

Степень доктора наук получил в 1985 г. в университете Анри Пуанкаре (Нанси).

С 1974 по 1983 гг. работал инженером-исследователем. Затем он возглавил отдел программных разработок во Французской Национальной электрической компании.

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

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

В 1985 г. он опубликовал отчет по языку Eiffel (Eiffel: A Language for Software Engineering). Этот язык наиболее полно отразил концепции объектно-ориентированного программирования. В этом же году Б. Мейер основал компанию ISE (Interactive Software Engineering), переименованную позже в Eiffel Software. До 2001 г. являлся ее президентом, а с 2001 г. стал ее научным руководителем. Под руководством Бертрана Мейера сотрудниками компании разработаны компиляторы языка Eiffel и объектно-ориентированная среда разработки программных проектов, доступная практически на всех платформах. Компания занимается консалтинговой, образовательной деятельностью и поддержкой программных разработок на языке Eiffel. Основное применение этого языка связано с приложениями большого размера в критически важных по надежности областях в таких как, например, финансовая, военная, аэрокосмическая.

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

Стандарт утвержден как Международный Стандарт (International Standard 367 by ECMA International). В 1988 г. Б. Мейер опубликовал книгу «Object-Oriented Software Construction», переведенную на немецкий, французский, итальянский, японский, китайский и румынский языки, в которой подробно описывались основы создания надежных программных продуктов с использованием объектной технологии. В книге излагались также основы «Проектирования по контракту» – метод, предложенный Б. Мейером, который был развит в ряде его статей.

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

На русском языке перевод второго издания под названием «Объектно-ориентированное конструирование программных систем» вышел в 2005 г. под редакцией В. Биллига (г. Тверь, Россия) объединенными усилиями издательств Русская Редакция и Интернет-Университет. В 2003 г. Б. Мейер стал преемником Никлауса Вирта, сменив его на посту заведующего знаменитой кафедры Software Engineering в швейцарском ETH (Eidgenoessische Technische Hochschule) – Высшей Политехнической школе в Цюрихе. Эту должность он занимает и в настоящее время, возглавляя одновременно и факультет 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 г. в Рыбинске (Ярославль) на конференции «Преподавание информационных технологий в России». 28. 03. 2006 г. профессор Б. Мейер Ученым советом Санкт-Петербургского государственного университета информационных технологий, механики и оптики избран Почетным доктором университета.

Публикации

1. B. Meyer. Agile! The Good, the Hype and the Ugly. Springer-Verlag. 2014.
2. B. Meyer, A. Rusakov and J. Shin. Simple Concurrency for Robotics with the Roboscoop Framework. IROS 2014 (IEEE/RSJ International Conference on Intelligent Robots and Systems, Chicago, 14-18 September 2014, IEEE Computer Press). 2014.
3. B. Meyer, H-C. Estler, M. Nordio and C.A. Furia. Awareness and Merge Conflicts in Distributed Software Development. Proceedings of ICGSE 2014, 9th International Conference on Global Software Engineering, IEEE Computer Society Press (best paper award). 2014. Shanghai.
4. B. Meyer, M. Piccioni, H-C. Estler. SPOC-supported introduction to Programming. Proceedings of ITiCSE 2014, 9th Annual Conference on Innovation and Technology in Computer Science Education. 2014. Uppsala, Sweden.
5. B.Meyer, B. Morandi and S. Nanzto. Safe and Efficient Data Sharing for Message-Passing Concurrency. Proceedings of COORDINATION 2014, 16th International Conference on Coordination Models and Languages. 2014. Berlin.
6. B. Meyer, H-C. Estler, C.A. Furia, M. Nordio, M. Piccioni. Contracts in Practice. Proceedings of 19th International Symposium on Formal Methods (FM 2014). 2014. Singapore.
7. B. Meyer, N. Polikarpova, J. Tschannen, C.A. Furiato. Flexible Invariants Through Semantic Collaboration. Proceedings of 19th International Symposium on Formal Methods (FM 2014). 2014. Singapore.
8. B. Meyer, A. Kogtenkov. Negative Variables and the Essence of Object-Oriented Programming, in Specification, Algebra, and Software. Lecture Notes in Computer Science, vol. 8373. 171-187. 2014. Kanazawa, Japan.
9. B. Meyer, C. Furia and S. Velder. Loop invariants: Analysis, Classification and Examples. ACM Computing Surveys, vol. 46, no. 3. 2014.
10. B. Meyer, A. Kogtenkov, S. Velder. Alias Calculus, Frame Calculus and Frame Inference. Science of Computer Programming. 2014.

https://ru.wikipedia.org/wiki/%D0%9C%D0%B5%D0%B9%D0%B5%D1%80,_%D0%91%D0%B5%D1%80%D1%82%D1%80%D0%B0%D0%BD

http://se.inf.ethz.ch/~meyer/