Sign In

Communications of the ACM



Soundness and Completeness: With Precision
From [email protected]

Soundness and Completeness: With Precision

The two key properties of program analysis are dual of each other.

The Formal Picnic Approach to Requirements
From [email protected]

The Formal Picnic Approach to Requirements

A mathematical excursion will improve your requirements.

Discussing Empirical Answers to Questions of Software Engineering
From [email protected]

Discussing Empirical Answers to Questions of Software Engineering

Focusing on what helps software developers.

Until the Craze Fades
From [email protected]

Until the Craze Fades

Too much, perhaps, of a good thing?

Why Not Program Right?
From [email protected]

Why Not Program Right?

Not your grandmother's class invariant.

When Will  We Learn?
From [email protected]

When Will We Learn?

Massive software failure once again, with no lesson from past occurrences and no lesson for future systems.

End Anonymous Refereeing
From [email protected]

End Anonymous Refereeing

Who came up with this bizarre idea?

Mainstream Enough For Me
From [email protected]

Mainstream Enough For Me

The worst possible choice of e-mail recipient.

Beyond Folk Pedagogy
From [email protected]

Beyond Folk Pedagogy

On evidence-based teaching.

Empirical Answers to Important Software Engineering Questions (Part 1 of 2)
From [email protected]

Empirical Answers to Important Software Engineering Questions (Part 1 of 2)

Beyond the lamppost

The End of Software Engineering and the Last Methodologist
From [email protected]

The End of Software Engineering and the Last Methodologist

Let's all do deep learning now.

The Mythical Brooks Law
From [email protected]

The Mythical Brooks Law

Yes, you can make a project less late by adding manpower. If you are a good manager.

Just Press Reboot
From [email protected]

Just Press Reboot

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

Null-Pointer Crashes, No More
From [email protected]

Null-Pointer Crashes, No More

Void safety is a guarantee that no code will ever catch a reference with its pants down.

A Jolt or Two (Part 1)
From [email protected]

A Jolt or Two (Part 1)

You cannot learn something if you think you already know it, and don't.

The Robots Are Taking Over! (Perhaps Not Quite Yet)
From [email protected]

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

Programs fix themselves! Today! It's scary!

Agile Methods: A Follow-up ACM Webinar
From [email protected]

Agile Methods: A Follow-up ACM Webinar

A follow-up session to the ACM webinar Agile Methods: The Good, the Hype and the Ugly will take place on March 27.

Feature-Based Development: The Lasagne and the Linguini
From [email protected]

Feature-Based Development: The Lasagne and the Linguini

Agile authors tell us that we can build systems one feature at a time. Can we?

What Is Your Research Culture? Part 3: the Web of Science
From [email protected]

What Is Your Research Culture? Part 3: the Web of Science

Experienced institutions know that the Web of Science is inapplicable to the evaluation of computer science research and researchers. It is time that others learned...

Computing: Art, Magic, Science
From [email protected]

Computing: Art, Magic, Science

A new EdX MOOC emphasizes abstractions, Design by Contract and software quality.
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account