Text Size
- Home
-
News
Advanced computing news from Communications of the ACM, other ACM resources, and from around the Web.
- Blogs
- Opinion
-
Browse by Subject
Recent articles from Communications organized into categories that encompass the broad scope of computing.
-
Magazine Archive
-
Careers
Jump-start your career with information on trends, opportunities and jobs – in both industry and academia.
- ACM Resources
-
Subscribe
Receive the benefits of ACM membership with a subscription to its flagship publication, Communications of the ACM.
Contributed articles
Certified Software
![[article image]](/system/assets/0000/4272/112010_CACMpg57_Certified-Software_A.large.jpg?1290117099&1290117098 "Certified Software illustration")
Credit: John Hersey
Only if the programmer can prove (through formal machine-checkable proofs) it is free of bugs with respect to a claim of dependability.
Read the Full Article:
Abstract
|
Full Text (HTML)
|
Full Text (PDF)
|
User Comments (1)
|
In the Digital Edition
|
In the Digital Library
Tools For Readers
Text Size
Related ACM Resources
Conferences:
- AOSD 2012: Aspect Oriented Software Development Conference - March 25 – 30, 2012; Potsdam, Germany
Courses:
- Negotiating Skills In Action (Includes Simulation) - This course will offer you the skills necessary to negotiate successfully and follow through on the negotiations properly. It also offers the opportunity to learn …
About Communications |
Join ACM 
|
Renew |
Subscribe |
Sign In |
For Authors |
For Advertisers |
Privacy |
Site Map |
Help |
Contact Us |
Mobile Site
Copyright © 2012 by the ACM. All rights reserved.