Ada-Europe 1996: Montreux, Switzerland

Invited Papers

Software Development Methods

Verification and Validation

Safety & Security

Distributed Systems

Real-Time Systems

Compilers and Tools

The Ada 95 Programming Language

Interfacing with Other Worlds

Experience Reports