Theses most similar to those of author Meléndez Díaz, William J., 1979-
The different levels of intent specifications : analysis and guidelines on tracing (2001) read it
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
- Advisors: Laura M. Forest; Mary L. Cummings
- Department of Aeronautics and Astronautics
Design and evaluation of an achievability contour display for piloted lunar landing
Stimpson, Alexander J. (Alexander James) (2011)
- Advisors: Kevin R. Duda; Laurence R. Young nd Peter Szolovits
- Department of Aeronautics and Astronautics
Identifying mode confusion potential in software design
Rodríguez, Mario A. (Mario Aixel), 1975- (2000)
- Advisor: Nancy G. Leveson
- Department of Aeronautics and Astronautics
A safety-centered approach to developing new air traffic management tools
De Villepin, Maxime Galouzéau, 1976- (2001)
- Advisor: Nancy G. Leveson
- Department of Aeronautics and Astronautics
Extending a formal specification & requirements language : a case study
Lai, Danny Cho-Liang, 1978- (2001)
- Advisor: Nancy G. Leveson
- Department of Electrical Engineering and Computer Science
A demonstration of a formal specification & requirements language : a case study
Sutherland, Sean J. P. (Sean Jason Perry), 1977- (2001)
- Advisor: Nancy G. Leveson
- Department of Electrical Engineering and Computer Science
Application of STPA to the integration of multiple control systems : a case study and new approach
Placke, Matthew Seth (2014)
- Advisors: Farrar, J. Thomas (John Thomas), 1976-; Nancy G. Leveson
- Engineering Systems Division
Deriving safety constraints for integration of unmanned aircraft systems into the national airspace by application of STECA
Urano, Yusuke (2016)
- Advisor: Nancy G. Leveson
- Engineering Systems Division; Institute for Data, Systems, and Society
- Advisor: Nancy G. Leveson
- Department of Aeronautics and Astronautics