Inicio

Ingeniería de Software

Proyecto ESPOL - VLIR, Componentes 8 
SubComponente de Ingeniería de Software

 

MIEMBROS DEL EQUIPO:
 

  • Mónica Villavicencio
  • Carlos Monsalve
  • Carlos Mera-Gómez
  • Luis Eduardo Mendoza

AREAS DE INVESTIGACIÓN:
 

  • Ingeniería de software aplicada a sistemas IoT y sistemas inteligentes.
  • Modelos de colaboración universidad – empresa para la aplicación del conocimiento de la ingeniería de software.
  • Enseñanza universitaria de ingeniería de software.
  • Technical debt and economics-driven software engineering.
  • Self-adaptive software engineering for cloud and green computing.
  • Health informatics.
  • Software verification applied to business processes.
  • Medición de software a partir de modelos conceptuales.
  • Calidad de requerimientos de software.
  • Modelado y verificación del comportamiento de procesos industriales y de negocio.

 
PUBLICACIONES:
 

  • Assessing Smart Contracts Security Technical Debts. The 4th International Conference on Technical Debt (TechDebt 2021), co-located with ICSE 2021 and held virtually (originally in Madrid, Spain).
  • An Empirical Study on Microservice Software Development. The 9th International Workshop on Software Engineering for Systems-of-Systems (SESoS 2021) and the 15th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems (WDES 2021), colocated with ICSE 2021 and held virtually (originally in Madrid, Spain).
  • Technical Debt-Aware Elasticity Management in Cloud Computing Environments. Doctoral Thesis (2019), University of Birmingham.
  • A Multi-Agent Elasticity Management Based on Multi-Tenant Debt Exchanges. The 12th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2018), (Full paper acceptance rate 25%), Trento, Italy.
  • A Debt-Aware Learning Approach for Resource Adaptations in Cloud Elasticity Management. The 15th International Conference on Service-Oriented Computing (ICSOC 2017), (Full paper acceptance rate 18%), Malaga, Spain.
  • A Market-based Approach for Detecting Malware in the Cloud via Introspection. The 15th International Conference on Service-Oriented Computing (ICSOC 2017), Malaga, Spain.
  • Elasticity Debt: A Debt-Aware Approach to Reason About Elasticity Decisions in the Cloud. The 9th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2016), (Full paper acceptance rate 18%), Shanghai, China.
  • Securing Cloud Users at Runtime via a Market Mechanism: A Case for Federated Identity. The 16th IEEE International Conference on High Performance Computing and Communications (HPCC 2014), Paris, France.
  • Application of Formal Methods to Verify Business Processes. 19th Brazilian Symposium on Formal Methods (SBMF 2016), Natal, Brazil.
  • Automatic Verification of Critical Industrial Process with Automata. Revista Técnica de la Facultad de Ingenieria Universidad del Zulia (39), Maracaibo, Venezuela.
  • Formal Verification of Business Processes as Timed Automata. 12th Iberian Conference on Information Systems and Technologies (CISTI 2017), Lisbon, Portugal.
  • Factors for the Development of mHealth Apps - Process Perspective. 15th Iberian Conference on Information Systems and Technologies (CISTI 2020), Lisbon, Portugal.
  • Software Engineering Issues for the Development of mHealth Apps. The 2020 International Conference on Information Technology & System (ICITS 2020), Bogota, Colombia.
  • Systematic Mapping of the Literature on Secure Software Development, IEEE Access, 2021, 9, pp. 36852–36867, 9363884
  • Education Model for Developing IoT and Cloud Mobile Applications, Proceedings - 2020 IEEE World Congress on Services (SERVICES 2020), pp. 251–258, 9284168
  • How is Performance Addressed in DevOps? A Survey on Industrial Practices, Proceedings of the 2019 ACM/SPEC International Conference on Performance Engineering (ICPE 2019), pp. 45–50
  • Insights about Educational Resources for Software Engineers: The Perspective of Ecuadorian Professionals, XXII Ibero-American Conference on Software Engineering (CIbSE 2019), pp. 211–222
  • Application of Methodologies and Process Models in Big Data Projects, ICEIS 2019 - Proceedings of the 21st International Conference on Enterprise Information, 2019, 2, pp. 277–284
  • Methodologies for the Design of Application Frameworks: Systematic Review, 2019 8th International Conference on Software Process Improvement (CIMPS 2019), pp. 1-10, doi: 10.1109/CIMPS49236.2019.9082427.
  • Integrating a Decision Tree Perspective at the Operational-level of BPM+, Computer Systems Science and Engineering, vol. 33, no.3, pp. 219–227, 2018
  • Quality of Inspection of Software Requirements: A Proposed Measurement. Paper presented at the CIBSE 2016 - XIX Ibero-American Conference on Software Engineering, 366-379.
  • Quality in Software Requirements Inspection: A Measurement Proposal. Paper presented at the Anais do WER 2016 - Workshop Em Engenharia De Requisitos

PROYECTOS DE INVESTIGACIÓN:
 

  • Análisis de deuda técnica en la seguridad de sistemas de software basados en blockchain.
  • Análisis estático en sistemas de software basados en microservicios.
  • Software engineering applied to IoT and intelligent systems
  • Modelado y verificación del comportamiento de procesos industriales y de negocio.
  • Factores de éxito para la implementación de servicios de eSalud en las regiones del Guayas (Ecuador) y del Cusco (Perú).