The IEEE Spectrum is really a high-level magazine about technology. And has very interesting articles.
This one, subject of a Slashdot story: An English company that make software with very few bugs. For critical-purposes sofware. When you build a sofware to make big money-transactions, control a plane or a power plant, you simply can't make errors.
The methods explained in the article are sure valuable and usable for every project, including open-source; and although the programming language specified (Spark) is commercial, there are a lot of open-source alternatives. Like Eiffel (smarteiffel as GNU project), or OCaml. Some formal checkers are available too.