The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - September-October (2003 vol.1)
pp: 68-72
Nancy R. Mead , Software Engineering Institute, Carnegie Mellon University
ABSTRACT
<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>
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, September-October 2003, doi:10.1109/MSP.2003.10013
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool