ACM

Communications of the ACM

BLOG@CACM

Refine your search:

Tracking Down a Seminal Work on Computer Construction – in Russian

From BLOG@CACM

A Russian edition of Rutishauser's standard work on computer construction.

Herbert Bruderer | October 23, 2020

From BLOG@CACM

What Everyone Knows and What No One Knows

Who cares about logic? Bertrand Meyer
From BLOG@CACM | October 15, 2020 at 09:03 AM

From BLOG@CACM

Getting a Program Right (7)

Have you run a program proof before? Now is your chance! Bertrand Meyer
From BLOG@CACM | March 12, 2020 at 01:46 PM

From BLOG@CACM

Getting a Program Right (6)

Thanks for your patience. Bertrand Meyer
From BLOG@CACM | March 9, 2020 at 03:22 PM

From BLOG@CACM

Getting a Program Right (1)

Why it is good to have a systematic approach to software verification. Bertrand Meyer
From BLOG@CACM | February 22, 2020 at 08:38 AM

From BLOG@CACM

Talented Programmers Don't Tolerate Chaos

Talented programmers will strive to structure chaos and write perfect code. Yegor Bugayenko
From BLOG@CACM | February 11, 2020 at 03:19 AM

From BLOG@CACM

Not So Good After All? Don't Let 'Altruism' Kill Your Company

Altruism is often heralded as a panacea for management challenges, but it could actually be a death sentence for your team and projects. Here's why. Yegor Bugayenko
From BLOG@CACM | January 17, 2020 at 12:34 PM