Computer: Rethinking formal methods, September 2009. / IEEE

4-Computer Highlights Society Magazines. 6-Letters to the Editor. 8-Data of the Night. 12-32 and 16 Years Ago. 15-Routing Faces Dramatic Changes. 18-HP Announces Breakthrough in Affordable, Flexible Displays. 22-Dynamic Privacy in Public Surveillance. 30-Faultless Systems: Yes We Can!. 37-Formal Versus Agile: Survival of the Fittest. 46-Programs That Test Themselves. 56-Taking Parnas's Principles to the Next Level: Declarative Language Design. 64-Securing the Skies: In Requirements We Trust. 73-IEEE Computer Society Election. 81-Call and Calendar. 83-Bookshelf. 88-University-Industry Synergy: An Eclectic Dialog for Revised Relationships. 90-The Web as the Ubiquitous Computer. 93-Model-Driven Engineering and Safety-Critical Embedded Software. 96-IS Innovation: Thinking Beyond the Silo. 99-Toward a Science of Power Management. 102-Music, Sociality, and Digital Technology.