Program abstraction and instantiation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software engineering with Ada
Generic implementation via analogies in the Ada programming languages
ACM SIGAda Ada Letters
Program verification using Ada
Program verification using Ada
Measurable characteristics of reusable Ada software
ACM SIGAda Ada Letters
A conceptual model for megaprogramming
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |