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.
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account