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
622014
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
562014
Slicing of UML models using model transformations
K Lano, S Kolahdouz-Rahimi
International Conference on Model Driven Engineering Languages and Systems …, 2010
522010
Model-driven development of model transformations
K Lano, S Kolahdouz-Rahimi
International Conference on Theory and Practice of Model Transformations, 47-61, 2011
502011
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
442010
Slicing techniques for UML models.
K Lano, SK Rahimi
J. Object Technol. 10 (11), 1-49, 2011
322011
A framework for model transformation verification
K Lano, T Clark, S Kolahdouz-Rahimi
Formal Aspects of Computing 27 (1), 193-235, 2015
292015
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
Comparing verification techniques for model transformations
K Lano, S Kolahdouz-Rahimi, T Clark
Proceedings of the Workshop on Model-Driven Engineering, Verification and …, 2012
222012
Case study: Class diagram restructuring
K Lano, SK Rahimi
arXiv preprint arXiv:1309.0369, 2013
162013
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
Optimising Model-transformations using Design Patterns.
K Lano, SK Rahimi
MODELSWARD, 77-82, 2013
132013
Model migration transformation specification in UML-RSDS
K Lano, S Kolahdouz-Rahimi
In TTC’10: Transformation Tool Contest, 2010. and Model Transformation Tools …, 2010
112010
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
Technical debt in model transformation specifications
K Lano, S Kolahdouz-Rahimi, M Sharbaf, H Alfraihi
International Conference on Theory and Practice of Model Transformations …, 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
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
The system can't perform the operation now. Try again later.
Articles 1–20