„program transformations“

Suchergebnisse

254 Treffer

• Optical Implementation of 2 × 2 Universal Unitary Matrix Transformations
  Macho‐Ortiz, Andrés ; Pérez‐López, Daniel ; Capmany, José
• Using Program Transformations to Provide Safety Properties for Real-Time Systems
  Tsai, Grace ; Wang, Shuhua
• Nonlinear transformations of stochastic processes
  Skorokhod, A. V.
• Das TACIS-Programm und der Transformationsprozess in Osteuropa und Zentralasien
  Menhart, Ursula 2006 GRIN Verlag
• Coupling solvers with model transformations to generate explorable model sets
  Le Calvar, Théo ; Chhel, Fabien ; Jouault, Frédéric ; Saubion, Frédéric
• Using knowledge discovery to propose a two-phase model checking for safety analysis of graph transformations
  Pira, Einollah
• Model-driven engineering city spaces via bidirectional model transformations
  Visconti, Ennio ; Tsigkanos, Christos ; Hu, Zhenjiang ; Ghezzi, Carlo
• MUPPIT: a method for using proper patterns in model transformations
  Panahandeh, Mahsa ; Hamdaqa, Mohammad ; Zamani, Bahman ; Hamou-Lhadj, Abdelwahab
• Transmorphic – mapping direct manipulation to source code transformations
  Schreiber, Robin ; Krahn, Robert ; Ingalls, Daniel H. H. ; Hirschfeld, Robert 2016 Universität Potsdam
• Connecting Knowledge to Data Through Transformations in KnowID: System Description
  Fillottrani, Pablo R. ; Jamieson, Stephan ; Keet, C. Maria
• Joint programming for urban transformations: the making of the JPI Urban Europe Strategic Research and Innovation Agenda
  Bylund, Jonas
• Transmorphic – mapping direct manipulation to source code transformations
  Schreiber, Robin ; Krahn, Robert ; Ingalls, Daniel H. H. ; Hirschfeld, Robert 2017 Universitätsverlag Potsdam
• Multi-criteria test cases selection for model transformations
  Alkhazi, Bader ; Abid, Chaima ; Kessentini, Marouane ; Leroy, Dorian ; Wimmer, Manuel
• Extending single- to multi-variant model transformations by trace-based propagation of variability annotations
  Westfechtel, Bernhard ; Greiner, Sandra
• Sequential Monte Carlo with transformations
  Everitt, Richard G. ; Culliford, Richard ; Medina-Aguayo, Felipe ; Wilson, Daniel J.
• Towers of Hanoi problems: Deriving iterative solutions by program transformations
  Pettorossi, Alberto
• Eliminating Empty Categories – A Radically Minimalist View on Their Ontology and Justification
  Kosta, Peter ; Krivochen, Diego Gabriel 2013 Peter Lang GmbH, Internationaler Verlag der Wissenschaften
• Maintaining consistency in networks of models: bidirectional transformations in the large
  Stevens, Perdita
• Towards the efficient development of model transformations using model weaving and matching transformations
  Didonet Del Fabro, Marcos ; Valduriez, Patrick
• Automating the diagram method to prove correctness of program transformations
  Sabel, David 2018 Universitätsbibliothek Johann Christian Senckenberg