1951년에서 1955년 사이에 구축된 논리 릴레이 컴퓨터 '스타니슬라우스 (STANISLAUS)'는 프리드리히 L. 바우어가 식 평가를 위한 스택 방식을 도입하는 초기 플랫폼 역할을 했습니다. 컴퓨터 과학에 대한 이 근본적인 기여는 수학, 공학, 그리고 독일 학술 기관 내 정보 처리의 체계적인 연구를 아우르는 경력 중에 나타났습니다.
학문적 배경 및 초기 경력
1924년 레겐스부르크에서 태어난 바우어는 1946년부터 뮌헨 대학교에서 수학과 이론 물리학을 공부했습니다. 1952년 프리츠 보프 (Fritz Bopp)의 지도하에 스핀파 방정식에 대한 군론적 연구에 초점을 맞춘 논문으로 박사 학위를 받았습니다. 1954년 뮌헨 공과대학교에서 교수 자격을 취득했습니다. 마인츠 대학교의 응용 수학 특임 교수로 부임하기 전, 뮌헨에서 사립 강사로 가르쳤습니다.
프로그래밍 언어 개발
바우어는 명령형 프로그래밍 언어의 표준화에 중추적인 역할을 했습니다. 독일 응용 수학 및 역학 협회 (GAMM)를 대표하여 ALGOL 58 위원회에 참여했으며, 이후 IFIP 워킹 그룹 2.1을 통해 ALGOL 60에 기여했습니다. 순차적 공식 번역에 관한 클라우스 자멜손 (Klaus Samelson)과의 공동 연구는 컴파일러 구축의 필수 원칙을 확립하여 현대 알고리즘 언어의 아키텍처 진화에 영향을 미쳤습니다.
학문 분야로서의 컴퓨터 과학 확립
뮌헨 공과대학교에서 바우어는 컴퓨터 과학을 수학에서 분리할 것을 옹호했습니다. 1967년 그곳에서 정보 처리에 관한 첫 전문 강의를 했습니다. 1972년까지 대학은 이 분야를 독립적인 학문 분야로 인정했습니다. 1968년 가르미슈에서 열린 NATO 과학 위원회 회의에서 그는 '소프트웨어 공학 (Software Engineering)'이라는 용어를 만들었으며, 이를 효율적이고 신뢰할 수 있는 소프트웨어를 생산하기 위한 건전한 공학 원칙의 적용으로 정의했습니다.
연구 및 전문적 유산
바우어의 과학적 성과는 바우어-파이크 정리 (Bauer-Fike theorem)를 포함한 수치 해석부터 CIP-S 및 CIP-L과 같은 프로그램 변환 방식의 체계적인 개발까지 다양했습니다. 기술적 연구 외에도 암호학에 관한 널리 인정받는 텍스트인 '해독된 비밀 (Decrypted Secrets)'을 저술했습니다. 교육자로서 39명의 박사 과정 학생을 지도했습니다. 독일 정보학 협회의 창립 멤버였으며, 1978년부터 2015년 사망할 때까지 잡지 'Informatik Spektrum'의 편집자를 역임했습니다.
핵심 사실
- 출생: 1924년, 레겐스부르크 - 사망: 2015년 - 학력: 뮌헨 대학교 - 만든 용어: 소프트웨어 공학 - 수상: 컴퓨터 파이오니어상 (1988년) - 수상: 빌헬름 엑스너 메달 (1978년) - 회원: 오스트리아 과학 아카데미
독자 질문
### 프리드리히 L. 바우어는 프로그래밍 언어에 어떤 기여를 했습니까?
그는 ALGOL 58과 ALGOL 60 개발을 도왔으며 식 평가를 위한 스택 방식을 제안했습니다.
### '소프트웨어 공학'이라는 용어의 기원은 무엇입니까?
바우어는 1968년 독일 가르미슈에서 열린 NATO 과학 위원회 회의 중에 이 용어를 만들었습니다.
