Verification of Ada 1/0 statements
ACM SIGCSE Bulletin
Programming practices: analysis of Ada source developed for the air force, army,and navy
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Total quality management manifested through Ada
WADAS '91 Proceedings of the eighth annual Washington Ada symposium & summer SIGAda meeting on Ada: software: foundation for competitveness
Ada experience in the undergraduate curriculum
Communications of the ACM
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Developing object-oriented user interfaces in Ada with the X Window system
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Rehost of a real-time interrupt-driven simulation onto a DOS/PC/ADA environment using OOD
ACM SIGAda Ada Letters
Ada's design goals and object-oriented programming
ACM SIGAda Ada Letters
Abstract data types are under full control with Ada 9X
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Educating educators: lessons in adding Ada to a small school curriculum
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
An Ada-like separate compilation style in C
ACM SIGAda Ada Letters
Using Ada 95 for the design of distributed real-time systems
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
The evolution of a distributed dataflow processing model using Ada
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Ada in embedded boards for scientific and medical instruments
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Multithreaded Rendezvous: a design pattern for distributed rendezvous
Proceedings of the 1999 ACM symposium on Applied computing
Redistribution in distributed Ada
Proceedings of the 1999 annual ACM SIGAda international conference on Ada
Programming paradigms involving exceptions: a software quality approach
WADAS '87 Proceedings of the Joint Ada conference fifth national conference on Ada technology and fourth Washington Ada Symposium
Electronic maneuvering board and dead reckoning tracer decision aid for the officer of the deck
Proceedings of the 2001 annual ACM SIGAda international conference on Ada
A buffer container class hierarchy using Ada 2005
Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
Distributed status monitoring and controlusing remote buffers and Ada 2005
Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
Hi-index | 0.02 |