HASE 2007: Dallas, Texas, USA

Keynote

High Assurance Requirements

System Design and Architectures

State-of-the-Art Presentation. Security Systems Engineering

Testing

Security Assurance and Policies

Distributed Systems

High Assurance Embedded Systems

State-of-the-Art Presentation. Software Engineering for High Assurance Systems

Fault Tolerance and Availability

Panel

Empirical Analysis

Formal Verification and Validation

Fault Tolerance

Security

Requirements and Design

Web, E-Commerce, and Enterprise

Quality, Reliability, and Safety

Formal Methods and Its Applications

Systems and Networks

Systems and Applications