An axiomatic basis for computer programming
Communications of the ACM
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
On the Interplay between Mathematics and Programming
Program Construction, International Summer Schoo
Current Ideas in Programming Methodology
Program Construction, International Summer Schoo
ACM SIGSOFT Software Engineering Notes
A proposal for publication and exchange of program proofs
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
The development of new and increasingly efficient techniques of software engineering seems to be impressive to everyone except the professional software developers. In a recent summary of a panel discussing software engineering problems to be faced during the 1980's, Wasserman notes: Not surprisingly, the panel concluded that the problems of the '80's look very much like the problems of the '70's and depressingly similar to the problems of the '60's. The basic questions... were presented by the chairman as follows: 1) How can well engineered products and systematic procedures for their creation be developed? 2) How can the body of software engineering techniques be applied to existing systems? 3) How can technology be transferred more effectively from the research community to software developers?