SA-2-Ada: a methodology for deriving Ada designs from structured analysis specifications
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
An improved inspection technique
Communications of the ACM
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Automating the Ada programming process: a domain-specific approach
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Ada 9X tagged types and their implementation in GNAT
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Implementing OSA model instances in Ada
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
An Ada-based script language for simulation applications
ACM SIGAda Ada Letters
A domain specific reuse program for electronic support measures
WADAS '93 Proceedings of the tenth annual Washington Ada symposium on Ada: Ada's role in software engineering
A survey of software inspection checklists
ACM SIGSOFT Software Engineering Notes
Software quality through domain-driven certification
Annals of Software Engineering
Hi-index | 0.02 |