Communications of the ACM
Refine your search:
From [email protected]
Computing: Art, Magic, Science
A new EdX MOOC emphasizes abstractions, Design by Contract and software quality.
From [email protected]
Typing Without Typing
Type inference made practical for an object-oriented/functional programming language.
From [email protected]
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 [email protected]
Run-Time Assertions: What Are You Waiting For?
Would Design by Contract have avoided Heartbleed?
From [email protected]
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 [email protected]
Towards Empirical Answers to the Core Problems of Software Engineering
Can empirical research give us an answer to the big problems?
From [email protected]
Computer Science: Catch Them Early
Informatics education for primary and secondary schools
From [email protected]
Apocalypse No! (part 2)
Catastrophism and reliance on dubious studies have no place in serious discussions of software engineering.
From [email protected]
Doing It Right or Doing It Over?
Not everyone hits on America, who for India sets sail.
From [email protected]
The Waves of Publication
The traditional role of publication-as-process is gone. What remains?
From [email protected]
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 [email protected]
Conferences: Publication, Communication, Sanction
Conferences have three roles; these roles should be separated.
From [email protected]
A Fundamental Duality of Software Engineering
What is the value of that function for x = 6?
From [email protected]
John Mccarthy
The contributions and personality of John McCarthy, one of the pioneers of computer science.
From [email protected]
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 [email protected]
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 [email protected]
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 [email protected]
Software Verification Turns Mainstream
Verification is maturing to the point where it will become integrated into mainstream software development.
From [email protected]