Communications of the ACM
Refine your search:
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
The Good, the Hype and the Ugly
One of the most dazzling changes to the software development world in the past decade has been the spread of agile methods.
From BLOG@CACM
Run-Time Assertions: What Are You Waiting For?
Would Design by Contract have avoided Heartbleed?
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
Towards Empirical Answers to the Core Problems of Software Engineering
Can empirical research give us an answer to the big problems?
From BLOG@CACM
Computer Science: Catch Them Early
Informatics education for primary and secondary schools
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
Doing It Right or Doing It Over?
Not everyone hits on America, who for India sets sail.
From BLOG@CACM
The Waves of Publication
The traditional role of publication-as-process is gone. What remains?
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
Conferences: Publication, Communication, Sanction
Conferences have three roles; these roles should be separated.
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
The Modes and Uses of Scientific Publication
Publication is about helping the advancement of humankind. Let us take this basis for granted and look at the other, possibly less glamorous aspects. Publication...
From BLOG@CACM
The Nastiness Problem in Computer Science
Are we malevolent grumps? Nothing personal, but as a community computer scientists sometimes seem to succumb to negativism.
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
Software Verification Turns Mainstream
Verification is maturing to the point where it will become integrated into mainstream software development.
From BLOG@CACM