Volume 3, Number 1, March 2004
Volume 3, Number 2, May 2004
: Automated formal verification of visual modeling languages by model checking.
, Gerard Allwein
: Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference.
Volume 3, Number 3, August 2004
: Use cases - Yesterday, today, and tomorrow.
: Plug-and-play composition of features and feature interactions with statechart diagrams.
Volume 3, Number 4, December 2004
Alan W. Brown
: Model driven architecture: Principles and practice.