„graph transformations“

Suchergebnisse

1.000+ Treffer

• Graph-Transformations in Computer Science (Dagstuhl Seminar 9301)
  Courcelle, Bruno ; Ehrig, Hartmut ; Rozenberg, Grzegorz ; Schneider, Hans Jürgen 1992 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• BXtendDSL at Work: Combining Declarative and Imperative Programming of Bidirectional Model Transformations
  Buchmann, Thomas ; Bank, Matthias ; Westfechtel, Bernhard
• Cover Feature: Architecture Transformations of Ultrahigh Areal Capacity Air Cathodes for Lithium‐Oxygen Batteries (Batteries & Supercaps 1/2021)
  Greenburg, Louisa C. ; Plaza‐Rivera, Christian O. ; Kim, Jae‐Woo ; Connell, John W. ; Lin, Yi
• Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
  Becker, Basil ; Giese, Holger 2012 Universität Potsdam
• Real-time correction of panoramic images using hyperbolic Möbius transformations
  Peñaranda, Luis ; Velho, Luiz ; Sacht, Leonardo
• Analysis and Correctness of Algebraic Graph and Model Transformations
  2011 Vieweg+Teubner
• Grafisch notierte Modell-zu-Modell-Transformationen für den Entwurf eingebetteter elektronischer Systeme
  Reichmann, Clemens 2005 Shaker
• Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development
  Schairer, Axel 2006 Shaker
• Instant Storyboarding – immediate visualization of ontology learning for acceptance tests with graph transformations in web applications
  Dreyer, Jörn Friedrich 2015 Universitätsbibliothek Kassel
• Coupled Transformations of Graph Structures applied to Model Migration
  Mantz, Florian ; Taentzer, Gabriele 2014 Philipps-Universität Marburg
• Formal modelling and application of graph transformations in the resource description framework
  Braatz, Benjamin
• Transformations of specifications and proofs to support an evolutionary formal software development
  Schairer, Axel
• Dynamic software architectures – a style based modeling and refinement technique with graph transformations
  Thöne, Sebastian
• Constructing mobile agents using transformations
  Braun, Oliver
• Implementation funktionaler Programmiersprachen durch Quelltexttransformation
  Maćoš, Dragan
• Teaching transformations in computer graphics with support from an interactive tool
  Felkel, Petr ; Magana, Alejandra J ; Sloup, Jaroslav ; Boček, Jiří
• Applications of Graph Transformations with Industrial Relevance – International Workshop, AGTIVE’99 Kerkrade, The Netherlands, September 1–3, 1999 Proceedings
  Nagl, Manfred 2003 Springer International Publishing
• Differentiated non-differentiation: A diagrammatical approach to the trialectics of difference – from mono-dialectics to mono-trialectics
  Mortier, Thierry
• Fundamental Approaches to Software Engineering – 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
  Gnesi, Stefania ; Rensink, Arend 2014 Springer Berlin Heidelberg
• Theory and Practice of Model Transformations – 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings
  Duddy, Keith ; Kappel, Gerti 2013 Springer Berlin Heidelberg