Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008 Antonio CeroneStefan Gruner Guest Editorial 23 July 2010 Pages: 143 - 145
Formalizing requirements with object models and temporal constraints Alessandro CimattiMarco RoveriStefano Tonetta Special Section Paper 19 August 2009 Pages: 147 - 160
An algebra of product families Peter HöfnerRidha KhedriBernhard Möller Special Section Paper 27 August 2009 Pages: 161 - 182
Büchi automata for modeling component connectors Mohammad IzadiMarcello BonsangueDave Clarke Special Section Paper Open access 04 March 2010 Pages: 183 - 200
Testing timed systems modeled by Stream X-machines Mercedes G. MerayoManuel NúñezRobert M. Hierons Special Section Paper 14 August 2009 Pages: 201 - 217
Verifying workflow processes: a transformation-based approach Haiping ZhaWil M. P. van der AalstJiaguang Sun Regular Paper 11 February 2010 Pages: 253 - 264
A model-driven method for describing and predicting the reliability of composite services Paolo BocciarelliAndrea D’Ambrogio Regular Paper 21 February 2010 Pages: 265 - 280