shekoufeh kolahdouz-rahimi
shekoufeh kolahdouz-rahimi
Verified email at eng.ui.ac.ir - Homepage
TitleCited byYear
Model-transformation design patterns
K Lano, S Kolahdouz-Rahimi
IEEE Transactions on Software Engineering 40 (12), 1224-1259, 2014
542014
Model-driven development of model transformations
K Lano, S Kolahdouz-Rahimi
International Conference on Theory and Practice of Model Transformations, 47-61, 2011
502011
Evaluation of model transformation approaches for model refactoring
S Kolahdouz-Rahimi, K Lano, S Pillay, J Troya, P Van Gorp
Science of Computer Programming 85, 5-40, 2014
492014
Constraint-based specification of model transformations
K Lano, S Kolahdouz-Rahimi
Journal of Systems and Software 86 (2), 412-436, 2013
472013
Slicing of UML models using model transformations
K Lano, S Kolahdouz-Rahimi
International Conference on Model Driven Engineering Languages and Systems …, 2010
452010
Specification and verification of model transformations using UML-RSDS
K Lano, S Kolahdouz-Rahimi
International Conference on Integrated Formal Methods, 199-214, 2010
412010
Slicing techniques for UML models.
K Lano, SK Rahimi
Journal of Object Technology 10 (11), 1-49, 2011
312011
Comparative evaluation of model transformation specification approaches
K Lano, S Kolahdouz-Rahimi, I Poernomo
International Journal of Software and Informatics 6 (2), 233-269, 2012
292012
A framework for model transformation verification
K Lano, T Clark, S Kolahdouz-Rahimi
Formal Aspects of Computing 27 (1), 193-235, 2015
252015
Comparing verification techniques for model transformations
K Lano, S Kolahdouz-Rahimi, T Clark
Proceedings of the Workshop on Model-Driven Engineering, Verification and …, 2012
212012
Correct-by-construction synthesis of model transformations using transformation patterns
K Lano, S Kolahdouz-Rahimi, I Poernomo, J Terrell, S Zschaler
Software & Systems Modeling 13 (2), 873-907, 2014
162014
Case study: Class diagram restructuring
K Lano, SK Rahimi
arXiv preprint arXiv:1309.0369, 2013
162013
Optimising Model-transformations using Design Patterns.
K Lano, SK Rahimi
MODELSWARD, 77-82, 2013
112013
A model-based development approach for model transformations
S Kolahdouz-Rahimi, K Lano
International Conference on Fundamentals of Software Engineering, 48-63, 2011
112011
Migration case study using UML-RSDS
K Lano, S Kolahdouz-Rahimi
Proceedings of TTC, 2010
112010
Model migration transformation specification in UML-RSDS
K Lano, S Kolahdouz-Rahimi
In TTC’10: Transformation Tool Contest, 2010. and Model Transformation Tools …, 2010
102010
Language-independent model transformation verification
K Lano, S Kolahdouz-Rahimi, T Clark
CEUR, 2014
82014
Design patterns for model transformations
K Lano, S Kolahdouz-Rahimi
Proc. 6th Int. Conf. Softw. Eng. Adv., 263-268, 2011
82011
Specification of the GMF migration case study
K Lano, S Kolahdouz-Rahimi
Transformation Tool Contest (TTC), 2011
82011
A survey of model transformation design pattern usage
K Lano, S Kolahdouz-Rahimi, S Yassipour-Tehrani, M Sharbaf
International Conference on Theory and Practice of Model Transformations …, 2017
72017
The system can't perform the operation now. Try again later.
Articles 1–20