Computer magazine

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 solutions that might eventually result in a global improvement in the situation—verifiably correct modeling, agile formal methods, and automated testing. We also look at privacy protection in surveillance systems; SequenceL, a general-purpose functional programming language; and a framework for analyzing security requirements in an air traffic control project. Table of contents » source:computer.org/portal/web/computer/home