This volume examines aspects & model-driven engineering. Coverage
Includes:: techniques for verifying aspect-oriented models; tool support for use of integrated AOSD & model-driven engineering techniques; & language support for aspect-oriented modeling.