1. A formal nethod (a networked formal method)

   • Peter T. Breuer
   • Simon Pickin

   Original Paper 21 January 2010 Pages: 255 - 268

2. Quantifying security threats and their potential impacts: a case study

   • Anis Ben Aissa
   • Robert K. Abercrombie
   • Ali Mili

   Original Paper 27 March 2010 Pages: 269 - 281

3. Linking denotational semantics with operational semantics for web services

   • Huibiao Zhu
   • Jifeng He
   • Jonathan P. Bowen

   Original Paper 30 April 2010 Pages: 283 - 298

4. Use of a multidimensional approach to study the evolution of software complexity

   • Raghvinder S. Sangwan
   • Pamela Vercellone-Smith
   • Colin J. Neill

   Original Paper 30 April 2010 Pages: 299 - 310

5. SCRUB: a tool for code reviews

   • Gerard J. Holzmann

   Original Paper 06 August 2010 Pages: 311 - 318

6. A second look at Faster, Better, Cheaper

   • Oussama El-Rawas
   • Tim Menzies

   Original Paper 21 October 2010 Pages: 319 - 335