Model Transformation Specification and Verification

@article{Lano2008ModelTS,
  title={Model Transformation Specification and Verification},
  author={Kevin Lano and David J Clark},
  journal={2008 The Eighth International Conference on Quality Software},
  year={2008},
  pages={45-54}
}
Model transformations are becoming increasingly important in software development, particularly as part of model-driven development approaches (MDD). This paper defines an approach for specifying transformations as constraints, and for verifying the correctness of these transformations. 
Highly Cited
This paper has 21 citations. REVIEW CITATIONS
11 Extracted Citations
10 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-10 of 11 extracted citations

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 10 references

Formalising Design Patterns as Model Transformations

  • K. Lano
  • Chapter VIII of Design Pattern Formalisation…
  • 2007
2 Excerpts

Core J2EE Patterns

  • J Crupi, D Alur, D Malks
  • Prentice Hall
  • 2001
1 Excerpt

et al

  • D. Bämer
  • Role Object, Pattern Languages of Program Design…
  • 2000
2 Excerpts

Patterns in Java

  • M. Grand
  • Wiley
  • 1998
3 Excerpts

Similar Papers

Loading similar papers…