ACM

Communications of the ACM

[email protected]

Refine your search:

Variable Vagaries

From [email protected]

The variable, construed as an L-value, makes some offbeat appearances.

Robin K. Hill | May 19, 2019

From [email protected]

Soundness and Completeness: With Precision

The two key properties of program analysis are dual of each other. Bertrand Meyer
From [email protected] | April 20, 2019 at 12:58 PM

From [email protected]

The Formal Picnic Approach to Requirements

A mathematical excursion will improve your requirements. Bertrand Meyer
From [email protected] | November 12, 2018 at 04:00 PM

From [email protected]

Ten Traits of Exceptional Innovators

I have had the privilege of meeting, and in some cases closely interacting with, pioneer scientists, technologists, and entrepreneurs, including Nobel, Fields,... Bertrand Meyer
From [email protected] | October 21, 2018 at 02:44 AM

From [email protected]

Discussing Empirical Answers to Questions of Software Engineering

Focusing on what helps software developers. Bertrand Meyer
From [email protected] | July 25, 2018 at 12:21 PM

From [email protected]

The Real Problem With AI

It's algorithms. And data. They can be wrong. Bertrand Meyer
From [email protected] | June 26, 2018 at 04:28 AM

From [email protected]

Until the Craze Fades

Too much, perhaps, of a good thing? Bertrand Meyer
From [email protected] | May 30, 2018 at 09:01 AM

From [email protected]

Mainstream Enough For Me

The worst possible choice of e-mail recipient. Bertrand Meyer
From [email protected] | July 13, 2018 at 09:29 AM