1. Modeling Paradigms

   • Robert France
   • Bernhard Rumpe

   Editorial 01 July 2005 Pages: 233 - 233

2. Introduction

   • Tommaso Bolognesi
   • John Derrick

   Special section on St.Eve workshop 01 July 2005 Pages: 234 - 235

3. State-based versus event-based specifications for information systems: a comparison of B and eb³

   • Benoît Fraikin
   • Marc Frappier
   • Régine Laleau

   Special section 01 July 2005 Pages: 236 - 257

4. Investigating a file transfer protocol using CSP and B

   • Neil Evans
   • Helen Treharne

   Special section on St.Eve workshop 01 July 2005 Pages: 258 - 276

5. Unifying classes and processes

   • Ana Cavalcanti
   • Augusto Sampaio
   • Jim Woodcock

   Regular Paper 01 July 2005 Pages: 277 - 296

6. Specifying business rules in object-oriented analysis

   • Frank Devos
   • Eric Steegmans

   Regular papers 01 July 2005 Pages: 297 - 309

7. Precise visual modeling: A case-study

   • John Howse
   • Steve Schuman

   Regular Paper 01 July 2005 Pages: 310 - 325

8. Testing Web applications by modeling with FSMs

   • Anneliese A. Andrews
   • Jeff Offutt
   • Roger T. Alexander

   Regular Paper 01 July 2005 Pages: 326 - 345

9. Dirk Draheim, Gerald Weber: Form-oriented analysis. A new methodology to model form-based applications

   • Marcin Sikorski

   Book review 01 July 2005 Pages: 346 - 347