The Community for Technology Leaders
Green Image
Issue No. 05 - September-October (2003 vol. 1)
ISSN: 1540-7993
pp: 68-72
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
Nancy R. Mead, "SEHAS 2003: The Future of High-Assurance Systems", IEEE Security & Privacy, vol. 1, no. , pp. 68-72, September-October 2003, doi:10.1109/MSP.2003.10013
98 ms
(Ver )