Proceedings of the 1999 annual ACM SIGAda international conference on Ada