Luis Eduardo Mendoza

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Software Engineering Issues for the Development of mHealth Apps.
Proceedings of the Information Technology and Systems, 2020

2019
Application of Methodologies and Process Models in Big Data Projects.
Proceedings of the 21st International Conference on Enterprise Information Systems, 2019

2017
A methodological approach for checking safety-critical systems software.
Int. J. Crit. Comput. Based Syst., 2017

2016
Application of Formal Methods to Verify Business Processes.
Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

Checking Critical Software Systems: A Formal Proposal.
Proceedings of the 10th International Conference on the Quality of Information and Communications Technology, 2016

2014
Choreography Modeling Compliance for Timed Business Models.
Proceedings of the Enterprise and Organizational Modeling and Simulation, 2014

2013
Business process verification using a Formal Compositional Approach and Timed Automata.
Proceedings of the 2013 XXXIX Latin American Computing Conference (CLEI), 2013

2012
Conceptual framework for business processes compositional verification.
Inf. Softw. Technol., 2012

Automating the Transformation from BPMN Models to CSP+T Specifications.
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.
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.
Proceedings of the IVM, FTMDD, RTSOABIS & MSVVEIS 2011, 2011

BTRANSFORMER - A Tool for BPMN to CSP+T Transformation.
Proceedings of the ICEIS 2011, 2011

2010
Compositional Verification of Business Processes by Model-Checking.
Proceedings of the Modelling, 2010

Software Quality Management FLOSS Tools Evaluation.
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.
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.
Proceedings of the Enterprise Information Systems - 12th International Conference, 2010

Compositional Verification of Business Processes Modelled with BPMN.
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.
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.
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.
Proceedings of the ICEIS 2009, 2009

Applicability of ISO/IEC 9126 for the Selection of Floss Tools.
Proceedings of the ICEIS 2009, 2009

Automatic Compositional Verification of Business Processes.
Proceedings of the Enterprise Information Systems, 11th International Conference, 2009

2008
Automatic verification of business process integrity.
Int. J. Simul. Process. Model., 2008

Towards the Correctness Verifcation of Business Processes Modelled with UML.
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.
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).
Proceedings of the Third International Conference on Software Engineering Advances, 2008

Selection Criteria for Software Development Tools for SMEs - SMEs and Cooperatives in Venezuela.
Proceedings of the ICEIS 2008, 2008

A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems.
Proceedings of the ICEIS 2008, 2008

Compositional Model-Checking Verification of Critical Systems.
Proceedings of the Enterprise Information Systems, 10th International Conference, 2008

Support Disciplines for Systems Development in SMEs - A Conceptual Map.
Proceedings of the ICEIS 2008, 2008

Critical Success Factors to Evaluate Information Technology Outsourcing Projects.
Proceedings of the ICEIS 2008, 2008

ITO-Tracker - A Tool for Evaluating ITO Projects based on Critical Success Factors.
Proceedings of the ICEIS 2008, 2008

Improving Software Test Strategy with a Method to Specify Test Cases (MSTC).
Proceedings of the ICEIS 2008, 2008

Context-Oriented Web Methodology with a Quality Approach.
Proceedings of the ICEIS 2008, 2008

Quality Measurement Model for Analysis and Design Tools Based on FLOSS.
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.
Sci. Comput. Program., 2007

Critical success factors for a customer relationship management strategy.
Inf. Softw. Technol., 2007

An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T.
Proceedings of the Modelling, 2007

Reuse Strategy based on Quality Certification of Reusable Components.
Proceedings of the IEEE International Conference on Information Reuse and Integration, 2007

R-Tool: A Supporting Tool for a Quality Oriented Reuse Strategy.
Proceedings of the ICEIS 2007, 2007

Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics.
Proceedings of the ICEIS 2007, 2007

A metrics proposal to evaluate software internal quality with scenarios.
Proceedings of the ICEIS 2007, 2007

A method proposal for architectural reliability evaluation.
Proceedings of the ICEIS 2007, 2007

Towards UML-RT Behavioural Consistency.
Proceedings of the ICEIS 2007, 2007

Quality Evaluation of Economic Decision-Making Support Systems: Oil Industry Case.
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.
Trans. Comp. Sys. Biology, 2006

Feature analysis for architectural evaluation methods.
J. Syst. Softw., 2006

Critical Success Factors for Managing Systems Integration.
Inf. Syst. Manag., 2006

Tailoring RUP for LMS Selection: A Case Study.
CLEI Electron. J., 2006

Quality in Development Process for Software Factories According to ISO 15504.
CLEI Electron. J., 2006

Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models.
Proceedings of the Modelling, 2006

A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification.
Proceedings of the XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), 2006

Ontology proposal for quality oriented reuse.
Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, 2006

UML-Based Business Process Reengineering (BPR-UML) Applied to IT Outsourcing.
Proceedings of the ICEIS 2006, 2006

Methodological Guidelines for SQA in Development Process - An Approach Based on the SPICE Model.
Proceedings of the ICEIS 2006, 2006

Towards a Maintainability Evaluation in Software Architectures.
Proceedings of the ICEIS 2006, 2006

Modelo para estimar la calidad en los Sistemas de Información Geográfica.
Proceedings of the Connecting the Americas. 12th Americas Conference on Information Systems, 2006

Conceptual Map of Software Environmental Impact.
Proceedings of the Connecting the Americas. 12th Americas Conference on Information Systems, 2006

Human Perspective in System Development Quality.
Proceedings of the Connecting the Americas. 12th Americas Conference on Information Systems, 2006

2003
Integration of Systemic Quality and the Balanced Scorecard.
Inf. Syst. Manag., 2003

2002
Evaluation of Environments for Portals Development: A Case Study.
Inf. Syst. Manag., 2002

Algoritmo para la Evaluación de la Calidad Sistémica Del Software.
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.
Rev. Colomb. de Computación, 2001

MEIDAW: Una Propuesta Metodológica para Mejorar el Proceso de Desarrollo de Sistemas Workflow.
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.
Proceedings of the 1st Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC'01), 2001


  Loading...