default search action
Luis Eduardo Mendoza
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [c51]Lornel Rivas
, Cristhian Ganvini
Software Engineering Issues for the Development of mHealth Apps. ICITS 2020: 469-479
2010 – 2019
- 2019
- [c50]Rosa Quelal
Application of Methodologies and Process Models in Big Data Projects. ICEIS (2) 2019: 277-284 - 2017
- [j14]Luis Eduardo Mendoza, Manuel I. Capel:
A methodological approach for checking safety-critical systems software. Int. J. Crit. Comput. Based Syst. 7(4): 341-368 (2017) - 2016
- [c49]Luis E. Mendoza Morales, Manuel I. Capel:
Checking Critical Software Systems: A Formal Proposal. QUATIC 2016: 160-163 - [c48]Luis E. Mendoza Morales, Carlos Monsalve
Application of Formal Methods to Verify Business Processes. SBMF 2016: 41-58 - 2014
- [c47]Manuel I. Capel
Choreography Modeling Compliance for Timed Business Models. EOMAS@CAiSE 2014: 202-218 - 2013
- [c46]Luis E. Mendoza Morales:
Business process verification using a Formal Compositional Approach and Timed Automata. CLEI 2013: 1-10 - 2012
- [j13]Luis Eduardo Mendoza
Conceptual framework for business processes compositional verification. Inf. Softw. Technol. 54(2): 149-161 (2012) - [c45]Manuel I. Capel, Luis E. Mendoza Morales:
A Formal Compositional Verification Approach for Safety-Critical Systems Correctness - Model-Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software. ICEIS (2) 2012: 105-112 - [c44]Manuel I. Capel
Automating the Transformation from BPMN Models to CSP+T Specifications. SEW 2012: 100-109 - 2011
- [c43]Aleksander González, Luis E. Mendoza Morales, Manuel I. Capel, María A. Pérez, Edumilis Maria Méndez, Kenyer Domínguez:
BTRANSFORMER - A Tool for BPMN to CSP+T Transformation. ICEIS (3) 2011: 363-366 - [c42]Aleksander González, Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez:
Implementing a Transformation from BPMN to CSP+T with ATL: Lessons Learnt. IVM/FTMDD/RTSOABIS/MSVVEIS 2011: 51-60 - 2010
- [c41]Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez:
Compositional Verification of Business Processes Modelled with BPMN. ICEIS (3) 2010: 113-122 - [c40]María A. Pérez, Edumilis Maria Méndez, Kenyer Domínguez, Luis Eduardo Mendoza:
Quality Measurement Model for Requirements Engineering Floss Tools. ICEIS (3) 2010: 249-254 - [c39]María A. Pérez, Edumilis Maria Méndez, Kenyer Domínguez, Luis Eduardo Mendoza, Cynthia De Oliveira:
Software Quality Management FLOSS Tools Evaluation. ICEIS (1) 2010: 387-390 - [c38]Luis E. Mendoza Morales, Manuel I. Capel Tuñón
A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes. ICEIS 2010: 388-403 - [c37]Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez:
Compositional Verification of Business Processes by Model-Checking. MSVVEIS 2010: 60-69
2000 – 2009
- 2009
- [j12]Luis Eduardo Mendoza, María A. Pérez, Irina Titaeva:
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 6(3): 51-66 (2009) - [c36]María A. Reyes, Maryoly Ortega, María A. Pérez, Anna Grimán, Luis Eduardo Mendoza, Kenyer Domínguez:
Toward a Quality Model for CBSE - Conceptual Model Proposal. ICEIS (1) 2009: 101-106 - [c35]María A. Pérez, Kenyer Domínguez, Edumilis Maria Méndez, Luis Eduardo Mendoza:
Applicability of ISO/IEC 9126 for the Selection of Floss Tools. ICEIS (3) 2009: 367-371 - [c34]Luis E. Mendoza Morales, Manuel I. Capel
Automatic Compositional Verification of Business Processes. ICEIS 2009: 479-490 - [c33]Lornel Rivas, María A. Pérez, Luis Eduardo Mendoza, Anna Grimán:
Selección de Herramientas para la Gestión de Proyectos de Software en Pequeñas y Medianas Empresas. JISBD 2009: 69-80 - 2008
- [j11]Manuel I. Capel Tuñón
Automatic verification of business process integrity. Int. J. Simul. Process. Model. 4(3/4): 167-182 (2008) - [c32]O. Alfonzo, Kenyer Domínguez, Lornel Rivas, María A. Pérez, Luis Eduardo Mendoza, Maryoly Ortega:
Quality Measurement Model for Analysis and Design Tools Based on FLOSS. Australian Software Engineering Conference 2008: 258-268 - [c31]Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez, Kawtar Benghazi Akhlaki:
A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems. ICEIS (3-1) 2008: 86-93 - [c30]Edumilis Maria Méndez, María A. Pérez, Luis Eduardo Mendoza:
Improving Software Test Strategy with a Method to Specify Test Cases (MSTC). ICEIS (1) 2008: 159-164 - [c29]Edumilis Maria Méndez, María A. Pérez, Luis Eduardo Mendoza, Maryoly Ortega:
ITO-Tracker - A Tool for Evaluating ITO Projects based on Critical Success Factors. ICEIS (3-2) 2008: 170-175 - [c28]Edumilis Maria Méndez, María A. Pérez, Luis Eduardo Mendoza, Maryoly Ortega:
Critical Success Factors to Evaluate Information Technology Outsourcing Projects. ICEIS (3-2) 2008: 176-181 - [c27]Luis Eduardo Mendoza, María A. Pérez, Edumilis Maria Méndez, Wilfredo Báez:
Support Disciplines for Systems Development in SMEs - A Conceptual Map. ICEIS (3-1) 2008: 199-202 - [c26]Anna Grimán, María A. Pérez, Maryoly Ortega, Luis Eduardo Mendoza:
Context-Oriented Web Methodology with a Quality Approach. ICEIS (3-2) 2008: 213-219 - [c25]Luis E. Mendoza Morales, Manuel I. Capel
Compositional Model-Checking Verification of Critical Systems. ICEIS 2008: 213-225 - [c24]Lornel Rivas, María A. Pérez, Luis Eduardo Mendoza, Anna Grimán:
Selection Criteria for Software Development Tools for SMEs - SMEs and Cooperatives in Venezuela. ICEIS (3-1) 2008: 252-255 - [c23]Lornel Rivas
Towards a Selection Model for Software Engineering Tools in Small and Medium Enterprises (SMEs). ICSEA 2008: 264-269 - [c22]George Di Paula, Dakar Parada, María A. Pérez, Luis Eduardo Mendoza:
Agilidad y disciplina en el Proceso de Desarrollo de Software para PyMES y Cooperativas en Latinoamérica: CASO VENEZUELA. JIISIC 2008: 157-162 - [c21]Luis Eduardo Mendoza, Manuel I. Capel, Kawtar Benghazi Akhlaki:
Towards the Correctness Verifcation of Business Processes Modelled with UML. JISBD 2008: 159-170 - 2007
- [j10]Luis Eduardo Mendoza
Critical success factors for a customer relationship management strategy. Inf. Softw. Technol. 49(8): 913-945 (2007) - [j9]Kawtar Benghazi Akhlaki
A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models. Sci. Comput. Program. 65(1): 41-56 (2007) - [c20]Edumilis Maria Méndez, María A. Pérez, Luis Eduardo Mendoza:
Quality Evaluation of Economic Decision-Making Support Systems: Oil Industry Case. AMCIS 2007: 173 - [c19]Luis E. Mendoza Morales, Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki:
Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics. ICEIS (3) 2007: 205-211 - [c18]Anna Grimán, María A. Pérez, Maryoly Ortega, Luis Eduardo Mendoza:
A metrics proposal to evaluate software internal quality with scenarios. ICEIS (1) 2007: 558-563 - [c17]Anna Grimán, María A. Pérez, Luis Eduardo Mendoza, Edumilis Maria Méndez:
A method proposal for architectural reliability evaluation. ICEIS (1) 2007: 564-568 - [c16]Maryoly Ortega, Anna Grimán, María A. Pérez, Luis Eduardo Mendoza:
R-Tool: A Supporting Tool for a Quality Oriented Reuse Strategy. ICEIS (3) 2007: 599-602 - [c15]Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales:
Towards UML-RT Behavioural Consistency. ICEIS (3) 2007: 612-615 - [c14]Maryoly Ortega, Anna Grimán, María A. Pérez, Luis Eduardo Mendoza:
Reuse Strategy based on Quality Certification of Reusable Components. IRI 2007: 140-145 - [c13]Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales:
An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T. MSVVEIS 2007: 74-83 - 2006
- [j8]Kenyer Domínguez, María A. Pérez, Luis Eduardo Mendoza, Anna Grimán:
Quality in Development Process for Software Factories According to ISO 15504. CLEI Electron. J. 9(1) (2006) - [j7]Luis Eduardo Mendoza, María A. Pérez, Gabriela Díaz-Antón, Anna Grimán:
Tailoring RUP for LMS Selection: A Case Study. CLEI Electron. J. 9(1) (2006) - [j6]Luis Eduardo Mendoza, María A. Pérez, Anna Grimán:
Critical Success Factors for Managing Systems Integration. Inf. Syst. Manag. 23(2): 56-75 (2006) - [j5]Anna Grimán, María A. Pérez, Luis Eduardo Mendoza
Feature analysis for architectural evaluation methods. J. Syst. Softw. 79(6): 871-888 (2006) - [j4]Elisabeth Remy, Paul Ruet, Luis Eduardo Mendoza, Denis Thieffry, Claudine Chaouiya
From Logical Regulatory Graphs to Standard Petri Nets: Dynamical Roles and Functionality of Feedback Circuits. Trans. Comp. Sys. Biology 7: 56-72 (2006) - [c12]María A. Pérez, Kenyer Domínguez, Luis Eduardo Mendoza, Anna Grimán:
Human Perspective in System Development Quality. AMCIS 2006: 460 - [c11]J. Pinto, María A. Pérez, Luis Eduardo Mendoza, Anna Grimán, M. Kräuter:
Conceptual Map of Software Environmental Impact. AMCIS 2006: 487 - [c10]Mirla Tahhánn, Raymond Sánchez, Maryoly Ortega, María A. Pérez, Luis Eduardo Mendoza:
Modelo para estimar la calidad en los Sistemas de Información Geográfica. AMCIS 2006: 512 - [c9]Anna Grimán, María A. Pérez, Luis Eduardo Mendoza:
Methodological Guidelines for SQA in Development Process - An Approach Based on the SPICE Model. ICEIS (3) 2006: 269-275 - [c8]Edumilis Maria Méndez, Luis Eduardo Mendoza, María A. Pérez, Anna Grimán:
UML-Based Business Process Reengineering (BPR-UML) Applied to IT Outsourcing. ICEIS (3) 2006: 546-550 - [c7]Anna Grimán, Luisana Chávez, María A. Pérez, Luis Eduardo Mendoza, Kenyer Domínguez:
Towards a Maintainability Evaluation in Software Architectures. ICEIS (3) 2006: 555-558 - [c6]Pamela Ghiotto, Maryoly Ortega, Anna Grimán, Luis Eduardo Mendoza, María A. Pérez:
Ontology proposal for quality oriented reuse. IRI 2006: 533-538 - [c5]Manuel I. Capel, Luis E. Mendoza Morales, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza:
A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification. JISBD 2006: 283-292 - [c4]Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales:
Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models. MSVVEIS 2006: 16-25 - 2003
- [j3]Juan Solano, María A. Pérez, Teresita Rojas, Anna Grimán, Luis E. Mendoza Morales:
Integration of Systemic Quality and the Balanced Scorecard. Inf. Syst. Manag. 20(1): 66-81 (2003) - 2002
- [j2]Luis Eduardo Mendoza, Anna Grimán, María A. Pérez, Teresita Rojas:
Evaluation of Environments for Portals Development: A Case Study. Inf. Syst. Manag. 19(2): 70-84 (2002) - [c3]Luis Eduardo Mendoza, María A. Pérez, Anna Grimán, Teresita Rojas:
Algoritmo para la Evaluación de la Calidad Sistémica Del Software. JIISIC 2002: 85-96 - 2001
- [j1]Luis Eduardo Mendoza, Teresita Rojas, María A. Pérez:
Organizational Indicators for CASE Tools Selection: A Case Study. Rev. Colomb. de Computación 2(2) (2001) - [c2]Ana Mercedes Díaz, María A. Pérez, Luis Eduardo Mendoza, Teresita Rojas:
Aplicación de un Modelo de Calidad para la Evaluación de Herramientas CASE Adaptado al Estándar Internacional ISO/IEC 14102. JIISIC 2001: 37-46 - [c1]Luis Eduardo Mendoza, Wilfredo José Reynoso Fernández:
MEIDAW: Una Propuesta Metodológica para Mejorar el Proceso de Desarrollo de Sistemas Workflow. JIISIC 2001: 99-108
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: