Mathematical Frameworks For Component Software: Models For Analysis And Synthesis

The range of components technology is both wide and diverse, but some common understanding is emerging through the ideas of model-based development. This volume focuses on mathematical models that identify the "core" concepts as first class modeling elements, and its providing of techniques for integrating and relating them.