Proceedings of the 2004 annual ACM SIGAda international conference on Ada The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies - McCormick, John W. (Verfasser); Association for Computing Machinery-Digital Library; ACM Special Interest Group on Applied Computing; ACM Special Interest Group on Programming Languages; ACM Special Interest Group on Computer Science Education; ACM Special Interest Group on Computers; Society; ACM Special Interest Group on Ada Programming Language; ACM Special Interest Group on Software Engineering (ACM, 2004)