The art of computer programming, volume 3: (2nd ed.) sorting and searching
The art of computer programming, volume 3: (2nd ed.) sorting and searching
An Approach to Program Testing
ACM Computing Surveys (CSUR)
Perspectives in Software Engineering
ACM Computing Surveys (CSUR)
Social processes and proofs of theorems and programs
Communications of the ACM
Characteristics of application software maintenance
Communications of the ACM
A controlled experiment in program testing and code walkthroughs/inspections
Communications of the ACM
Computer Power and Human Reason: From Judgment to Calculation
Computer Power and Human Reason: From Judgment to Calculation
The Elements of Programming Style
The Elements of Programming Style
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Information systems: Modelling, sequencing and transformations
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Some correctness principles for machine language programs and microprograms
MICRO 7 Conference record of the 7th annual workshop on Microprogramming
Proving the correctness of a flight-director program for an airborne minicomputer
SIGMINI '76 Proceedings of the ACM SIGMINI/SIGPLAN interface meeting on Programming systems in the small processor environment
The role of process models in software and systems development and evolution
ISPW '90 Proceedings of the 5th international software process workshop on Experience with software process models
Parallel programs: proofs, principles, and practice
Communications of the ACM
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A comment on: "An exercise in automatic program verification"
ACM SIGSOFT Software Engineering Notes
| Hi-index | 48.23 |