The aim of software engineering is the provision and investigation of methods for the development...

The volume comprises the proceedings of the second International Conference on Dynamics in Logist...

This volume contains papers selected from the contributionsto the 4thInternational Workshop...

ICGT 2002 was the ?rst International Conference on Graph Transformation following a series of six...

This volume contains the major part of the contributions to the 3rd Workshop on Theory and Appl i...

This book constitutes the proceedings of the 6th International Conference on Graph Transformation...

The volume comprises the proceedings of the third International Conference on Dynamics in Logisti...

Methods for the algebraic specification of abstract data types were proposed in the early 1970s i...

This book constitutes the refereed proceedings of the 12th International Conference on Subject-Or...

By presenting state-of-the-art research results on various aspects of formal and visual modeling ...

Theareaofgraphtransformationoriginatedinthelate1960sunderthename ¿graph grammars¿ ¿ the main moti...

The volume comprises the proceedings of the third International Conference on Dynamics in Logisti...