|
Box |
Folder |
Title |
Dates |
|
1 |
1 |
Biographical Information |
1984-1988 |
|
1 |
2 |
Memoranda |
1984-1988 |
|
1 |
3 |
Paper – “Analysis of Software Structure Using a
Generalized Program Graph” |
1985 |
|
1 |
4 |
Paper – “Experimental Evaluation of the Data
Dependency Graph for Use in Measuring Software
Clarity” |
1985 |
|
1 |
5 |
Paper – “Implications for Formal Specifications –
Results of Specifying a Software Engineering Tool” |
n.d. |
|
1 |
6 |
Paper – “Lispflows: Modeling the Structure of
Functional Programs” |
1988 |
|
1 |
7 |
Paper – “Measuring Data Dependency Complexity” |
1983 |
|
1 |
8 |
Paper – “Measuring Software Complexity” |
1983 |
|
1 |
9 |
Paper – “Modeling and Measuring the Software
Development Process” |
1987 |
|
1 |
10 |
Paper – “Prosper: A Language for Specification by
Prototyping” |
1989 |
|
1 |
11 |
Paper – “Representation and Analysis of
Interprocedural Structure” |
1987 |
|
1 |
12 |
Paper – “Software Process Model” |
1988 |
|
1 |
13 |
Paper – “Software Specifications and Software
Structure: An Overview of Software Engineering
Research at Iowa State University” |
n.d. |
|
1 |
14 |
Paper – “Standard Representation of Imperative
Language Program for Data Collection and Software
Measures Specifications” |
1987-1988 |
|
1 |
15 |
Paper – “Static and Dynamic Software Science Metrics
and Their Relationship to the Subjective Evaluation
of Program Quality” |
1981 |
|
1 |
16 |
Proposal – “Formal Foundations of Software and
System Measurement” |
1988 |
|
1 |
17 |
Proposal – “Formalization and Standardization in
Software Measures Research” |
1987 |
|
1 |
18 |
Proposal – “Generating a Standard Representation of
Ada Programs” |
1987 |
|
1 |
19 |
Proposal – “Language Features for Executable
Software Specifications” |
1988 |
|
1 |
20 |
Proposal – “Software Prototyping in a Prosper
Environment” |
1988 |
|
1 |
21 |
Proposal—“Specifying System Properties in
Object-Oriented Prototypes” |
n.d. |