A formal approach to modeling and model transformations in software engineering
暂无分享，去创建一个
Proceedings of Doctoral Symposium held in conjunction with Formal Methods , Turku Centre for Computer Science. Ed. Elena Troubitsyna
[1] Luciano Baresi,et al. Tutorial Introduction to Graph Transformation: A Software Engineering Perspective , 2002, ICGT.
[2] Zinovy Diskin. MATHEMATICS OF UML: Making the Odysseys of UML less dramatic 1 , 2003 .
[4] Zinovy Diskin,et al. The Next Hundred Diagrammatic Specification Techniques — An Introduction to Generalized Sketches — , 2007 .