Jeffrey Terrell

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Statistical Model

Experimental Data

Top Venues

Softw. Syst. Model.

Publications

Kevin Lano, Shekoufeh Kolahdouz Rahimi, Iman Poernomo, Jeffrey Terrell, Steffen Zschaler
Correct-by-construction synthesis of model transformations using transformation patterns. Softw. Syst. Model. 13 (2) (2014)
Maribel Fernández, Jeffrey Terrell
Assembling the Proofs of Ordered Model Transformations FESCA (2013)
Iman Poernomo, Jeffrey Terrell
Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq. ICFEM (2010)