On the criteria to be used in decomposing systems into modules
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
The Psychology of Computer Programming
The Psychology of Computer Programming
The Mythical Man-Month: Essays on Softw
The Mythical Man-Month: Essays on Softw
Programming Languages: Design and Implementation
Programming Languages: Design and Implementation
Systematic Programming: An Introduction
Systematic Programming: An Introduction
System Development Methodol-OP
System Development Methodol-OP
Software Engineering, An Advanced Course, Reprint of the First Edition [February 21 - March 3, 1972]
The Design and Construction of Software Systems
Software Engineering, An Advanced Course, Reprint of the First Edition [February 21 - March 3, 1972]
ACM SIGOPS Operating Systems Review
A new approach to program testing
Proceedings of the international conference on Reliable software
Toward a theory of test data selection
Proceedings of the international conference on Reliable software
A view of program verification
Proceedings of the international conference on Reliable software
Software management through improved programming technology
ACM '75 Proceedings of the 1975 annual conference
Issues in programming language design: an overview
ACM SIGPLAN Notices - Special issue on programming language design
Exception handling design issues
ACM SIGPLAN Notices - Special issue on programming language design
ACM SIGPLAN Notices - Special issue on control structures in programming languages
Software Engineering Techniques: Report of a conference sponsored by the NATO Science Committee, Rome, Italy, 27-31 Oct. 1969, Brussels, Scientific Affairs Division, NATO
Providing autonomic features to a data grid
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Hi-index | 0.00 |