Formalisms for Reuse and Systems Integration

and, formal verification techniques provide support for insuring the validity of reuse and integration mechanisms. This edited book includes 12 high quality research papers written by experts in formal aspects of reuse and integration to cover the most recent advances in the field.