Volume XX Number 4 December 2000

Special Issue: Presentations from SIGAda 2000

Table of Contents

Message from the Chair - Ben Brosgol .......................................................................................................................................1

Selected presentations from SIGAda 2000

Multilanguage Programming on the JVM: The Ada 95 Benefits - F. Gasperoni, G. Dismukes.................................................... 3

Building Partitioning Architectures Based on the Ravenscar Profile - Brian Dobbing.............................................................. 29

Safety Critical Systems Based on Formal Models - L. Asplund, K. Lundqvist........................................................................... 32

Document Generation using ASIS Tools - Steven Hovater............................................................................................................ 40

A Successful Example of a Layered Architecture Based Development for Standard-Missile Control - K. Spicer................. 50

Industrial Experience with SPARK - Roderick Chapman................................................................................................................. 64

The SPARK Way to Correctness is Via Abstraction - John Barnes............................................................................................. 69

Key Contacts .................................................................................................................................................................................... 80

A Quarterly Publication of SIGAda,

the ACM Special Interest Group on Ada