Verification is maturing to the point where it will become integrated into mainstream software development.Bertrand Meyer From BLOG@CACM | February 28, 2011 at 01:20 PM
Watts Humphrey left us a few weeks ago. His contributions to professional software engineering have been essential.Bertrand Meyer From BLOG@CACM | November 15, 2010 at 03:27 PM
One obstacle is hampering the progress of empirical software engineering: we are still missing a culture of reproducibility
Bertrand Meyer From BLOG@CACM | October 27, 2009 at 09:55 AM