] Filters: Author is Ethan K. Jackson [Clear All Filters]
"Reasoning about Metamodeling with Formal Specifications and Automatic Proofs",
Model Driven Engineering Languages and Systems (MoDELS), vol. 6981, Wellington, New Zealand, Springer, 10/2011.
Abstract
"Reusing Model Transformations While Preserving Properties",
Fundamental Approaches to Software Engineering, vol. 6013: Springer, 04/2010.
"Lost in Translation: Forgetful Semantic Anchoring",
Automated Software Engineering, Auckland, New Zealand, 11/2009.
Abstract
Download: ASE2009.pdf (357.82 KB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering