Software Process Improvement and Formal Methods

Submitted by francisco.grimaldi on Tue, 07/07/2020 - 09:22
University
Faculty/school/department
ESCUELA SUPERIOR DE INGENIERIA / INGENIERIA INFORMATICA
Size of the team
number of researchers number of supporting staff number of PhD students
17
0
0
PI
PI name
RUIZ CARREIRA MERCEDES
PI bio

Mercedes Ruiz holds a Ph.D. in Computer Engineering from the University of Seville since 2003. Since 1996, she is a professor in the area of Computer Languages and Systems, working in the Department of Computer Science and Engineering at the University of Cadiz. She has been responsible for numerous subjects and her teaching is centered on subjects related to software quality, software project management, and advanced database technologies. At the research level, she is the director of the Research Group on Software Process Improvement and Formal Methods since its creation in 2004, funded under the Andalusian Plan for Research, Development and Innovation. She has participated in various regional, national, and European research projects. She has been the main researcher of projects of the National Plan of R+D+I continuously since 2007. Her research focuses on the application of multi-method simulation for process improvement in the areas of Software Engineering, Usability Engineering, and IT Service Management. Her research interests also include the application of gamification strategies to improve motivation and engagement in the educational and professional domains. She has directed four doctoral theses on these topics and is currently supervising another two. Her research results have been presented at numerous national and international conferences and have been published in journals such as Decision Support Systems, Information and Software Technology, and Computers & Education. She serves as a reviewer for high-impact journals such as Decision Support Systems, Journal of Management Information, Journal of Systems and Software, Learning and Instruction and Computer Standards and Interfaces, among others. Her curriculum also includes extensive experience in university management. At the University of Cadiz, she was the Head of the Department of Computer Languages and Systems from 2004 to 2008, Director of the Doctoral Program of the School of Engineering from 2005 to 2008, and Director of the University for the Elderly from 2008 to 2011. She has participated in the organization of international scientific events as a member of the program committee. She chaired the first edition of the International Conference on Software Product and Process Measurement (Mensura) and the SISTEDES 2014 Conference. She regularly participates as a member of research projects evaluation committees for the National Agency of Project Evaluation and technical commissions of the Spanish ministries with competence in research.

Contact person and e-mail
Contact person
RUIZ CARREIRA MERCEDES
Contact person e-mail
WWW
Short description of research profile

Gamification
Educational Information Technology
Software Engineering
Business Process Engineering
Multi-method Simulation

Scientific Themes (keywords)
Publications

Representative publications

Software Process Simulation Modeling: Systematic literature review J.A.García-García, J.G.Enríquez, M. Ruiz, C.Arévalo, A.Jiménez-Ramírez Computer Standards & Interfaces   (2020) Vol: 70. Pgs: 103425- https://doi.org/10.1016/j.csi.2020.103425
Applying static code analysis for domain-specific languages Ruiz Rube, I.,  Person, T.,  Dodero, JM., Mota, JM., Merchán, J. Software and Systems Modeling, 19(1), 95-110, 2020 10.1007/s10270-019-00729-w
Augmented reality mobile app development for all J.M. Mota, I. Ruiz-Rube, JM Dodero, I. Arnedillo-Sánchez Computers and Electrical Engineering Volume 65, January 2018, Pages 250-260 10.1016/j.compeleceng.2017.08.025
Block-Based Development of Mobile Learning Experiences for the Internet of Things Ruiz Rube, I, Person, T. Mota, JM., Rodríguez Corral, JM., Dodero, JM. Sensors, 19(24), 5467, 2019 10.3390/s19245467
MEdit4CEP-Gam: A model-driven approach for user-friendly gamification design, monitoring and code generation in CEP-based systems A. Calderón, J. Boubeta-Puig, M. Ruiz Information and Software Technology Volume 95, March 2018, Pages 238-264 10.1016/j.infsof.2017.11.009

Link to extended list of publication

Technology Expertise

The group's activity is based on three main areas of research:

- Process improvement

The research lines in Process Improvement aim to develop solutions supported by simulation software, machine learning, process automation and robotization, and big data analytics to improve and optimize different types of business processes. The team accumulates more than fifteen years of experience helping to optimize processes and decision-making based on simulation in contexts such as software development processes, information technology management (ITSM), usability engineering, user-centered systems and management, and automation of health processes.

- Educational Information Technology

The lines of research in Educational Information Technology developed by the team are multidisciplinary and aim to develop software technologies for improved learning and creative computing. The team's strengths are focused on the modeling and evaluation of learning processes using computer technologies, including the design and creation of interactive virtual and augmented reality scenarios and the improvement of learning analysis capabilities for computer-based assessment.

- Serious Games and Gamification

The lines of research in Serious Games and Gamification aim at the development of solutions supported by software technologies to improve people’s motivation and engagement. The group has developed different tools that allow gamifying any process supported by software technologies. These tools are in use by different organizations.