Special Collections Department
403 Parks Library
Iowa State University
Ames, IA 50011-2140
RS 13/7/51
Albert L. Baker (1949- )
Papers, 1979-1990
Descriptive summary
| creator: | Baker, Albert L. (1949- ) |
| title: | Papers |
| dates: | 1979-1997, n.d. |
| extent: | 0.63 linear feet (1 document box and 1 half-document box) |
| collection number: | RS 13/7/51 |
| repository: | University Archives, Special Collections Department, Iowa State University. |
Administrative information
| access: | Open for research |
| publication rights: | Consult Head, Special Collections Department |
| preferred citation: | Albert L. Baker Papers, RS 13/7/51, Special Collections Department, Iowa State University Library. |
Biographical note
Albert L. Baker was born in San Francisco, California on September 29, 1949. He received a B.A. (1974) in Mathematics from Drake University, and an M.S. (1976) and Ph.D. (1979) in Computer Science from Ohio State University. Prior to coming to Iowa State, Baker was an Assistant Professor (1979-1980) of Computer Science at the University of Wisconsin - La Crosse and Vice President and Director of Operations (1981-1982) of Quester (Des Moines, Iowa). He began his career at Iowa State University as an Assistant Professor (1982-1989) and was promoted to Associate Professor (1989-2001). His major areas of research included natural language text analysis and software engineering particularly specification languages and CASE Tools. He left Iowa State in 2001. He married Betty Baker, and they had two children: Jared Frederich, and Jessie Erin. |
Collection description
This collection (1979-1990) contains Dr. Baker's biographical information, correspondence, papers, and proposals, along with an author/license agreement. |
Organization
The collection is arranged in alphabetical order. |
Container list
Box |
Folder |
Title |
Dates |
1 |
1 |
Author/License Agreement – Computer Science 411/Software Engineering |
1987 |
1 |
2 |
Awards |
1985 |
1 |
3 |
Biographical Information |
1983-1996, n.d. |
1 |
4 |
Correspondence |
1987 |
1 |
5 |
Correspondence – Grants |
1987 |
1 |
6 |
Course Proposal – Static Program Analysis in Software Engineering |
1982 |
1 |
7 |
Grant – Shell Career Development |
1983 |
1 |
8 |
Paper – "Comparison of Measures of Control Flow Complexity" |
1980 |
1 |
9 |
Paper – "Lisp Flows: Specification of a Model for Functional Programs" |
n.d. |
1 |
10 |
Paper – "Mathematical Perspective for Software Measures Research" |
1989 |
1 |
11 |
Paper – "Quantitative Characterization of Control Flow Context" |
1988 |
1 |
12 |
Paper – "Rigorous Definitions and Analysis of Program Complexity Measures: An Example Using Nesting" |
1986, n.d. |
1 |
13 |
Paper – "Software Specifications and Software Structure: An Overview of Software Engineering Research at Iowa State University" |
n.d. |
1 |
14 |
Paper – "Specifications and Programs: Prospects for Automated Consistency Checking" |
n.d. |
1 |
15 |
Paper – "Use of Software Science in Evaluating Modularity Concepts" |
1979 |
1 |
16 |
Proposal – "Application of Formal Specification Techniques for Concurrent and Time-Dependent Systems at Unisys Corporation" |
1992 |
1 |
17 |
Proposal – "Automated Construction, Delivery, and Scoring of an English Language Placement Test" |
1996 |
1 |
18 |
Proposal – "Center for Information and Communications Research (CICR) at Southern University" |
1991 |
1 |
19 |
Proposal – "Computational Steering and Virtual Reality: New Tools for Drug Design and Molecular Simulation" |
1997 |
1 |
20 |
Proposal – "Development and Evaluation of a Scalable Software Toolkit for Applications" |
1997 |
1 |
21 |
Proposal – "Evolving the Software Development Curriculum at Iowa State University for the Entire University Community" |
1999 |
1 |
22 |
Proposal – "Formalization and Standardization in Software Measures Research" |
1987 |
1 |
23 |
Proposal – "Image Algebra Toolkit for Space and Earth Science Applications" |
1993 |
2 |
1 |
Proposal – "Integration of Specification Level and Design Level Data Dictionary Information for Enhanced Software Developing and Testing" |
1991 |
2 |
2 |
Proposal – "Interactive English Language Parsing System" |
1993 |
2 |
3 |
Proposal – "Iowa Orbiting Wave Analyzer A Proposed Satellite Investigation to Characterize the Radio Environment of the Earth" |
1994 |
2 |
4 |
Proposal – "Little More Science in the Introduction to Computer Science" |
1994 |
2 |
5 |
Proposal – "Machine Based Interpretation and Representation of Natural Language" |
1988, n.d. |
2 |
6 |
Proposal – "Measuring Computer Program Understandability" |
1982 |
2 |
7 |
Proposal – "Providing Consistency and Rigor in Software Development Using Structured Analysis (SA) Specifications" |
1989-1990 |
2 |
8 |
Proposal – "Standardizing Software Testing Criteria" |
1987 |
2 |
9 |
Proposal – "Targeting Software Architecture for Portability and Reliability: A Generic Interface Environment for Image Processing Software" |
1993 |
2 |
10 |
Proposal – "Virtual Reality, Steering and Telecollaboration: New Tools For Drug Design and Molecular Simulation" |
1997 |