ISIS Publications | Institute for Software Integrated Systems

ISIS Publications

List
Filter

Export 3 results:

Sort by: Author Title [ Type

] Year

Filters: Author is Ethan K. Jackson [Clear All Filters]

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)

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.