Issue No. 05 - September-October (2003 vol. 1)
Nancy R. Mead , Software Engineering Institute, Carnegie Mellon University
<p>Software Engineering for High Assurance Systems (SEHAS) 2003 was the third in an informal series of workshops on high-assurance systems (HASs). This is the first workshop on the subject held in conjunction with the International Conference on Software Engineering (ICSE). ICSE attracts a broader software engineering audience than other venues, but the workshop attendee profiles are similar?researchers and practitioners with special interest in the HASs that control nuclear plants, life-critical medical systems, aerospace and weapons systems, and so on.</p>
SEHAS, workshop, programming, software, ICSE
N. R. Mead, "SEHAS 2003: The Future of High-Assurance Systems," in IEEE Security & Privacy, vol. 1, no. , pp. 68-72, 2003.