„program transformations“

Suchergebnisse

254 Treffer

• Finding space time transformations for uniform recurrences via branching parametric linear programming
  Zimmermann, Karl-Heinz ; Achtziger, Wolfgang 1996 Inst. für Angewandte Mathematik
• Design of sustainable solutions for process visualization in industrial automation with model-driven software development
  Hennig, Stefan 2012 Vogt
• Generierung domänenspezifischer Transformationssprachen
  Weisemöller, Ingo 2012 Shaker
• Logic-based program synthesis and transformation – 21st international symposium ; revised selected papers
  Vidal, Germán 2012 Springer
• Theory and practice of model transformations – 5th international conference ; proceedings
  Hu, Zhenjiang ; Lara, Juan ˜deœ 2012 Springer
• Strategies to facilitate implementation and sustainability of large system transformations: a case study of a national program for improving quality of care for elderly people
  Nyström, Monica Elisabeth ; Strehlenert, Helena ; Hansson, Johan ; Hasson, Henna
• A functional, comprehensive and extensible multi-platform querying and transformation approach
  Horn, Tassilo 2016 Logos Verlgag Berlin GmbH
• Assessing and improving quality of QVTo model transformations
  Gerpheide, Christine M. ; Schiffelers, Ramon R. H. ; Serebrenik, Alexander
• Foundations for Streaming Model Transformations by Complex Event Processing
  Dávid, István ; Ráth, István ; Varró, Dániel
• Using transformations to verify parallel programs
  Olderog, Ernst-Rüdiger ; Apt, Krzysztof R. 1990 Fachbereich Informatik der Univ.
• Case-based exploration of bidirectional transformations in QVT Relations
  Westfechtel, Bernhard
• An algorithm for constructing Darboux transformations of type I for third-order hyperbolic operators of two variables
  Shemyakova, Ekaterina
• Towards Systematic Parallelization of Graph Transformations Over Pregel
  Tung, Le-Duc ; Hu, Zhenjiang
• Collaborative Transformations in Foster Care – Teaching-learning as a developmental tool in a residential program
  Vianna, Eduardo 2009 VDM Verlag Dr. Müller
• A simple calculus for program transformations – (inclusive of induction)
  Pepper, Peter 1984 Bibliothek der Fak. für Mathematik und Informatik, TUM
• Formal program construction by transformations computer aided, intuition guided programming
  Bauer, Friedrich L. 1988 Bibliothek d. Fak. für Mathematik u. Informatik, TUM
• A survey of the project CIP – computer-aided, intuition-guided programming, wide spectrum language and program transformations
  Möller, Bernhard 1984 Bibliothek d. Fak. für Mathematik u. Informatik, TUM
• From mining to mapping and roundtrip transformations – a systematic approach to model-based tool integration
  Wimmer, Manuel 2010 IOS Press
• Program transformations and their semi-automatic composition – a pragmatic approach to invasive middleware application engineering
  Schmied, Andreas Ingmar
• Proofs of program properties via unfold, fold transformations of constraint logic programs
  Pettorossi, Alberto ; Proietti, Maurizio ; Senni, Valerio 2006 [Internat. Begegnungs- und Forschungszentrum für Informatik]