Sign In

Communications of the ACM



Soundness and Completeness: With Precision
From [email protected]

Soundness and Completeness: With Precision

The two key properties of program analysis are dual of each other.

The Formal Picnic Approach to Requirements
From [email protected]

The Formal Picnic Approach to Requirements

A mathematical excursion will improve your requirements.

Ten Traits of Exceptional Innovators
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,...

Discussing Empirical Answers to Questions of Software Engineering
From [email protected]

Discussing Empirical Answers to Questions of Software Engineering

Focusing on what helps software developers.
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account