Sign In

Communications of the ACM


Refine your search:
datePast Year
subjectSoftware
authorBertrand Meyer

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.

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.

Mainstream Enough For Me
From [email protected]

Mainstream Enough For Me

The worst possible choice of e-mail recipient.
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account