请输入您要查询的百科知识:

 

词条 Friedrich L. Bauer
释义

  1. Life

  2. Definition of software engineering

  3. Awards

  4. Publications

  5. References

  6. External links

{{Redirect|F. L. Bauer|the Austrian botanical illustrator|Ferdinand Bauer}}{{Infobox scientist
| image = FriedrichLudwigBauer.jpg
| image_size = 150px |
| caption =
|birth_name = Friedrich Ludwig Bauer
| birth_date = {{birth date|1924|6|10|df=y}}
| birth_place = Regensburg, Germany
| death_date = {{death date and age|2015|3|26|1924|6|10|df=y}}
| death_place =
| residence =
| citizenship =
| nationality = German
| ethnicity =
| field = Computer Science
Applied Mathematics
| work_institution = University of Mainz
Technical University of Munich
| alma_mater = Ludwig-Maximilians-Universität
| doctoral_advisor = Fritz Bopp, Georg Aumann
| doctoral_students = Manfred Broy, David Gries, Josef Stoer, Peter Wynn, Christoph Zenger
| known_for = Stack (data structure),
Sequential Formula Translation,
ALGOL
| prizes = Iron Cross 2nd Class,
Bundesverdienstkreuz 1st Class,
IEEE Computer Pioneer Award (1988)
| religion =
| footnotes =
}}

Friedrich Ludwig "Fritz" Bauer (10 June 1924 – 26 March 2015) was a German computer scientist and professor at the Technical University of Munich.

Life

Bauer earned his Abitur in 1942 and served in the Wehrmacht during World War II, from 1943 to 1945. From 1946 to 1950, he studied mathematics and theoretical physics at Ludwig-Maximilians-Universität in Munich. Bauer received his doctorate under the supervision of Fritz Bopp for his thesis Gruppentheoretische Untersuchungen zur Theorie der Spinwellengleichungen ("Group-theoretic investigations of the theory of spin wave equations") in 1952. He completed his habilitation Über quadratisch konvergente Iterationsverfahren zur Lösung von algebraischen Gleichungen und Eigenwertproblemen ("On quadratically convergent iteration methods for solving algebraic equations and eigenvalue problems") in 1954 at the Technical University of Munich. After teaching as privatdozent at Ludwig-Maximilians-Universität from 1954 to 1958, he became extraordinary professor for applied mathematics at the University of Mainz. Since 1963, he worked as a professor of mathematics and (since 1972) computer science at Technical University of Munich. He retired in 1989.[1]

Bauer's early work involved the construction of computing machinery (e.g. the logical relay computer STANISLAUS from 1951-1955[2]). In this context, he was the first to propose the widely used stack method of expression evaluation. Bauer also worked in the committees that developed the imperative computer programming languages ALGOL 58 and its successor ALGOL 60, important predecessors to all modern imperative programming languages. In 1968, Bauer coined the term Software Engineering which has been in widespread use since.

Bauer was an influential figure in establishing computer science as an independent subject in German universities.

His scientific contributions spread from numerical analysis (Bauer–Fike theorem) and fundamentals of interpretation and translation of programming languages, to his later works on systematics of program development, especially program transformation methods and systems (CIP-S) and the associated wide-spectrum language system CIP-L. He also wrote a well-respected book on cryptology, Decrypted secrets, now in its fourth edition.

He was the doctoral advisor of 39 students, including Manfred Broy, David Gries, Manfred Paul, Gerhard Seegmüller, Josef Stoer, Peter Wynn, and Christoph Zenger.

Friedrich Bauer was married to Hildegard Bauer-Vogg. He was the father of three sons and two daughters.

Definition of software engineering

Bauer was a colleague of the German Representative the NATO Science Committee. In 1967, NATO had been discussing 'The Software Crisis' and Bauer had suggested the term 'Software Engineering' as a way to conceive of both the problem and the solution.[3]

In 1972, Bauer published the following definition of software engineering:

"Establishment and use of sound engineering principles to economically obtain software that is reliable and works on real machines efficiently."[4]

Awards

1944: Iron Cross 2nd Class

1968: Member of the Bavarian Academy of Sciences in mathematics and science class

1971: Bavarian Order of Merit

1978: Wilhelm Exner Medal (Austria).[5]

1982: Federal Merit Cross 1st Class

1984: Member of the German Academy of Sciences Leopoldina

1986: Bavarian Maximilian Order for Science and Art

1987: Honorary Member of the Society for computer science

1988: Golden Ring of Honour of the German Museum

1988: IEEE Computer Pioneer Award

1997: Heinz-Maier-Leibnitz Medal from the Technical University of Munich

1998: corresponding member of the Austrian Academy of Sciences

2002: Honorary Member of the Deutsches Museum

2004: Silver Medal of Merit of the Bavarian Academy of Sciences

Namesake of the Friedrich L. Bauer Prize for computer science at the TU Munich

In 2014 the TU Munich renamed their largest lecture hall in the department of Informatics and Computer Science after Friedrich Bauer.

Honorary doctorates

1974: Honorary Doctor of the University of Grenoble

1989: Honorary Doctor of the University of Passau

1998: Honorary doctorate from the Bundeswehr University Munich (Neubiberg)

Publications

  • 1960 "Sequential Formula Translation", Commun. ACM 3(2): 76-83, (together with Klaus Samelson), a very influential paper on compilers
  • 1964 Introduction to Algol, Friedrich Ludwig Bauer, R. Baumann, M. Feliciano, K. Samelson, Prentice Hall, {{ISBN|0-13-477828-6}}
  • {{cite book|last1=Bauer|first1=Friedrich L.|title=The Munich Project CIP: Volume II: The Programme Transformation System CIP-S (Lecture Notes in Computer Science)|date=1987|publisher=Springer|isbn=978-3540187790}}
  • {{cite book |author-first1=Friedrich Ludwig |author-last1=Bauer |author-first2=Martin |author-last2=Wirsing |author-link2=Martin Wirsing |title=Elementare Aussagenlogik |publisher=Springer-Verlag |location=Berlin / Heidelberg |language=German |date=March 1991 |isbn=3-540-52974-8 |id= {{ISBN|978-3-540-52974-3}} |url=https://books.google.com/books?id=Ff58BwAAQBAJ}}
  • 2006 Decrypted Secrets: Methods and Maxims of Cryptology 4th edition, New York, Springer, {{ISBN|3-540-24502-2}}

References

1. ^{{cite web|title=Verzeichnis der Professorinnen und Professoren der Universität Mainz|url=http://gutenberg-biographics.ub.uni-mainz.de/id/f197cbba-1453-4ffd-8de6-24d75a2dece6.html|website=Gutenberg Biographics|publisher=Johannes Gutenberg-Universität Mainz|accessdate=16 February 2017|language=de}}
2. ^{{cite book|editor1-last=Hashigen|editor1-first=Ulf|editor2-last=Keil-Slawik|editor2-first=Reinhard|editor3-last=Norberg|editor3-first=Arthur L.|title=History of Computing: Software Issues|date=2002|publisher=Springer-Verlag|location=Berlin Heidelberg New York|isbn=978-3-642-07653-4|pages=15–16}}
3. ^{{cite book |title=Mechanizing Proof: Computing, Risk, and Trust |first=Donald |last=MacKenzie |year=2001 |location=Cambridge |publisher=MIT Press |isbn=0-262-13393-8 |pages=34–36 |url={{Google books |plainurl=yes |id=QiMS8t4V_0cC |page=34 }} }}
4. ^Bauer, F.L., "Software Engineering", Information Processing, 71, 1972
5. ^Editor, ÖGV. (2015). Wilhelm Exner Medal. Austrian Trade Association. ÖGV. Austria.

External links

{{Commons category|Friedrich Ludwig Bauer}}
  • Oral history interview with Friedrich L. Bauer, Charles Babbage Institute, University of Minnesota. Bauer discusses his education and early research, including the European side of the development of ALGOL, as well as his later work in numerical analysis and programming languages.
  • Photograph of F. L. Bauer (provided by Brian Randell)
  • Bauer about Rutishauser at a symposium at the ETH Zürich in 2002
  • {{MathGenealogy |id=21232 }}
  • [https://zbmath.org/authors/?q=ai:bauer.friedrich-ludwig Author profile] in the database zbMATH
{{Authority control}}{{DEFAULTSORT:Bauer, Friedrich L.}}

14 : 1924 births|2015 deaths|German computer scientists|German mathematicians|Historians of mathematics|People from Regensburg|Programming language designers|Software engineering researchers|Computer science educators|Technical University of Munich faculty|Ludwig Maximilian University of Munich alumni|Officers Crosses of the Order of Merit of the Federal Republic of Germany|Recipients of the Bavarian Order of Merit|Members of the Bavarian Maximilian Order for Science and Art

随便看

 

开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。

 

Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号 更新时间:2024/11/13 8:52:32