Bertrand Meyer – Page 3 – Communications of the ACM

BLOG@CACM Sep 6 2020

What happens when people's fate hangs on machine learning?

BLOG@CACM Mar 16 2020

A correct program is one that works in all cases.

Computing Applications

BLOG@CACM Mar 15 2020

The power of loop invariants.

Computing Applications

BLOG@CACM Mar 12 2020

Have you run a program proof before? Now is your chance!

Computing Applications

BLOG@CACM Mar 9 2020

Thanks for your patience.

Computing Applications

BLOG@CACM Mar 6 2020

Are we there yet?

Computing Applications

BLOG@CACM Mar 4 2020

Trying again.

Computing Profession

BLOG@CACM Mar 2 2020

Attempt #3 to write a binary search program.

Computing Applications

BLOG@CACM Feb 28 2020

Trying to fix a binary search attempt.

Computing Applications

BLOG@CACM Feb 22 2020

Why it is good to have a systematic approach to software verification.

Computing Applications

ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.