Volume 9, Number 1, February 2007 Special Section on Advances in Automated Verification of Critical Systems
Volume 9, Number 2, March 2007 Special Section on Fundamental Approaches to Software Engineering
: Introduction to the special section on FASE 2003.
: An ontology for software component matching.
, Marc Lohmann
: Model-driven development of reactive information systems: from graph transformation rules to JML contracts.
Volume 9, Numbers 3-4, June 2007
: Special section on coloured Petri nets.
Volume 9, Numbers 5-6, October 2007