Deriving non-Zeno behaviour models from goal models using ILP D. AlrajehJ. KramerS. Uchitel Original Article 06 October 2009 Pages: 217 - 241
From StPowla processes to SRML models Laura BocchiStephen GortonStephan Reiff-Marganiec Original Article 21 July 2009 Pages: 243 - 268
An algebraic semantics for MOF Artur BoronatJosé Meseguer Original Article 20 February 2010 Pages: 269 - 296
Automating the transformation-based analysis of visual languages Juan de LaraHans Vangheluwe Original Article 19 May 2009 Pages: 297 - 326
Consistent integration of models based on views of meta models Hartmut EhrigKarsten EhrigUlrike Prange Original Article 02 October 2009 Pages: 327 - 344
From a domain analysis to the specification and detection of code and design smells Naouel MohaYann-Gaël GuéhéneucAlban Tiberghien Original Article 19 May 2009 Pages: 345 - 361
A generic complete dynamic logic for reasoning about purity and effects Till MossakowskiLutz SchröderSergey Goncharov Original Article 21 April 2010 Pages: 363 - 384
Reasoning with graph constraints Fernando OrejasHartmut EhrigUlrike Prange Original Article 04 July 2009 Pages: 385 - 422
Automatic verification of Java programs with dynamic frames Jan SmansBart JacobsWolfram Schulte Original Article 20 February 2010 Pages: 423 - 457
Preserving correctness during business process model configuration Wil M. P. van der AalstMarlon DumasJan Mendling Original Article Open access 18 April 2009 Pages: 459 - 482
Erratum to: Algebra and logic for access control Matthew CollinsonDavid Pym Erratum 21 April 2010 Pages: 483 - 484