How do successful agile teams deliver bug-free, maintainable software—iteration after iteration? The answer is: By seamlessly combining development and testing. On such teams, the developers write testable code that enables them to verify it using various types of...

This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract...

• Write next-gen HTML5 apps using the SproutCore framework and tools
• Get started right away by creating a powerful application in the very first chapter
• Build your...

Just today, a stranger came to my door claiming he was here to unclog a bathroom drain. I let him into my house without verifying his identity, and not only did he repair the drain, he also took off his shoes so he wouldn’t track mud on my floors. When he was done, I gave him a piece of paper that asked my bank to give him some money....

As a futurist, you can be fascinating at a cocktail party. Instead of dropping names, you drop facts and figures: We are expected to live well intoour 100s; the average age for young adults to marry in America is 30; the single male head of household is the fastest growing demographic group; and the...