Luis Eduardo Mendoza

According to our database, Luis Eduardo Mendoza authored at least 65 papers between 2001 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Software Engineering Issues for the Development of mHealth Apps.

Lornel Rivas, Cristhian Ganvini, Luis Eduardo Mendoza

Proceedings of the Information Technology and Systems, 2020

2019

Application of Methodologies and Process Models in Big Data Projects.

Rosa Quelal, Luis Eduardo Mendoza, Mónica Villavicencio

Proceedings of the 21st International Conference on Enterprise Information Systems, 2019

2017

A methodological approach for checking safety-critical systems software.

Luis Eduardo Mendoza, Manuel I. Capel

Int. J. Crit. Comput. Based Syst., 2017

2016

Application of Formal Methods to Verify Business Processes.

Luis E. Mendoza Morales, Carlos Monsalve, Mónica Villavicencio

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

Checking Critical Software Systems: A Formal Proposal.

Luis E. Mendoza Morales, Manuel I. Capel

Proceedings of the 10th International Conference on the Quality of Information and Communications Technology, 2016

2014

Choreography Modeling Compliance for Timed Business Models.

Manuel I. Capel, Luis Eduardo Mendoza

Proceedings of the Enterprise and Organizational Modeling and Simulation, 2014

2013

Business process verification using a Formal Compositional Approach and Timed Automata.

Luis E. Mendoza Morales

Proceedings of the 2013 XXXIX Latin American Computing Conference (CLEI), 2013

2012

Conceptual framework for business processes compositional verification.

Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez

Inf. Softw. Technol., 2012

Automating the Transformation from BPMN Models to CSP+T Specifications.

Manuel I. Capel, Luis Eduardo Mendoza

Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

A Formal Compositional Verification Approach for Safety-Critical Systems Correctness - Model-Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software.

Manuel I. Capel, Luis E. Mendoza Morales

Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012

2011

Implementing a Transformation from BPMN to CSP+T with ATL: Lessons Learnt.

Aleksander González, Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez

Proceedings of the IVM, FTMDD, RTSOABIS & MSVVEIS 2011, 2011

BTRANSFORMER - A Tool for BPMN to CSP+T Transformation.

Aleksander González, Luis E. Mendoza Morales, Manuel I. Capel, María A. Pérez, Edumilis Maria Méndez, Kenyer Domínguez

Proceedings of the ICEIS 2011, 2011

2010

Compositional Verification of Business Processes by Model-Checking.

Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez

Proceedings of the Modelling, 2010

Software Quality Management FLOSS Tools Evaluation.

María A. Pérez, Edumilis Maria Méndez, Kenyer Domínguez, Luis Eduardo Mendoza, Cynthia De Oliveira

Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 1, DISI, Funchal, Madeira, Portugal, June 8, 2010

Quality Measurement Model for Requirements Engineering Floss Tools.

María A. Pérez, Edumilis Maria Méndez, Kenyer Domínguez, Luis Eduardo Mendoza

Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8, 2010

A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes.

Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez

Proceedings of the Enterprise Information Systems - 12th International Conference, 2010

Compositional Verification of Business Processes Modelled with BPMN.

Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez

Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8, 2010

2009

Modelo basado en características para identificar modelos de integración de aplicaciones empresariales. Estudios de caso en Venezuela.

Luis Eduardo Mendoza, María A. Pérez, Irina Titaeva

Rev. Avances en Sistemas Informática, 2009

Selección de Herramientas para la Gestión de Proyectos de Software en Pequeñas y Medianas Empresas.

Lornel Rivas, María A. Pérez, Luis Eduardo Mendoza, Anna Grimán

Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

Toward a Quality Model for CBSE - Conceptual Model Proposal.

María A. Reyes, Maryoly Ortega, María A. Pérez, Anna Grimán, Luis Eduardo Mendoza, Kenyer Domínguez

Proceedings of the ICEIS 2009, 2009

Applicability of ISO/IEC 9126 for the Selection of Floss Tools.

María A. Pérez, Kenyer Domínguez, Edumilis Maria Méndez, Luis Eduardo Mendoza

Proceedings of the ICEIS 2009, 2009

Automatic Compositional Verification of Business Processes.

Luis E. Mendoza Morales, Manuel I. Capel

Proceedings of the Enterprise Information Systems, 11th International Conference, 2009

2008

Automatic verification of business process integrity.

Manuel I. Capel Tuñón, Luis E. Mendoza Morales, Kawtar Benghazi Akhlaki

Int. J. Simul. Process. Model., 2008

Towards the Correctness Verifcation of Business Processes Modelled with UML.

Luis Eduardo Mendoza, Manuel I. Capel, Kawtar Benghazi Akhlaki

Proceedings of the XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008), 2008

Agilidad y disciplina en el Proceso de Desarrollo de Software para PyMES y Cooperativas en Latinoamérica: CASO VENEZUELA.

George Di Paula, Dakar Parada, María A. Pérez, Luis Eduardo Mendoza

Proceedings of the VII Jornadas Iberoamericanas de Ingeniería de Software e Ingeniería del Conocimiento 2008, Guayaquil, Ecuador, January 30, 2008

Towards a Selection Model for Software Engineering Tools in Small and Medium Enterprises (SMEs).

Lornel Rivas, María A. Pérez, Luis Eduardo Mendoza, Anna Grimán

Proceedings of the Third International Conference on Software Engineering Advances, 2008

Selection Criteria for Software Development Tools for SMEs - SMEs and Cooperatives in Venezuela.

Lornel Rivas, María A. Pérez, Luis Eduardo Mendoza, Anna Grimán

Proceedings of the ICEIS 2008, 2008

A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems.

Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez, Kawtar Benghazi Akhlaki

Proceedings of the ICEIS 2008, 2008

Compositional Model-Checking Verification of Critical Systems.

Luis E. Mendoza Morales, Manuel I. Capel, María A. Pérez, Kawtar Benghazi Akhlaki

Proceedings of the Enterprise Information Systems, 10th International Conference, 2008

Support Disciplines for Systems Development in SMEs - A Conceptual Map.

Luis Eduardo Mendoza, María A. Pérez, Edumilis Maria Méndez, Wilfredo Báez

Proceedings of the ICEIS 2008, 2008

Critical Success Factors to Evaluate Information Technology Outsourcing Projects.

Edumilis Maria Méndez, María A. Pérez, Luis Eduardo Mendoza, Maryoly Ortega

Proceedings of the ICEIS 2008, 2008

ITO-Tracker - A Tool for Evaluating ITO Projects based on Critical Success Factors.

Edumilis Maria Méndez, María A. Pérez, Luis Eduardo Mendoza, Maryoly Ortega

Proceedings of the ICEIS 2008, 2008

Improving Software Test Strategy with a Method to Specify Test Cases (MSTC).

Edumilis Maria Méndez, María A. Pérez, Luis Eduardo Mendoza

Proceedings of the ICEIS 2008, 2008

Context-Oriented Web Methodology with a Quality Approach.

Anna Grimán, María A. Pérez, Maryoly Ortega, Luis Eduardo Mendoza

Proceedings of the ICEIS 2008, 2008

Quality Measurement Model for Analysis and Design Tools Based on FLOSS.

O. Alfonzo, Kenyer Domínguez, Lornel Rivas, María A. Pérez, Luis Eduardo Mendoza, Maryoly Ortega

Proceedings of the 19th Australian Software Engineering Conference (ASWEC 2008), 2008

2007

A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models.

Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales

Sci. Comput. Program., 2007

Critical success factors for a customer relationship management strategy.

Luis Eduardo Mendoza, Alejandro Marius, María A. Pérez, Anna Grimán

Inf. Softw. Technol., 2007

An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T.

Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales

Proceedings of the Modelling, 2007

Reuse Strategy based on Quality Certification of Reusable Components.

Maryoly Ortega, Anna Grimán, María A. Pérez, Luis Eduardo Mendoza

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2007

R-Tool: A Supporting Tool for a Quality Oriented Reuse Strategy.

Maryoly Ortega, Anna Grimán, María A. Pérez, Luis Eduardo Mendoza

Proceedings of the ICEIS 2007, 2007

Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics.

Luis E. Mendoza Morales, Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki

Proceedings of the ICEIS 2007, 2007

A metrics proposal to evaluate software internal quality with scenarios.

Anna Grimán, María A. Pérez, Maryoly Ortega, Luis Eduardo Mendoza

Proceedings of the ICEIS 2007, 2007

A method proposal for architectural reliability evaluation.

Anna Grimán, María A. Pérez, Luis Eduardo Mendoza, Edumilis Maria Méndez

Proceedings of the ICEIS 2007, 2007

Towards UML-RT Behavioural Consistency.

Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales

Proceedings of the ICEIS 2007, 2007

Quality Evaluation of Economic Decision-Making Support Systems: Oil Industry Case.

Edumilis Maria Méndez, María A. Pérez, Luis Eduardo Mendoza

Proceedings of the Reaching New Heights. 13th Americas Conference on Information Systems, 2007

2006

From Logical Regulatory Graphs to Standard Petri Nets: Dynamical Roles and Functionality of Feedback Circuits.

Elisabeth Remy, Paul Ruet, Luis Eduardo Mendoza, Denis Thieffry, Claudine Chaouiya

Trans. Comp. Sys. Biology, 2006

Feature analysis for architectural evaluation methods.

Anna Grimán, María A. Pérez, Luis Eduardo Mendoza, Francisca Losavio

J. Syst. Softw., 2006

Critical Success Factors for Managing Systems Integration.

Luis Eduardo Mendoza, María A. Pérez, Anna Grimán

Inf. Syst. Manag., 2006

Tailoring RUP for LMS Selection: A Case Study.

Luis Eduardo Mendoza, María A. Pérez, Gabriela Díaz-Antón, Anna Grimán

CLEI Electron. J., 2006

Quality in Development Process for Software Factories According to ISO 15504.

Kenyer Domínguez, María A. Pérez, Luis Eduardo Mendoza, Anna Grimán

CLEI Electron. J., 2006

Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models.

Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales

Proceedings of the Modelling, 2006

A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification.

Manuel I. Capel, Luis E. Mendoza Morales, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza

Proceedings of the XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), 2006

Ontology proposal for quality oriented reuse.

Pamela Ghiotto, Maryoly Ortega, Anna Grimán, Luis Eduardo Mendoza, María A. Pérez

Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, 2006

UML-Based Business Process Reengineering (BPR-UML) Applied to IT Outsourcing.

Edumilis Maria Méndez, Luis Eduardo Mendoza, María A. Pérez, Anna Grimán

Proceedings of the ICEIS 2006, 2006

Methodological Guidelines for SQA in Development Process - An Approach Based on the SPICE Model.

Anna Grimán, María A. Pérez, Luis Eduardo Mendoza

Proceedings of the ICEIS 2006, 2006

Towards a Maintainability Evaluation in Software Architectures.

Anna Grimán, Luisana Chávez, María A. Pérez, Luis Eduardo Mendoza, Kenyer Domínguez

Proceedings of the ICEIS 2006, 2006

Modelo para estimar la calidad en los Sistemas de Información Geográfica.

Mirla Tahhánn, Raymond Sánchez, Maryoly Ortega, María A. Pérez, Luis Eduardo Mendoza

Proceedings of the Connecting the Americas. 12th Americas Conference on Information Systems, 2006

Conceptual Map of Software Environmental Impact.

J. Pinto, María A. Pérez, Luis Eduardo Mendoza, Anna Grimán, M. Kräuter

Proceedings of the Connecting the Americas. 12th Americas Conference on Information Systems, 2006

Human Perspective in System Development Quality.

María A. Pérez, Kenyer Domínguez, Luis Eduardo Mendoza, Anna Grimán

Proceedings of the Connecting the Americas. 12th Americas Conference on Information Systems, 2006

2003

Integration of Systemic Quality and the Balanced Scorecard.

Juan Solano, María A. Pérez, Teresita Rojas, Anna Grimán, Luis E. Mendoza Morales

Inf. Syst. Manag., 2003

2002

Evaluation of Environments for Portals Development: A Case Study.

Luis Eduardo Mendoza, Anna Grimán, María A. Pérez, Teresita Rojas

Inf. Syst. Manag., 2002

Algoritmo para la Evaluación de la Calidad Sistémica Del Software.

Luis Eduardo Mendoza, María A. Pérez, Anna Grimán, Teresita Rojas

Proceedings of 2nd Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC'02), 2002

2001

Organizational Indicators for CASE Tools Selection: A Case Study.

Luis Eduardo Mendoza, Teresita Rojas, María A. Pérez

Rev. Colomb. de Computación, 2001

MEIDAW: Una Propuesta Metodológica para Mejorar el Proceso de Desarrollo de Sistemas Workflow.

Luis Eduardo Mendoza, Wilfredo José Reynoso Fernández

Proceedings of the 1st Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC'01), 2001

Aplicación de un Modelo de Calidad para la Evaluación de Herramientas CASE Adaptado al Estándar Internacional ISO/IEC 14102.

Ana Mercedes Díaz, María A. Pérez, Luis Eduardo Mendoza, Teresita Rojas

Proceedings of the 1st Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC'01), 2001