„program transformations“

Suchergebnisse

254 Treffer

• Guest editorial to the special section on ECMFA and ICMT at STAF 2016 – Modeling and model transformations research in 2016
  Gorp, Pieter Van ; Wąsowski, Andrzej
• Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations
  Debreceni, Csaba ; Bergmann, Gábor ; Ráth, István ; Varró, Dániel
• First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2014) : [frontmatter, table of contents, preface, workshop organization]
  2014 Universitätsbibliothek Johann Christian Senckenberg
• Einführung von Vertragsfreiheit in die gesetzliche Krankenversicherung – integrierte Versorgung, Disease-Management-Programme und andere Formen "abweichenden Kontrahierens" auf dem transformationsökonomischen Prüfstand
  Sundmacher, Torsten 2006 Verl. PCO
• Interval linear programming under transformations: optimal solutions and optimal value range
  Garajová, Elif ; Hladík, Milan ; Rada, Miroslav
• Incremental execution of model-to-text transformations using property access traces
  Ogunyomi, Babajide ; Rose, Louis M. ; Kolovos, Dimitrios S.
• Slicing ATL model transformations for scalable deductive verification and fault localization
  Cheng, Zheng ; Tisi, Massimo
• Resolving the GPU responsiveness dilemma through program transformations
  Zhu, Qi ; Wu, Bo ; Shen, Xipeng ; Shen, Kai ; Shen, Li ; Wang, Zhiying
• Stack inspection and secure program transformations
  Bartoletti, Massimo ; Degano, Pierpaolo ; Ferrari, Gian Luigi
• Querying distilled code changes to extract executable transformations
  Stevens, Reinout ; Molderez, Tim ; Roover, Coen De
• Extracting the Essential Cartographic Functionality of Programs on the Web
  Ledermann, Florian
• Fundamental approaches to software engineering – 17th international conference ; proceedings
  Gnesi, Stefania ; Rensink, Arend 2014 Springer
• Applications of graph transformations with industrial relevance – second international workshop ; revised selected and invited papers
  Pfaltz, John L. 2004 Springer
• Reasoning about program transformations – imperative programming and flow of data
  Collard, Jean-François 2003 Springer
• Les divisions de la ville – préparé dans le cadre du programme de l'Unesco Gestion des Transformations Sociales (MOST)
  Topalov, Christian 2002 Ed. Unesco
• Nommer les nouveaux territoires urbains – préparé dans le cadre du programme de l'Unesco Gestion des Transformations Sociales (MOST)
  Rivière d'Arc, Hélène 2001 Ed. Unesco
• Rethinking development – putting an end to poverty ; Management of Social Transformations (MOST) Programme
  Bartoli, Henri 2000 Ed. Unesco
• Volume driven selection of loop and data transformations for cache coherent parallel processors
  Slowik, Adrian
• Repenser le développement – en finir avec la pauvreté ; Programme "Gestion des Transformations Sociales" (MOST)
  Bartoli, Henri 1999 Ed. Unesco
• Reasoning About Program Transformations – Imperative Programming and Flow of Data
  Collard, Jean-François 2004 Springer New York