Shekoufeh Kolahdouz Rahimi

Orcid: 0000-0002-0566-5429

According to our database1, Shekoufeh Kolahdouz Rahimi authored at least 61 papers between 2010 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Ant-colony optimization for automating test model generation in model transformation testing.
J. Syst. Softw., February, 2024

Comparative Evaluation of NLP Approaches for Requirements Formalisation.
Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, 2024

2023
Distributed RMI-DBG model: Scalable iterative de Bruijn graph algorithm for short read genome assembly problem.
Expert Syst. Appl., December, 2023

An influences-adapted two-phase approach to stance detection in the diachronic perspective.
Expert Syst. Appl., November, 2023

Program abstraction by transformation: Abstraction of Visual Basic to UML.
Proceedings of the Post Proceedings of the STAF 2023 Workshops TTC 2023, 2023

Requirement Formalisation Using Natural Language Processing and Machine Learning: A Systematic Review.
Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, 2023

Towards Generating Structurally Realistic Models by Generative Adversarial Networks.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Faciliter la migration vers une architecture microservices : Approche basée sur la rétroingénierie dirigée par les modèles et l'apprentissage par renforcement.
Proceedings of the Actes du XLI Congrès INFORSID, La Rochelle, France, May 30, 2023

An Ontology-based Approach to Facilitate Semantic Interoperability of Context-Aware Systems.
Proceedings of the 28th International Computer Conference, Computer Society of Iran, 2023

2022
Model Transformation Development Using Automated Requirements Analysis, Metamodel Matching, and Transformation by Example.
ACM Trans. Softw. Eng. Methodol., 2022

Introduction to the theme section on Agile model-driven engineering.
Softw. Syst. Model., 2022

Facilitating the migration to the microservice architecture via model-driven reverse engineering and reinforcement learning.
Softw. Syst. Model., 2022

Formalizing model transformation patterns.
J. Softw. Evol. Process., 2022

OCL libraries for software specification and representation.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2021
Implementing QVT-R via semantic interpretation in UML-RSDS.
Softw. Syst. Model., 2021

RMI-DBG algorithm: A more agile iterative de Bruijn graph algorithm in short read genome assembly.
J. Bioinform. Comput. Biol., 2021

A model-driven framework for developing android-based classic multiplayer 2D board games.
Autom. Softw. Eng., 2021

A DSL for Encoding Models for Graph-Learning Processes.
Proceedings of the STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, 2021

Synthesis of mobile applications using AgileUML.
Proceedings of the ISEC 2021: 14th Innovations in Software Engineering Conference, 2021

Extending OCL with Map and Function Types.
Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021

2020
Technical debt in procedural model transformation languages.
J. Comput. Lang., 2020

A comparison of quality flaws and technical debt in model transformation specifications.
J. Syst. Softw., 2020

SEET: Symbolic Execution of ETL Transformations.
J. Syst. Softw., 2020

<i>TL</i>: an abstract specification language for bidirectional transformations.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2019
Leveraging product line engineering for the development of domain-specific metamodeling languages.
J. Comput. Lang., 2019

Declarative Specification of Bidirectional Transformations Using Design Patterns.
IEEE Access, 2019

Simplified Specification Languages for Flexible and Agile Modelling.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

2018
A survey of model transformation design patterns in practice.
J. Syst. Softw., 2018

EVL+Strace: a novel bidirectional model transformation approach.
Inf. Softw. Technol., 2018

Solving the Quality-based Software-Selection and Hardware-Mapping Problem with ACO.
Proceedings of the 11th Transformation Tool Contest, 2018

The Impact of Integrating Agile Software Development and Model-Driven Development: A Comparative Case Study.
Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, 2018

Comparative case studies in agile model-driven development.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

Technical Debt in Model Transformation Specifications.
Proceedings of the Theory and Practice of Model Transformation, 2018

2017
Solving the State Elimination Case Study Using Epsilon.
Proceedings of the 10th Transformation Tool Contest (TTC 2017), 2017

Solving the Families to Persons Case Using EVL+Strace.
Proceedings of the 10th Transformation Tool Contest (TTC 2017), 2017

Translating UML-RSDS OCL to ANSI C.
Proceedings of the Software Technologies: Applications and Foundations, 2017

A Survey of Model Transformation Design Pattern Usage.
Proceedings of the Theory and Practice of Model Transformation, 2017

2016
Solving the Class Responsibility Assignment Case with UML-RSDS.
Proceedings of the 9th Transformation Tool Contest, 2016

2015
A framework for model transformation verification.
Formal Aspects Comput., 2015

Model Transformation Semantic Analysis by Transformation.
Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations (STAF 2015), 2015

2014
Model-Transformation Design Patterns.
IEEE Trans. Software Eng., 2014

Correct-by-construction synthesis of model transformations using transformation patterns.
Softw. Syst. Model., 2014

Evaluation of model transformation approaches for model refactoring.
Sci. Comput. Program., 2014

Language-Independent Model Transformation Verification.
Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, 2014

2013
A comparative study of model transformation approaches through a systematic procedural framework and goal question metrics paradigm.
PhD thesis, 2013

Constraint-based specification of model transformations.
J. Syst. Softw., 2013

Case study: Class diagram restructuring.
Proceedings of the Proceedings Sixth Transformation Tool Contest, 2013

Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS.
Proceedings of the Proceedings Sixth Transformation Tool Contest, 2013

Optimising Model-transformations using Design Patterns.
Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

2012
Comparative Evaluation of Model Transformation Specification Approaches.
Int. J. Softw. Informatics, 2012

Model Transformation Specification and Design.
Adv. Comput., 2012

Synthesis of Software from Logical Constraints.
Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

2011
Slicing Techniques for UML Models.
J. Object Technol., 2011

Saying Hello World with UML-RSDS - A Solution to the 2011 Instructive Case
Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Solving the TTC 2011 Model Migration Case with UML-RSDS
Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Model-Driven Development of Model Transformations.
Proceedings of the Theory and Practice of Model Transformations, 2011

A Model-Based Development Approach for Model Transformations.
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

2010
Slicing of UML Models Using Model Transformations.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

Specification and Verification of Model Transformations Using UML-RSDS.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Specification of UML Model Transformations.
Proceedings of the Third International Conference on Software Testing, 2010

Slicing of UML Models.
Proceedings of the ICSOFT 2010, 2010


  Loading...