Dependable Software by Design
Scientific American – 11 hours ago
was scrapped in 2005); and the Federal Aviation Administration (a lingering and still unsuccessful attempt to renovate its aging airtraffic control system).

Read more…