Carnegie Mellon Libraries: University Archives: Habermann Collection
VI. Teaching
1972-1990
Records
History
As constructed in the Habermann office files, the Teaching section
contained course materials, including photocopies of overhead transparencies for
classroom use; evaluations of course construction by sponsoring agencies, notably
the U.S. Department of Defense Advanced Research Projects Agency (DARPA) for the
Software Engineering course 413 and Ada language projects in artificial intelligence;
articles and scientific papers collected by Habermann as reference material for
teaching projects; textbooks used by Habermann; theses Habermann supervised; and
reports written by Habermann and other faculty on the scope and funding of CMU
Computer Science research.
Scope and Contents Notes
Reports on advancement strategies for the Computer Science Department,
School of Computer Science and Software Engineering Institute were imported from
Habermann's Papers and Reports file section to the one-box length Teaching series,
where they were incorporated with like material in existing folders or were given
discrete folders within a like folder set. Presentations on the Ada language and
other topics given in the SEI's Immigration course were kept in the Talks series,
as originally ordered. Computer printouts originally on spreadsheet paper have
been reduced by photocopying to letter size. The box-length Teaching series is
arranged alphabetically.
Box 4
FF219 Teaching--Ada Course Materials via Intermetrics--1985
FF220 Teaching--Ada Course Materials via Softech--1981, 1988
FF221 Teaching--Ada Education Programming Manual--Terry Gill [folder 1]--1990
FF222 Teaching--Ada Education Programming Manual--Terry Gill [folder 2]--1990
FF223 Teaching--Ada Education Programming Manual--Terry Gill [folder 3]--1990
FF224 Teaching--Ada Education Programming Manual--Terry Gill [folder 4]--1990
FF225 Teaching--Ada Information Clearinghouse Programs--1985
FF226 Teaching--Ada in the Information Course--1984
FF227 Teaching--Ada Language System Printouts--1985
FF228 Teaching--Ada Reference Papers--1985-1986
Box 5
FF229 Teaching--Alfa-Aloe Transparencies--1985
FF230 Teaching--Alfa Correctness Proof--Notes--1981
FF231 Teaching--Alfa Name Server Notes--n.d.
FF232 Teaching-- lfa Reference Materials--1981-1985
FF233 Teaching--Alfa Summary and Syntax--1985--1986
FF234 Teaching--Alfa Transparencies--n.d.
FF235 Teaching--ALGOL Compiler Syntax Analyser--Fahn--n.d.
FF236 Teaching--Aloe Manual Corrections--n.d.
FF237 Teaching-- Computer Science Bachelor's Program Proposal--1985
FF238 Teaching--Computer Science Department Report--September 1986
FF239 Teaching--Computer Science Department Research Review--Spring 1988
FF240 Teaching--Computer Science Department Strategic Plan Drafts--1987
FF241 Teaching--Dhrystone Reference Article--October 1984
FF242 Teaching--Faculty Promotion and Reappointment Rules--March, 1989
FF243 Teaching--Faculty Research Guide Entry--1987
FF244 Teaching--Gandalf Presentation--n.d.
FF245 Teaching--Functional Programming Reference Papers [folder 1]--1979-1985
FF246 Teaching--Functional Programming Reference Papers [folder 2]--1979-1985
FF247 Teaching--Functional Programming Working Group--1981
FF248 Teaching--Master's Program in Software Engineering Plan Draft--May 1988
FF249 Teaching--Novice Programming Environments Project--1982
FF250 Teaching--Procal--Modil I--October 1978
FF251 Teaching--Procal--Modil II--October 1979
FF252 Teaching--Programmatics Notes--1979, 1981
FF253 Teaching--Research Interests Presented in Immigration Course--Fall 1988
FF254 Teaching--School of Computer Sciences Formation Studies--1988-1989
FF255 Teaching--School of Computer Sciences Report--Fall 1991
FF256 Teaching--SEI Ada Course Evaluation Reference Materials--1984-1985
FF257 Teaching--SEI Ada Course Evaluation Reference Materials--1985-1986
FF258 Teaching--SEI Ada Education Project Meetings--1987-1988
FF259 Teaching--SEI Ada Language System Evaluation--April 1986
FF260 Teaching--SEI IDL Proposal Comments--November 1985
FF261 Teaching--SEI Objectives Presentation--Spring 1986
FF262 Teaching--SEI Promotional Materials--1985
FF263 Teaching--Short Course in Programming Ada and ML--Fall 1987
FF264 Teaching--Software Engineering Course 413--Spring 1986
FF265 Teaching--Software Engineering Course 413--Facility Overview Project--Spring
1986
FF266 Teaching--Software Engineering Course 413--Name Server Project--Spring 1986
FF267 Teaching--Software Engineering Course 413--Testing Design Project--Spring
1986
FF268 Teaching--Software Engineering Faculty and Curriculum Development Proposal--1985
FF269 Teaching--Software Reusability Projects--n.d.
FF270 Teaching--Software Reusability Projects--1987
FF271 Teaching--Technology Renovation Meeting--November 1985
FF272 Teaching--Textbook--n.d.
FF273 Teaching--Theses Supervised--1969, 1981, 1985
FF274 Teaching--Unix Manual [folder 1] --1972-1979
FF275 Teaching--Unix Manual [folder 2]--1972-1979
FF276 Teaching--Unix Manual [folder 3]--1972-1979
