September 2009

Rethinking Formal Methods

Software engineering as a discipline has gone through many phases: software crafting, formality and the waterfall process, productivity and scalability, concurrent versus sequential processes, and agility and value. Still, software developers face huge challenges. In this issue, we step back and look at some proposed