In 2009, I co-authored a paper titled Formal vs. Agile: Survival of the Fittest, in which I argued that rigour and agility in software engineering were not antithetical. I first had to explain to my co-authors that Agile Software Development was not the same thing as Rapid Application Development, which was an ironic pointer to … Continue reading "On The Imaginary Trade-Off Between Agility & Rigour"