Safeware: system safety and computers
Safeware: system safety and computers
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
IEEE Transactions on Software Engineering
An empirical study of regression test selection techniques
Proceedings of the 20th international conference on Software engineering
Investigating the cost-effectiveness of reinspections in software development
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A Methodology for Architecture-Level Reliability Risk Analysis
IEEE Transactions on Software Engineering
Requirements analysis using forward and backward search
Annals of Software Engineering
Measuring the Impacts Individual Process Maturity Attributes Have on Software Products
METRICS '98 Proceedings of the 5th International Symposium on Software Metrics
Incorporating Cost-Benefit Analyses into Software Assurance Planning
SEW '01 Proceedings of the 26th Annual NASA Goddard Software Engineering Workshop
Investigation of the Risk to Software Reliability and Maintainability of Requirements Changes
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Software Metrics Model For Integrating Quality Control And Prediction
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Determining Fault Insertion Rates for Evolving Software Systems
ISSRE '98 Proceedings of the The Ninth International Symposium on Software Reliability Engineering
Reliability Prediction and Sensitivity Analysis Based on Software Architecture
ISSRE '02 Proceedings of the 13th International Symposium on Software Reliability Engineering
Hi-index | 0.00 |
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.