shekoufeh kolahdouz-rahimi
shekoufeh kolahdouz-rahimi
Verified email at eng.ui.ac.ir - Homepage
Title
Cited by
Cited by
Year
Model-transformation design patterns
K Lano, S Kolahdouz-Rahimi
IEEE Transactions on Software Engineering 40 (12), 1224-1259, 2014
572014
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
532014
Model-driven development of model transformations
K Lano, S Kolahdouz-Rahimi
International Conference on Theory and Practice of Model Transformations, 47-61, 2011
492011
Slicing of UML models using model transformations
K Lano, S Kolahdouz-Rahimi
International Conference on Model Driven Engineering Languages and Systems …, 2010
472010
Constraint-based specification of model transformations
K Lano, S Kolahdouz-Rahimi
Journal of Systems and Software 86 (2), 412-436, 2013
452013
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
342011
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
282012
A framework for model transformation verification
K Lano, T Clark, S Kolahdouz-Rahimi
Formal Aspects of Computing 27 (1), 193-235, 2015
262015
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
152014
Case study: Class diagram restructuring
K Lano, SK Rahimi
arXiv preprint arXiv:1309.0369, 2013
152013
Optimising Model-transformations using Design Patterns.
K Lano, SK Rahimi
MODELSWARD, 77-82, 2013
112013
Migration case study using UML-RSDS
K Lano, S Kolahdouz-Rahimi
Proceedings of TTC, 2010
112010
EVL+ Strace: a novel bidirectional model transformation approach
L Samimi-Dehkordi, B Zamani, S Kolahdouz-Rahimi
Information and Software Technology 100, 47-72, 2018
102018
A model-based development approach for model transformations
S Kolahdouz-Rahimi, K Lano
International Conference on Fundamentals of Software Engineering, 48-63, 2011
102011
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
92014
Goal-oriented measurement of model transformation methods
S Kolahdouz-Rahimi, K Lano, S Pillay, J Troya, P Van Gorp
Sci. Comput. Program, 2012
82012
Design patterns for model transformations
K Lano, S Kolahdouz-Rahimi
Proc. 6th Int. Conf. Softw. Eng. Adv., 263-268, 2011
82011
The system can't perform the operation now. Try again later.
Articles 1–20