A few months back, I picked up an issue of Scientific American. Nothing to unusual there, but I was quite surprised by one of the articles I found inside. In “Dependable Software by Design”, Daniel Jackson put the high-integrity software industry in the public eye.
