The program of COMPSAC 2008 will continue to feature research and industrial practice papers with a wide range of topics, focusing on the software engineering of critical infrastructure systems such as, but not limited to, civil, telecommunications, and medical systems. To properly engineer such systems, the foundations, methodologies, and mechanisms that support the design, modelling, and evaluation of software systems must come from diverse sources. Topics of interest include requirement analysis, co-analysis and co-design, modelling, design, development, testing, measurement, verification and validation for performance, safety, security, and dependability constraints. Effective construction of these systems is not limited solely to the field of computer science and engineering and comes as a synergetic effort, between various domains of research. Multidisciplinary work, research and development software prototypes, industry-university collaborations, all based on new emerging and critical technologies will be of particular interest to this conference. All accepted papers will be published in the electronic conference proceedings by the IEEE Computer Society, indexed through INSPEC and EI Index, and automatic inclusion in the IEEE digital library. Plans had been made to forward selected papers to archival journals for publications.
|