Journal of Systems and Software
Paradigms for design and implementation in ADA
Communications of the ACM
Programming in MODULA-2 (3rd corrected ed.)
Programming in MODULA-2 (3rd corrected ed.)
Software engineering with Ada
Software engineering: a practitioner's approach (2nd ed.)
Software engineering: a practitioner's approach (2nd ed.)
Refinement Methodology for Ada
IEEE Transactions on Software Engineering
Towards a general object-oriented Ada lifecycle
WADAS '87 Proceedings of the Joint Ada conference fifth national conference on Ada technology and fourth Washington Ada Symposium
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
| Hi-index | 0.00 |