Search results for: Hartmut Ehrig
Lecture Notes in Computer Science > Graph Transformations > Software Engineering Methods and Tools > 260-274
Lecture Notes in Computer Science > Integration of Software Specification Techniques for Applications in Engineering > Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results > 1-8
Lecture Notes in Computer Science > Fundamentals of Computation Theory > Computation Theory in Category > 245-255
Lecture Notes in Computer Science > Graph Transformations > Borrowed Contexts and Adhesive Categories > 153-167
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Analysis > 383-397
Lecture Notes in Computer Science > Graph Transformations > Execution of Graph Transformations > 194-210
Lecture Notes in Computer Science > Graph Grammars and Their Application to Computer Science > 221-237
Lecture Notes in Computer Science > Graph Transformations > DPO Theory for High-Level Structures > 144-160
Lecture Notes in Computer Science > Graph-Grammars and Their Application to Computer Science > 86-98
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Verification and Testing I > 179-198
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Verification and Validation 2 > 668-682
Lecture Notes in Computer Science > Theory and Application of Graph Transformations > Visual Languages > 252-266
Lecture Notes in Computer Science > Graph Grammars and Their Application to Computer Science > 137-154
Lecture Notes in Computer Science > Graph-Grammars and Their Application to Computer Science > 58-81
Lecture Notes in Computer Science > Architecting Dependable Systems VI > Part 3. Architecting Security > 308-333