Volume 22, Issue 3-4

Formal Aspects of Computing is now archived and no longer receiving submissions with this publisher. All articles published in the journal during its time with Springer will remain fully searchable through our websites.

Search all Formal Aspects of Computing articles

May 2010

12 articles in this issue

Editorial
J. L. Fiadeiro
Editorial 09 April 2010 Pages: 215 - 216
Deriving non-Zeno behaviour models from goal models using ILP
D. Alrajeh
J. Kramer
S. Uchitel
Original Article 06 October 2009 Pages: 217 - 241
From StPowla processes to SRML models
Laura Bocchi
Stephen Gorton
Stephan Reiff-Marganiec
Original Article 21 July 2009 Pages: 243 - 268
An algebraic semantics for MOF
Artur Boronat
José Meseguer
Original Article 20 February 2010 Pages: 269 - 296
Automating the transformation-based analysis of visual languages
Juan de Lara
Hans Vangheluwe
Original Article 19 May 2009 Pages: 297 - 326
Consistent integration of models based on views of meta models
Hartmut Ehrig
Karsten Ehrig
Ulrike Prange
Original Article 02 October 2009 Pages: 327 - 344
From a domain analysis to the specification and detection of code and design smells
Naouel Moha
Yann-Gaël Guéhéneuc
Alban Tiberghien
Original Article 19 May 2009 Pages: 345 - 361
A generic complete dynamic logic for reasoning about purity and effects
Till Mossakowski
Lutz Schröder
Sergey Goncharov
Original Article 21 April 2010 Pages: 363 - 384
Reasoning with graph constraints
Fernando Orejas
Hartmut Ehrig
Ulrike Prange
Original Article 04 July 2009 Pages: 385 - 422
Automatic verification of Java programs with dynamic frames
Jan Smans
Bart Jacobs
Wolfram Schulte
Original Article 20 February 2010 Pages: 423 - 457
Preserving correctness during business process model configuration
Wil M. P. van der Aalst
Marlon Dumas
Jan Mendling
Original Article Open access 18 April 2009 Pages: 459 - 482
Erratum to: Algebra and logic for access control
Matthew Collinson
David Pym
Erratum 21 April 2010 Pages: 483 - 484

Volume 22, Issue 3-4

Search

Navigation