This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
SEHAS 2003: The Future of High-Assurance Systems
September-October 2003 (vol. 1 no. 5)
pp. 68-72
Nancy R. Mead, Software Engineering Institute, Carnegie Mellon University

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.

Index Terms:
SEHAS, workshop, programming, software, ICSE
Citation:
Nancy R. Mead, "SEHAS 2003: The Future of High-Assurance Systems," IEEE Security & Privacy, vol. 1, no. 5, pp. 68-72, Sept.-Oct. 2003, doi:10.1109/MSP.2003.10013
Usage of this product signifies your acceptance of the Terms of Use.