ISIS Publications

Export 3 results:
Sort by: Author Title [ Type  (Desc)] Year
Filters: Author is Ethan K. Jackson  [Clear All Filters]
Conference Proceedings
Jackson, E. K., T. Levendovszky, and D. Balasubramanian, "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
Jackson, E. K., W. Schulte, D. Balasubramanian, and G. Karsai, "Reusing Model Transformations While Preserving Properties", Fundamental Approaches to Software Engineering, vol. 6013: Springer, 04/2010.
Conference Paper
Balasubramanian, D., and E. K. Jackson, "Lost in Translation: Forgetful Semantic Anchoring", Automated Software Engineering, Auckland, New Zealand, 11/2009. Abstract  Download: ASE2009.pdf (357.82 KB)