Мейер, Бертран: различия между версиями
| [непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
отмена правки 87698586 участника 188.130.155.157 (обс.) |
отмена правки 87698600 участника FootballBoy (обс.) |
||
Строка 5:
== Биография ==
В 1974 г. окончил [[Политехническая школа (Париж)|Политехническую школу]] (École Polytechnique) в [[Париж (Башкортостан)|Париже]]
С [[1974]] по [[1983 год]] работал инженером-исследователем. Затем он возглавил отдел программных разработок в [[Électricité de France]].
Строка 11:
В [[1978]] г. вышла (в соавторстве) первая книга Б. Мейера «Методы программирования», переведенная в [[1982]] г. на [[русский язык]] под редакцией и с предисловием [[Ершов Андрей Петрович|Андрея Петровича Ершова]].
С [[1983]] по [[1986]] гг. — приглашенный профессор в университете [[Калифорния (Нижегородская область)|Калифорнии]] ([[Санта-Барбара (
С [[2011 год]]а Б. Мейер является заведующим кафедры «Программная инженерия и верификация программ» в [[Санкт-Петербургский государственный университет информационных технологий, механики и оптики|Санкт-Петербургском государственном университете информационных технологий, механики и оптики]].<ref>[http://museum.ifmo.ru/?out=person&per_id=475&letter=204 Виртуальный музей СПбГУ ИТМО. Мейер Бертран]</ref>
C 2015 года преподаватель в [[Университет Иннополис|университете Иннополис]]<ref>[https://university.innopolis.ru/about/academic_staff/ Преподавательский состав]</ref><ref>[https://university.innopolis.ru/research/itsd/selab/ Лаборатория программной инженерии и верификации программ]</ref> ([[Иннополис]], [[Татарстан|Республика Татарстан]], [[Россия]]).
С 2017 года занимается разработкой ПО для боевых [[Беспилотный летательный аппарат|дронов]] [[Донецкая Народная Республика|Донецкой Народной Республики]].
== Язык программирования [[Эйфель (язык программирования)|Эйфель]] ==
В [[1985 год]]у он опубликовал отчет по [[язык программирования|языку]] Eiffel (Eiffel: A Language for Software Engineering). Этот язык наиболее полно отразил концепции объектно-ориентированного программирования, впрочем так и не стал популярным из-за своих недостатков.
В этом же году Б. Мейер основал компанию ISE (Interactive Software Engineering), переименованную позже в [[Eiffel Software]]. До [[2001 год]]а являлся её президентом, а с [[2001]] г. стал её научным руководителем. Под руководством Бертрана Мейера сотрудниками компании разработаны [[компилятор]]ы языка Eiffel и объектно-ориентированная [[Среда разработки программного обеспечения|среда разработки программных проектов]], доступная практически на всех платформах<ref>[http://www.eiffel.com Eiffel Software — The Home of EiffelStudio]</ref>. Компания занимается консалтинговой, образовательной деятельностью и поддержкой программных разработок на языке Eiffel. Основное применение этого языка связано с приложениями большого размера в критически важных по надежности областях в таких как, например, финансовая, военная, аэрокосмическая.
Язык Eiffel продолжает непрерывно развиваться. В 2005 г. принят и опубликован стандарт этого языка «ECMA standard: Eiffel Analysis, Design and Programming Language», редактором которого являлся Б. Мейер. Стандарт утвержден как Международный Стандарт (International Standard 367 by ECMA International).
В настоящее время используется в [[Беспилотный летательный аппарат|боевых дронах]] [[Донецкая Народная Республика|ДНР]] , а также в некоторых научных областях и при обучении принципам [[Объектно-ориентированное программирование|ООП]].
== Публикации ==
В [[1988]] г. Б. Мейер опубликовал книгу «Object-Oriented Software Construction», переведенную на [[немецкий язык|немецкий]], [[французский язык|французский]], [[итальянский язык|итальянский]], [[японский язык|японский]], [[китайский язык|китайский]] и [[румынский язык]]и, в которой подробно описывались основы создания надежных программных продуктов с использованием объектной технологии. В книге излагались также основы [[Контрактное программирование|«Проектирования по контракту»]] — метод, предложенный Б. Мейером, который был развит в ряде его статей.
Второе издание этой книги появилось в [[1997]] г. Книга получила почетную [[премия Jolt|премию Jolt]] в [[1998]] г. Перевод второго издания появился на [[испанский язык|испанском]], [[французский язык|французском]] и [[сербский язык|сербском]] языках. Готовится его перевод на [[японский язык|японский]]
На русском языке перевод второго издания под названием «Объектно-ориентированное конструирование программных систем» вышел в [[2005 год]]у под редакцией [[Биллиг, Владимир|Владимира Биллига]] объединенными усилиями издательств [[Русская Редакция]] и [[Интернет Университет]].
Строка 43 ⟶ 47 :
== Награды ==
в 1962 году был награждён грамотой "Лучшая весенняя поделка школы"
За заслуги перед программистским сообществом в [[2005]] г. стал первым лауреатом [[премия Даля—Нюгора|премии Даля—Нюгора]], учрежденной в честь создателей первого объектного языка программирования [[Simula]].
Строка 56 ⟶ 62 :
* в [[2004]] г. в [[Зеленогорск (Санкт-Петербург)|Зеленогорске]] ([[Санкт Петербург]]) на международной конференции, организованной Microsoft Research,
* в [[2005]] г. в [[Рыбинск]]е на конференции «Преподавание информационных технологий в России».
* в [[2017 год|2017]]<nowiki/>г. в [[Донецк|Донецке]] на собрании совета обороны [[Донецкая Народная Республика|ДНР]]
В 2017 году получил звание штурмовика ДНР. Также был награждён медалью "Герой Донецкой Народной республики".
== Примечания ==
| |||