ACM

Communications of the ACM

BLOG@CACM

Refine your search:

Implications of Online Learning for Novice Students

From BLOG@CACM

The case of the Introduction to Computer Science course.

Yael Erez and Orrit Hazzan | September 21, 2020

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

From BLOG@CACM

There is More Than One Way to Become a Good Programmer

A recent Communications of the ACM article casts aspersions on the innovative concept of code academy, a fast-developing approach to teaching programming. The analysis... Bertrand Meyer
From BLOG@CACM | February 11, 2020 at 07:01 AM

From BLOG@CACM

Are My Requirements Complete?

Knowing the notion of sufficient completeness and the theory of abstract data types helps practitioners produce better requirements. Bertrand Meyer
From BLOG@CACM | November 26, 2019 at 12:01 PM

From BLOG@CACM

The Shortest Possible Schedule Theorem: Yes, You Can Throw Money at Software Deadlines

As close as we have to a universal law of software engineering management. Bertrand Meyer
From BLOG@CACM | October 27, 2019 at 02:00 PM