TY  - SER
ED  - The Institute of Electrical and Electronics Engineers
TI  - Computer: Rethinking formal methods, September 2009. 
SN  - 0018-9162
PY  - 2009///
CY  - New York, Estados Unidos: 
PB  - IEEE
KW  - INFORMÁTICA
KW  - LEMB
KW  - PUBLICACIONES SERIADAS
N1  - 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.
ER  -