Skip to main content

Stories by Daniel Jackson

Dependable Software by Design

Computers fly our airliners and run most of the world's banking, communications, retail and manufacturing systems. Now powerful analysis tools will at last help software engineers ensure the reliability of their designs

June 1, 2006 — Daniel Jackson