Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Archived » M2M (model-to-model transformation) » compile-time certification of m2m transformations
compile-time certification of m2m transformations [message #94175] Fri, 31 October 2008 09:54
Miguel Garcia is currently offline Miguel GarciaFriend
Messages: 77
Registered: July 2009
Member
Hi,

I recently presented a paper on QVT-Relations at the MDSD Today workshop
(http://mdsd08.techjava.de). If you follow developments on automated
verification or testing of m2m transformations you might want to take a
look.

Slides:
http://www.sts.tu-harburg.de/~mi.garcia/slides/20081016QVTRe lations.pdf

PDF:
http://www.sts.tu-harburg.de/~mi.garcia/pubs/2008/qvtr/QVTRe lationsFormalization.pdf



Miguel
http://www.sts.tu-harburg.de/~mi.garcia/
Previous Topic:[ATL] Where can I download the library for model handler?
Next Topic:[ATL] Helper Not producing desired result
Goto Forum:
  


Current Time: Thu Mar 28 14:27:47 GMT 2024

Powered by FUDForum. Page generated in 0.02495 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top