ICSE 2003 workshop on software engineering for high assurance systems: Synergies between process, product, and profiling (SEHAS 2003)

被引：0

作者：

Feather, MS ^{[1
]}

Nikora, AP ^{[1
]}

Heitmeyer, CL ^{[1
]}

Mead, NR ^{[1
]}

机构：

[1] CALTECH, Jet Prop Lab, Pasadena, CA 91125 USA

来源：

25TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS | 2003年

关键词：

D O I：

10.1109/ICSE.2003.1201286

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：787 / 788

页数：2