ICSE 2003 Workshop on Software Engineering for High Assurance Systems: Synergies between Process, Product, and Profiling (SEHAS 2003)

摘要

A critical issue in software engineering is how to construct high assurance software systems, i.e., software systems where compelling evidence is required that the system delivers its services in a manner satisfying critical properties, such as safety and security. This two-day ICSE workshop, the third in a series of workshops on high assurance systems, will provide a forum for researchers and practitioners to exchange ideas and experiences relevant to the development of software for aerospace systems, medical systems, systems controlling nuclear power plants, and other critical systems. Participants of the SEHAS 2003 workshop will explore the opportunities for, and benefits of, synergies between three important themes - product, process, and profiling - each theme reflecting an important aspect of software development for high assurance systems.