HASE 1999: Washington, D.C., USA

Evaluation and Testing

Special Session on UML for High Assurance Systems

Experience Reports

Fault Analysis

Building High-Assurance Systems Using COTS Components: Whether, Why, When and How?

Case Studies

Reliable Communications

Frameworks, Systems, Tools

What are the Most Critical Challenges to Integrating High Assurance Systems

Metrics and Modeling

Should High Assurance Systems Use Software? Risk vs. Functionality