Publications in Journals [4] S. Bensch, F. Drewes, H. Jürgensen, B. van der Merwe: Graph transformations for incremental language analysis. Theoret. Comput. Sci), 1–M. Daley, H. Jürgensen, L. Kari,

Source URL: www.csd.uwo.ca

Employing Classifying Terms for Testing Model Transformations

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Software engineering
• Computing
• Engineering
• Software testing
• Systems engineering
• Software design
• Scientific modeling
• Model-based testing
• ECO
• Metamodeling
• Class diagram

Formal verification of a C-like memory model and its uses for verifying program transformations Xavier Leroy () INRIA Paris-Rocquencourt Sandrine Blazy ()

Source URL: www.irisa.fr

STARTING OFF ON THE RIGHT PAW Presented by Pawsitive Transformations, LLC Bob Ryder • • www.pawstrans.com Congratulations on opening your home to your newest family member! We hope thi

Source URL: www.pawstrans.com

Composing Dataflow Analyses and Transformations Sorin Lerner David Grove Craig Chambers Univ. of Washington IBM T.J. Watson Research Center

Source URL: cri.ensmp.fr

EASTERN CHRISTIANITY IN NORTH AMERICAN RELIGIOUS LANDSCAPE: ETHNIC TRADITIONALISM VERSUS CIVIC INVOLVEMENT AND SOCIAL TRANSFORMATIONS. By Alexey D. Krindatch (E-mail: ) Fr. John Meyendorff (Orthodox Chu

Source URL: www.hartfordinstitute.org

Yale University Department of Music Perceived Triad Distance: Evidence Supporting the Psychological Reality of Neo-Riemannian Transformations Author(s): Carol L. Krumhansl Source: Journal of Music Theory, Vol. 42, No. 2

Source URL: music.psych.cornell.edu

Towards an Open Set of Real-World Benchmarks for Model Queries and Transformations Amine Benelellam Massimo Tisi

Source URL: ceur-ws.org

Engineering CPS transformations Matthias Puech Complogic seminar, McGill University August 8, 2014

Source URL: www.pps.univ-paris-diderot.fr

Transformations Hadley Wickham October 2009 1. US baby names data 2. Transformations

Source URL: courses.had.co.nz