| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez |
Conceptual framework for business processes compositional verification.  |
Information & Software Technology  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez |
A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes. |
ICEIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez |
Compositional Verification of Business Processes Modelled with BPMN. |
ICEIS |
2010 |
DBLP BibTeX RDF |
|
| 1 | María A. Pérez, Edumilis Maria Méndez, Kenyer Domínguez, Luis Eduardo Mendoza |
Quality Measurement Model for Requirements Engineering Floss Tools. |
ICEIS |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP BibTeX RDF |
|
| 1 | Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez |
Compositional Verification of Business Processes by Model-Checking. |
MSVVEIS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Luis E. Mendoza Morales, Manuel I. Capel |
Automatic Compositional Verification of Business Processes. |
ICEIS |
2009 |
DBLP DOI BibTeX RDF |
Model-Checking, Verification, Formal Methods, Business Process Modelling, Task Model |
| 1 | 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. |
RASI |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Luis E. Mendoza Morales, Manuel I. Capel, María A. Pérez, Kawtar Benghazi Akhlaki |
Compositional Model-Checking Verification of Critical Systems. |
ICEIS |
2008 |
DBLP DOI BibTeX RDF |
Critical software systems, Model-checking, Formal methods, Case study, Compositional verification |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Lornel Rivas, María A. Pérez, Luis Eduardo Mendoza, Anna Grimán |
Towards a Selection Model for Software Engineering Tools in Small and Medium Enterprises (SMEs). |
ICSEA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Luis Eduardo Mendoza, Manuel I. Capel, Kawtar Benghazi Akhlaki |
Towards the Correctness Verifcation of Business Processes Modelled with UML. |
JISBD |
2008 |
DBLP BibTeX RDF |
|
| 1 | Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales |
A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales |
Towards UML-RT Behavioural Consistency. |
ICEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Luis E. Mendoza Morales, Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki |
Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics. |
ICEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Luis Eduardo Mendoza, Alejandro Marius, María A. Pérez, Anna Grimán |
Critical success factors for a customer relationship management strategy. |
Information & Software Technology |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Grimán, María A. Pérez, Luis Eduardo Mendoza, Edumilis Maria Méndez |
A method proposal for architectural reliability evaluation. |
ICEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP BibTeX RDF |
|
| 1 | Anna Grimán, María A. Pérez, Maryoly Ortega, Luis Eduardo Mendoza |
A metrics proposal to evaluate software internal quality with scenarios. |
ICEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Maryoly Ortega, Anna Grimán, María A. Pérez, Luis Eduardo Mendoza |
Reuse Strategy based on Quality Certification of Reusable Components. |
IRI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | E. Méndez, María A. Pérez, Luis Eduardo Mendoza |
Quality Evaluation of Economic Decision-Making Support Systems: Oil Industry Case. |
AMCIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Anna Grimán, María A. Pérez, Luis Eduardo Mendoza, Francisca Losavio |
Feature analysis for architectural evaluation methods. |
Journal of Systems and Software |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Eduardo Mendoza, María A. Pérez, Anna Grimán |
Critical Success Factors for Managing Systems Integration. |
IS Management |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
T. Comp. Sys. Biology |
2006 |
DBLP DOI BibTeX RDF |
genetic regulatory graphs, feedback circuit, discrete dynamics, Petri nets, qualitative analysis |
| 1 | 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 |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP BibTeX RDF |
|
| 1 | Pamela Ghiotto, Maryoly Ortega, Anna Grimán, Luis Eduardo Mendoza, María A. Pérez |
Ontology proposal for quality oriented reuse. |
IRI |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | J. Pinto, María A. Pérez, Luis Eduardo Mendoza, Anna Grimán, M. Kräuter |
Conceptual Map of Software Environmental Impact. |
AMCIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | María A. Pérez, Kenyer Domínguez, Luis Eduardo Mendoza, Anna Grimán |
Human Perspective in System Development Quality. |
AMCIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Juan Solano, María A. Pérez, Teresita Rojas, Anna Grimán, Luis E. Mendoza Morales |
Integration of Systemic Quality and the Balanced Scorecard. |
IS Management |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Eduardo Mendoza, Anna Grimán, María A. Pérez, Teresita Rojas |
Evaluation of Environments for Portals Development: A Case Study. |
IS Management |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Luis Eduardo Mendoza, Teresita Rojas, María A. Pérez |
Organizational Indicators for CASE Tools Selection: A Case Study. |
Revista Colombiana de Computación |
2001 |
DBLP BibTeX RDF |
|
| 1 | Luis Eduardo Mendoza, Wilfredo José Reynoso Fernández |
MEIDAW: Una Propuesta Metodológica para Mejorar el Proceso de Desarrollo de Sistemas Workflow. |
JIISIC |
2001 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")