Abstract data types and software validation
Communications of the ACM
Communications of the ACM
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
Preliminary Ada reference manual
ACM SIGPLAN Notices - Preliminary Ada reference manual
An object-oriented approach to a large scientific application
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
An object-oriented programming discipline for standard Pascal
Communications of the ACM
Adding Data Abstraction to Fortran Software
IEEE Software
SIGGRAPH '83 Proceedings of the 10th annual conference on Computer graphics and interactive techniques
A proposed graduate course in automatic software generation
ACM SIGCSE Bulletin
| Hi-index | 48.23 |