Communications of the ACM
Refine your search:
From BLOG@CACM
Are My Requirements Complete?
Knowing the notion of sufficient completeness and the theory of abstract data types helps practitioners produce better requirements.
From BLOG@CACM
Soundness and Completeness: Defined With Precision
The two key properties of program analysis are dual of each other.
From BLOG@CACM
The Robots Are Taking Over! (Perhaps Not Quite Yet)
Programs fix themselves! Today! It's scary!
From BLOG@CACM
Computing: Art, Magic, Science
A new EdX MOOC emphasizes abstractions, Design by Contract and software quality.
From BLOG@CACM
Those Who Say Code Does Not Matter
Often, you will be told programming languages do not matter much. It is a pretty general rule that people arguing language does not matter are simply trying...
From BLOG@CACM
Software Engineering in the Venice of the North
ESEC-FSE 2013 (in Saint Petersburg,, 18-26 August) is the place to be for software engineering in 2013.
From BLOG@CACM
John McCarthy
The contributions and personality of John McCarthy, one of the pioneers of computer science.
From BLOG@CACM
Long Live Incremental Research!
“Break through!” clamor the funding agencies, which scorn “incremental” research. Sure, every human being needs hype; in truth, though, almost all research—good...
From BLOG@CACM
Again: The One Sure Way to Advance Software Engineering
There is one proven way to improve the state of software, following the the airline industry's spectacular improvements of safety. The IT industry ignores it. Why...
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.
From BLOG@CACM
Fixing the Process of Computer Science Refereeing
There is a simple way to make refereeing better, almost overnight. It takes a bit of courage, but it would restore honesty and quality to the process.
From BLOG@CACM
Showcasing European Computer Science
Retrospective on the 2009 European Computer Science Summit and the launch of ACM Europe
From BLOG@CACM