Theses most similar to A demonstration of a formal specification & requirements language : a case study (Sutherland, Sean J. P. (Sean Jason Perry), 1977-; 2001) read it
- Advisor: Nancy G. Leveson
- Department of Aeronautics and Astronautics
Task analysis and operating procedure design for a traffic management system : application to Boston's Central Artery/Tunnel
Milam, Rebecca C. (Rebecca Claire) (1994)
- Advisor: Thomas B. Sheridan
- Department of Mechanical Engineering
Observation and analysis of departure operations at Boston Logan International Airport
Idris, Husni Rifat (2001)
- Advisor: R. John Hansman, Jr.
- Department of Mechanical Engineering
A systems approach to identifying aircraft equipage requirements, benefits, and risks of ADS-B applications
Jenkins, Marisa Rachael (2009)
- Advisor: R. John Hansman, Jr.
- Department of Aeronautics and Astronautics
The design of an intelligent decision support tool for submarine commanders
Carrigan, Geoffrey P (2009)
- Advisor: Mary L. Cummings
- Engineering Systems Division
Identification of communication and coordination issues in the U.S. air traffic control system
Reynolds, Hayley J. Davison (Hayley Jaye Davison) (2001)
- Advisor: R. John Hansman, Jr.
- Department of Aeronautics and Astronautics
The different levels of intent specifications : analysis and guidelines on tracing
Meléndez Díaz, William J., 1979- (2001)
- Advisor: Nancy G. Leveson
- Department of Electrical Engineering and Computer Science
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
Systems Theoretic Process Analysis applied to an Offshore Supply Vessel dynamic positioning system
Abrecht, Blake Ryan (2016)
- Advisor: Nancy G. Leveson
- Engineering Systems Division; Institute for Data, Systems, and Society
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