ACM

Communications of the ACM

BLOG@CACM

Data Backup and VM Modernization: How-to Guide

From BLOG@CACM

A guide to VM modernization when dealing with data backups.

Alex Tray | November 11, 2022

From BLOG@CACM

Not Your Grandmother's Textbook Exercise

Sarcasm, where you least expected it. Bertrand Meyer
From BLOG@CACM | September 1, 2022 at 03:47 PM

From BLOG@CACM

The Legacy of Barry Boehm

One of the founders of software engineering as we know it. Bertrand Meyer
From BLOG@CACM | August 23, 2022 at 05:22 AM

From BLOG@CACM

Can You Please Explain More Obscurely?

On the appropriate style for technical writing. Bertrand Meyer
From BLOG@CACM | May 16, 2022 at 09:42 AM

From BLOG@CACM

Mental Self-Check

Who is crazy: the rest of the world, or I? Bertrand Meyer
From BLOG@CACM | January 19, 2022 at 01:30 PM

From BLOG@CACM

Not Worth a Thousand Words

Pictures are no substitute for substance. Bertrand Meyer
From BLOG@CACM | October 12, 2021 at 01:21 PM

From BLOG@CACM

A Standard Plan for Modern Requirements

The ambitious systems that we develop today need a proper requirements structure. The plan defined here organizes requirements specification along four books, the... Bertrand Meyer
From BLOG@CACM | July 20, 2021 at 12:12 PM

From BLOG@CACM

Tips for Successful Examinations in the Age of Remote Education

Rather than fancying you can control Internet access, design exams to reward students who won't need it. Bertrand Meyer
From BLOG@CACM | February 17, 2021 at 05:13 PM

From BLOG@CACM

Lessons From and For Online Teaching

The troika model for successful online teaching. Bertrand Meyer
From BLOG@CACM | February 9, 2021 at 03:52 PM

From BLOG@CACM

Time to Exhume PSP?

The Personal Software Process encourages programmer discipline. Largely forgotten, it does have a few wrinkles, but understanding and applying its core ideas remains... Bertrand Meyer
From BLOG@CACM | December 14, 2020 at 04:37 PM

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

Things To Do To An Algorithm

What happens when people's fate hangs on machine learning? Bertrand Meyer
From BLOG@CACM | September 6, 2020 at 03:47 PM

From BLOG@CACM

Getting a Program Right (9) (last)

A correct program is one that works in all cases. Bertrand Meyer
From BLOG@CACM | March 16, 2020 at 02:01 PM

From BLOG@CACM

Getting a Program Right (8)

The power of loop invariants. Bertrand Meyer
From BLOG@CACM | March 15, 2020 at 03:14 PM

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 (5)

Are we there yet? Bertrand Meyer
From BLOG@CACM | March 6, 2020 at 01:28 PM

From BLOG@CACM

Getting a Program Right (4, Also Includes 3')

Trying again. Bertrand Meyer
From BLOG@CACM | March 4, 2020 at 04:53 PM

From BLOG@CACM

Getting a Program Right (3)

Attempt #3 to write a binary search program. Bertrand Meyer
From BLOG@CACM | March 2, 2020 at 01:48 PM

From BLOG@CACM

Getting a Program Right (2)

Trying to fix a binary search attempt. Bertrand Meyer
From BLOG@CACM | February 28, 2020 at 01:57 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

12 3 4