Archives

Archives

2011

Volume 45: Formal Methods for Interactive Systems 2011

Volume 44: OCL and Textual Modelling 2011

Volume 43: Context-aware Adaption Mechanisms for Pervasive And Ubiquitous Services 2011

Volume 41: Graph Transformation and Visual Modeling Techniques 2011

Volume 40: Petri Nets and Graph Transformations 2010

4th International Workshop on Petri Nets and Graph Transformation, Sept. 28, 2010, Enschede, The Netherlands, Satellite Event of ICGT 2010

Volume 39: Graph Computation Models 2010

Volume 38: International Conference on Graph Transformation 2010 - Doctoral Symposium

Volume 37: Kommunikation in Verteilten Systemen 2011

2010

Volume 36: OCL and Textual Modelling

Volume 35: Automated Verification of Critical Systems 2010

Volume 34: Software Modeling in Education at MODELS 2010

Volume 33: Foundations and Techniques for Open Source Software Certification 2010

Volume 32: Graph-Based Tools 2010

Volume 31: Visual Formalisms for Patterns 2010

Volume 30: Graph and Model Transformation 2010

Volume 29: Graph Transformation and Visual Modeling Techniques 2010

Volume 28: Context-Aware Adaptation Mechanisms for Pervasive and Ubiquitous Services 2010

Volume 27: Selbstorganisierende, adaptive, kontextsensitive verteilte Systeme 2010

Volume 26: Manipulation of Graphs, Algebras and Pictures

Volume 25: Visual Formalisms for Patterns 2009

2009

Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009

Volume 23: Automated Verification of Critical Systems 2009

Volume 22: Formal Methods for Interactive Systems 2009

Volume 21: Multi-Paradigm Modeling 2009

Volume 20: Foundations and Techniques for Open Source Certification 2009

Volume 19: Context-Aware Adaptation Mechanism for Pervasive and Ubiquitous Services 2009

Volume 18: Graph Transformation and Visual Modeling Techniques 2009

Volume 17: Kommunikation in Verteilten Systemen 2009

Volume 16: International Conference on Graph Transformation 2008 - Doctoral Symposium

2008

Volume 15: OCL Concepts and Tools 2008

Volume 14: Petri Nets and Graph Transformations 2008

Volume 13: Layout of (Software) Engineering Diagrams 2008

Volume 12: Formal Modeling of Adaptive and Mobile Processes

Volume 11: Context-aware Adaption Mechanisms for Pervasive and Ubiquitous Services

Volume 10: Graph Transformation and Visual Modeling Techniques 2008

Volume 9: Ocl4All - Modelling Systems with OCL

Volume 8: ERCIM Symposium on Software Evolution 2007

2007

Volume 7: Layout of (Software) Engineering Diagrams 2007

Volume 6: Graph Transformation and Visual Modeling Techniques 2007

2006

Volume 5: OCL for (Meta-)Models in Multiple Application Domains 2006

Volume 4: Graph and Model Transformation 2006

Volume 3: Software Evolution through Transformations 2006

Volume 2: Petri Nets and Graph Transformations

Volume 1: Graph Based Tools 2006

1 - 44 of 44 Items

ISSN: 1863-2122