Author: Nancy G. Leveson
Publications
Co-authors
Productive Colleagues
Publications
Knight, John C., Leveson, Nancy G. (2006): Software and higher education. In Communications of the ACM, 49 (1) pp. 160. https://dl.acm.org/doi/10.1145/1107458.1107486
Knight, John C., Leveson, Nancy G. (2002): Should software engineers be licensed?. In Communications of the ACM, 45 (11) pp. 87-90. https://dl.acm.org/doi/10.1145/581571.581601
Modugno, Francesmary, Leveson, Nancy G., Reese, Jon Damon, Partridge, Kurt, Sandys, Sean D. (1997): Integrated Safety Analysis of Requirements Specifications. In Requir. Eng., 2 (2) pp. 65-78. https://
Leveson, Nancy G. (1997): Software Engineering: Stretching the Limits of Complexity. In Communications of the ACM, 40 (2) pp. 129-131.
Klawe, Maria M., Leveson, Nancy G. (1995): Woman in Computing - Where Are We Now?. In Communications of the ACM, 38 (1) pp. 29-35.
Leveson, Nancy G. (1995): Safety as a System Property. In Communications of the ACM, 38 (11) pp. 146.
Leveson, Nancy G. (1994): High-Pressure Steam Engines and Computer Software. In IEEE Computer, 27 (10) pp. 65-73.
Leveson, Nancy G., Turner, Clark Savage (1993): Investigation of the Therac-25 Accidents. In IEEE Computer, 26 (7) pp. 18-41.
Leveson, Nancy G. (1991): Software Safety: In Embedded Computer Systems. In Communications of the ACM, 34 (2) pp. 34-46.
Dulac, Nicolas, Viguier, Thomas, Leveson, Nancy G., Storey, Margaret-Anne D. (2002): On the Use of Visualization in Formal Requirements Specification. In: 10th Anniversary IEEE Joint International Conference on Requirements Engineering RE 2002 9-13 September, 2002, Essen, Germany. pp. 71-80. https://csdl.computer.org/comp/proceedings/re/2002/1465/00/14650071abs.htm
Modugno, Francesmary, Leveson, Nancy G., Reese, Jon Damon, Partridge, Kurt, Sandys, Sean D. (1997): Integrated Safety Analysis of Requirements Specifications. In: 3rd IEEE International Symposium on Requirements Engineering RE97 January 5-8, 1997, Annapolis, MD, USA. pp. 148-159. https://csdl.computer.org/comp/proceedings/re/1997/7740/00/77400148abs.htm
Leveson, Nancy G. (1998): Intent Specifications: An Approach to Building Human-Centered Specifications. In: 3rd International Conference on Requirements Engineering ICRE 98, Putting Requirements Engineering to Practice, April 6-10, 1998, Colorado Springs, CO, USA, Proceedings , 1998, . pp. 204-213. https://csdl.computer.org/comp/proceedings/icre/1998/8356/00/83560204abs.htm