Фридрих Бауэр

Фридрих Бауэр (нем. Friedrich Ludwig Bauer; 10 июня 1924, Нюрнберг — 26 марта 2015, Мюнхен) — немецкий учёный в области информатики, инженер и педагог. Один из пионеров вычислительной техники и теоретического программирования в Германии. Наиболее известен как создатель термина «программная инженерия» (software engineering), а также как разработчик одного из первых алгоритмических языков программирования — PL/1 (совместно с другими), и как автор концепции «стека» (stack) в вычислительной технике.

Биография

Фридрих Бауэр родился 10 июня 1924 года в Нюрнберге в семье инженера-строителя. После окончания гимназии в 1942 году был призван в вермахт, участвовал во Второй мировой войне. В 1945 году попал в плен, из которого освободился в 1946 году.

С 1946 по 1950 год изучал математику и физику в Мюнхенском университете Людвига-Максимилиана. В 1952 году защитил докторскую диссертацию по математике под руководством профессора Фридриха Л. Бауэра (однофамильца) на тему «О некоторых вопросах теории групп». В 1954 году получил звание доцента, а в 1958 году — профессора математики в Университете Майнца.

В 1963 году Бауэр вернулся в Мюнхенский технический университет (TUM), где основал и возглавил первую в Германии кафедру информатики (тогда называвшуюся «кафедрой прикладной математики и информатики»). Он занимал эту должность до выхода на пенсию в 1989 году. В 1967 году стал одним из основателей и первым председателем Немецкого общества информатики (Gesellschaft für Informatik).

Фридрих Бауэр скончался 26 марта 2015 года в Мюнхене в возрасте 90 лет.

Научный вклад

Термин «программная инженерия»

Бауэр предложил термин «программная инженерия» (software engineering) в 1968 году на конференции НАТО по программному обеспечению в Гармиш-Партенкирхене. Конференция была посвящена «кризису программного обеспечения» — проблемам разработки сложных программных систем, которые в то время часто выходили за рамки бюджета и сроков. Бауэр утверждал, что разработка программного обеспечения должна быть поставлена на инженерную основу, подобно другим инженерным дисциплинам, с использованием формальных методов, стандартов и повторяемых процессов. Этот термин стал общепринятым и определил направление развития целой отрасли.

Стек и обратная польская запись

В 1955 году, работая над компилятором для алгоритмического языка, Бауэр совместно с Клаусом Замельсоном разработал концепцию «стека» (stack) — структуры данных, работающей по принципу LIFO (последним пришёл — первым вышел). Они реализовали стек на аппаратном уровне в вычислительной машине «PERM» (Programmierbare Elektronische Rechenmaschine), построенной в Мюнхенском техническом университете. Стек стал основой для многих архитектур процессоров и языков программирования.

Кроме того, Бауэр активно пропагандировал использование обратной польской записи (Reverse Polish Notation, RPN) — способа записи математических выражений, в котором операторы следуют за операндами. Он применял её в своих компиляторах и в архитектуре стека. Эта запись оказалась удобной для вычислений на стековых машинах и использовалась в некоторых моделях калькуляторов (например, Hewlett-Packard).

Алгоритмический язык PL/1

В середине 1960-х годов Бауэр участвовал в разработке языка программирования PL/1 (Programming Language One) в рамках комитета SHARE и IBM. PL/1 был задуман как универсальный язык, объединяющий возможности научных языков (FORTRAN) и коммерческих (COBOL). Бауэр внёс вклад в синтаксис и семантику языка, особенно в области структур данных и управления памятью. PL/1 оказал значительное влияние на последующие языки, такие как C и Ada.

Другие работы

Бауэр также внёс вклад в теорию формальных языков и грамматик, в разработку методов оптимизации кода и в создание первых немецких учебников по информатике. Он был редактором и соавтором фундаментального труда «Информатика: введение в алгоритмическое и структурное программирование» (Informatik: Eine einführende Übersicht), который выдержал несколько изданий и стал классическим учебником в немецкоязычных странах.

Педагогическая деятельность

Бауэр был выдающимся педагогом. Под его руководством в Мюнхенском техническом университете было подготовлено более 100 докторских диссертаций. Он воспитал целое поколение немецких специалистов в области информатики. Его лекции отличались ясностью, строгостью и вниманием к фундаментальным принципам. Бауэр настаивал на том, что информатика — это не просто набор технологий, а научная дисциплина со своими математическими основами.

Признание и награды

За свою научную и педагогическую деятельность Фридрих Бауэр был удостоен многочисленных наград и званий:

• Медаль Вильгельма Экснера (1978) — за вклад в развитие австрийской и немецкой науки.
• Орден «За заслуги перед Федеративной Республикой Германия» (1985) — высшая государственная награда Германии.
• Премия Готфрида Вильгельма Лейбница (1988) — одна из самых престижных немецких научных премий (совместно с другими учёными).
• Медаль Конрада Цузе (1994) — за выдающиеся достижения в области информатики.
• Золотая медаль почёта Мюнхенского технического университета (2004).
• Почётный доктор нескольких университетов, включая Университет Пассау и Университет Эрлангена—Нюрнберга.

Интересные факты

• Бауэр был страстным коллекционером исторических вычислительных машин. Его личная коллекция, включавшая более 200 экспонатов, была передана в Немецкий музей в Мюнхене.
• Он активно выступал за использование латинского языка в научной терминологии. Сам он свободно владел латынью и иногда писал на ней научные статьи.
• Бауэр был одним из организаторов первой в мире конференции по программной инженерии в 1968 году, которая считается отправной точкой этой дисциплины.

Источники

• Bauer, F. L. (1972). Informatik: Eine einführende Übersicht. Springer-Verlag.
• Bauer, F. L., & Wössner, H. (1982). Algorithmische Sprache und Programmentwicklung. Springer-Verlag.
• Naur, P., & Randell, B. (Eds.). (1969). Software Engineering: Report on a Conference Sponsored by the NATO Science Committee. NATO Scientific Affairs Division.
• Denning, P. J. (2001). The Invisible Future: The Seamless Integration of Technology into Everyday Life. McGraw-Hill.
• Некролог Фридриха Бауэра в журнале Communications of the ACM (2015).
• Статья «Friedrich L. Bauer» в IEEE Annals of the History of Computing (2004).