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
The Super Simple Programming Book is one example to teach programming in an Agile way. In general, Agile concepts can lead to highly effective learning.
Edwin Torres From BLOG@CACM | March 29, 2019 at 11:29 AM
How to deal with Roman numerals and without a sign for zero in an additive number system, if no hand abacus is available?
Herbert Bruderer From BLOG@CACM | March 18, 2019 at 10:02 AM
Documenting the discovery of several previously unknown replicas of historical computing devices made by Roberto A. Guatelli.
Herbert Bruderer From BLOG@CACM | January 11, 2019 at 03:26 PM
Discovery of a previously unknown replica of the legendary Swiss Millionaire calculating machine at Carnegie Mellon University in Pittsburgh, PA.
Herbert Bruderer From BLOG@CACM | December 12, 2018 at 02:04 PM
Concurrency control for readers and writers in a database is a classic problem that illustrates the power of message passing.
Carl Hewitt From BLOG@CACM | October 1, 2018 at 09:26 AM
In 1897, ETH Zurich was the first university in the world to have a copy of the legendary four-species calculating machine Millionaire.
Herbert Bruderer From BLOG@CACM | August 24, 2018 at 11:44 AM
The foundational work of the first AI for Good Summit allows the AI community to work together to create an infrastructure for responsible communication, development...Amir Banifatemi From BLOG@CACM | July 3, 2018 at 11:24 AM
Can we establish a locution for the results of a program that does not ascribe decision-making power?
Robin K. Hill From BLOG@CACM | May 21, 2018 at 11:12 AM
Election systems are supposed to be disconnected from the Internet, for obvious and sensible reasons. Most elections today, however, use computers.
Duncan Buell From BLOG@CACM | March 27, 2018 at 09:22 AM
Is a comparison between operating systems, which are analyzed by software engineers for conditional execution paths, and possible worlds, which are analyzed by...Robin K. Hill From BLOG@CACM | April 29, 2017 at 08:32 PM
Here we are, 70 years into the computer age and we still do not seem to know how to build secure information systems. And yet, our community marches forward with...Moshe Y. Vardi From BLOG@CACM | April 14, 2017 at 09:07 AM
Star Trek has inspired generations to pursue science and technology careers, not a few of whom have transformed part of it into technological and commercial fact...Daniel Reed From BLOG@CACM | September 8, 2016 at 12:00 AM
The ACM International Collegiate Programming Contest, sponsored by IBM, is the oldest, largest, and most prestigious programming competition in the world.
Courtney Coolidge From BLOG@CACM | May 16, 2016 at 09:22 AM
State of the Practice focus at SC16 expands opportunities for HPC service providers and practitioners to publish their innovations and best practices.
Dan Stanzione From BLOG@CACM | April 6, 2016 at 04:30 PM