ACM
Sign In
Go
ACM.org
Join ACM
About Communications
ACM Resources
Alerts & Feeds
Communications of the ACM
Home
Current Issue
Current Issue: March 2024
Measuring GitHub Copilot's Impact on Productivity
Generative AI Degrades Online Communities
Innovation Is Overrated: A Provocation
VIEW TABLE OF CONTENTS
News
Latest News
News Archive
Blogs
About the Blogs
BLOG@CACM
Blogroll
Blogs Archive
Opinion
Articles
Interviews
Opinion Archive
Research
Latest Research
Research Archive
Practice
Latest Practice
Practice Archive
Careers
Search for Jobs
Post a Resume
Post A Job
Advertise with Us
Contact Us
Archive
The magazine archive includes every article published in
Communications of the ACM
for over the past 50 years.
March 2024 (Vol. 67, No. 3)
February 2024 (Vol. 67, No. 2)
January 2024 (Vol. 67, No. 1)
VIEW MORE ISSUES
Videos
BLOG@CACM
About the Blogs
Blogroll
Blogs Archive
Refine your search:
date
More Than a Year Ago
subject
Search
author
Bertrand Meyer
Interview Answers That are Not Going to Help You
From BLOG@CACM
Don't try to impress me with big words.
Bertrand Meyer
|
February 21, 2024
From BLOG@CACM
Getting a Program Right (7)
Have you run a program proof before? Now is your chance!
Bertrand Meyer
From BLOG@CACM
|
March 12, 2020 at 01:46 PM
From BLOG@CACM
Getting a Program Right (1)
Why it is good to have a systematic approach to software verification.
Bertrand Meyer
From BLOG@CACM
|
February 22, 2020 at 08:38 AM
Sign In
for Full Access
User Name
Password
» Forgot Password?
» Create an ACM Web Account
Sign In
<script language="JavaScript" src="https://acm.nui.media/pipeline/684374/0/vj?z=acm&dim=599027&kw=&click=&abr=$scriptiniframe"></script><noscript><a href="https://acm.nui.media/pipeline/684374/0/cc?z=acm"><img src="https://acm.nui.media/pipeline/684374/0/vc?z=acm&dim=599027&kw=&click=&abr=$imginiframe" width="160" height="600" alt="" border="0"></a></noscript>
<script type="text/javascript" language="JavaScript" src="https://acm.nui.media/pipeline/524940/0/vj?z=acm&dim=622080&kw=&click=&abr=$scriptiniframe"></script><noscript><a href="https://acm.nui.media/pipeline/524940/0/cc?z=acm"><img src="https://acm.nui.media/pipeline/524940/0/vc?z=acm&dim=622080&kw=&click=&abr=$imginiframe" width="160" height="160" alt="" border="0"></a></noscript>
