|
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
|
