Ada-Europe 1999: Santander, Spain

Invited Papers

Ravenscar Profile and High Integrity Systems

Software Architectures and Design

Testing

Formal Methods

Education

Distributed Systems

Real-Time Scheduling and Kernels

Tools

The Role of Ada in Hardware/Software Codesign

Fault Tolerance

Case Studies