Sign In

Communications of the ACM

BLOG@CACM


Refine your search:
subjectPerformance And Reliability
authorBertrand Meyer

Getting a Program Right (1)
From BLOG@CACM

Getting a Program Right (1)

Why it is good to have a systematic approach to software verification.

Just Press Reboot
From BLOG@CACM

Just Press Reboot

Why does the press continue to talk about "computer problems"?

The Robots Are Taking Over! (Perhaps Not Quite Yet)
From BLOG@CACM

The Robots Are Taking Over! (Perhaps Not Quite Yet)

Programs fix themselves! Today! It's scary!

Software Verification Turns Mainstream
From BLOG@CACM

Software Verification Turns Mainstream

Verification is maturing to the point where it will become integrated into mainstream software development.

Watts Humphrey: In Honor of a Pioneer
From BLOG@CACM

Watts Humphrey: In Honor of a Pioneer

Watts Humphrey left us a few weeks ago. His contributions to professional software engineering have been essential.

The Rise of Empirical Software Engineering (II): What We Are Still Missing
From BLOG@CACM

The Rise of Empirical Software Engineering (II): What We Are Still Missing

One obstacle is hampering the progress of empirical software engineering: we are still missing a culture of reproducibility
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account