Theses most similar to those of author Zimmerman, Marc Kenton, 1975-
Investigating the readability of formal specification languages (2001) read it
- Advisor: Charles P. Coleman
- Department of Aeronautics and Astronautics
Development and evaluation of a prototype electronic vertical situation display
Vakil, Sanjay S. (Sanjay Sridhar) (1996)
- Advisor: R. John Hansman, Jr.
- Department of Aeronautics and Astronautics
Modeling and analysis of software specifications for an autonomous aerial vehicle
Vuong, Hon Fai, 1975- (1999)
- Advisors: Eric Feron; Mark R. Abramso
- Department of Aeronautics and Astronautics
- Advisor: Christopher M. Schmandt
- Department of Electrical Engineering and Computer Science
CLIPSBase--a real-time relational database for the "principal investigator-in-a-box" (PI) expert system
Lai, Sen-Hao (1991)
- Advisor: Laurence R. Young nd Peter Szolovits
- Department of Aeronautics and Astronautics
- Advisors: Donna H. Rhodes; System Desig
- Engineering Systems Division
Identifying mode confusion potential in software design
Rodríguez, Mario A. (Mario Aixel), 1975- (2000)
- Advisor: Nancy G. Leveson
- Department of Aeronautics and Astronautics
- Advisor: Nancy G. Leveson
- Department of Aeronautics and Astronautics
Evaluating visualization in formal requirements specification : an experiment with human subjects
Viguier, Thomas, 1978- (2003)
- Advisor: Nancy G. Leveson
- Department of Aeronautics and Astronautics
Empirical evaluation of design principles for increasing reviewability of formal requirements specifications through visualization
Dulac, Nicolas, 1978- (2003)
- Advisor: Nancy G. Leveson
- Department of Aeronautics and Astronautics