Communications of the ACM
Refine your search:
From BLOG@CACM
Getting a Program Right (1)
Why it is good to have a systematic approach to software verification.
From BLOG@CACM
Soundness and Completeness: Defined With Precision
The two key properties of program analysis are dual of each other.
From BLOG@CACM
Empirical Answers to Important Software Engineering Questions (Part 1 of 2)
Beyond the lamppost
From BLOG@CACM
A Jolt or Two (Part 1)
You cannot learn something if you think you already know it, and don't.
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
Typing Without Typing
Type inference made practical for an object-oriented/functional programming language.
From BLOG@CACM
Run-Time Assertions: What Are You Waiting For?
Would Design by Contract have avoided Heartbleed?
From BLOG@CACM
Apocalypse No! (Part 2)
Catastrophism and reliance on dubious studies have no place in serious discussions of software engineering.
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
A Fundamental Duality of Software Engineering
What is the value of that function for x = 6?
From BLOG@CACM
John McCarthy
The contributions and personality of John McCarthy, one of the pioneers of computer science.
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