Theses most similar to Building an intelligent tutoring system for the T-37B-1 flight manual (Risacher, Sheryl A; 1996) read it
Program steering : improving adaptability and mode selection via dynamic analysis
Lin, Lee Chuan (2004)
- Advisor: Michael D. Ernst
- Department of Electrical Engineering and Computer Science
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: Howard E. Shrobe
- Department of Electrical Engineering and Computer Science
- Advisor: Philip Tan
- Department of Electrical Engineering and Computer Science
Investigating the readability of formal specification languages
Zimmerman, Marc Kenton, 1975- (2001)
- Advisor: Nancy G. Leveson
- Department of Aeronautics and Astronautics
- Advisors: Alex (Sandy) Pentland; Jeff Elliot
- Department of Electrical Engineering and Computer Science
- Advisors: Farrar, J. Thomas (John Thomas), 1976-; Nancy G. Leveson
- Engineering Systems Division; Institute for Data, Systems, and Society