Mostrando 10 resultados de: 31
Filtros aplicados
Publisher
ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems(3)
ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems(3)
Association for Information Systems - 11th Americas Conference on Information Systems, AMCIS 2005: A Conference on a Human Scale(2)
ICEIS 2006 - 8th International Conference on Enterprise Information Systems, Proceedings(2)
ICEIS 2009 - 11th International Conference on Enterprise Information Systems, Proceedings(2)
Área temáticas
Ciencias de la computación(17)
Programación informática, programas, datos, seguridad(16)
Dirección general(12)
Gestión y servicios auxiliares(4)
Métodos informáticos especiales(3)
Compositional verification of business processes modelled with BPMN
Conference ObjectAbstract: A specific check that is required to be performed as part of the Business Process Modelling (BPM) isPalabras claves:Business process modelling, Compositional verification, Formal specification, Model-checking, Task modelAutores:Luis Eduardo Mendoza Morales, Pérez M.A., Tuñón M.I.C.Fuentes:googlescopusBusiness process automatic verification with a compositional approach
ArticleAbstract: Currently, complex Business Processes (BP) are implemented by Enterprise Information Systems (EIS).Palabras claves:Business processes, Compositional verification, Formal specification, Model checking, Tasks modelAutores:Luis Eduardo Mendoza Morales, Pérez M.A., Tuñón M.I.C.Fuentes:googlescopusA metrics proposal to evaluate software internal quality with scenarios
Conference ObjectAbstract: Software quality should be evaluated from different perspectives; we highlight the internal and extePalabras claves:Evaluation, Internal quality, METRICS, Software quality assuranceAutores:Grimánk A., Luis Eduardo Mendoza Morales, Ortega M., Pérez M.A.Fuentes:googlescopusA model for productivity and systemic quality for systems development process
Conference ObjectAbstract: Many authors in the manufacturing industry have affirmed that "high quality levels promote high prodPalabras claves:IT projects, Productivity, Software systemic quality, Systems development processAutores:Grimánk A., Luis Eduardo Mendoza Morales, Mendez E., Pérez M.A.Fuentes:googlescopusConceptual framework for business processes compositional verification
ArticleAbstract: Context: To guarantee the success of Business Process Modelling (BPM) it is necessary to check whethPalabras claves:Business process modelling, Compositional verification, Formal specification, Model-checking, Task modelAutores:Luis Eduardo Mendoza Morales, Pérez M.A., Tuñón M.I.C.Fuentes:googlescopusContext-oriented web methodology with a quality approach
Conference ObjectAbstract: Dependency on Web systems and applications has increased in recent years. Their use and quality havePalabras claves:Agile and plan-driven methodologies, Methodology, quality assurance, Software quality, Web developmentAutores:Grimánk A., Luis Eduardo Mendoza Morales, Ortega M., Pérez M.A.Fuentes:googlescopusCritical success factors as a strategy for risk mitigation in IT outsourcing projects
Conference ObjectAbstract: Due to the ever changing Information Technology (IT) and the subsequent complexity of know-how managPalabras claves:Critical success factors, Information Technology Outsourcing, Information technology outsourcing risk, Risk mitigationAutores:Luis Eduardo Mendoza Morales, Mendez E., Pérez M.A.Fuentes:googlescopusApplicability of ISO/IEC 9126 for the selection of floss tools
Conference ObjectAbstract: The trend towards the use of Free/Libre Open Source Software (FLOSS) tools is impacting not only howPalabras claves:Analysis and design, Business modeling, Free Software, ISO/IEC 9126, Quality Models, Software testingAutores:Domínguez K., Luis Eduardo Mendoza Morales, Mendez E., Pérez M.A.Fuentes:googlescopusAgility and discipline in the software development process for small and medium enterprises (SMEs) and cooperatives in Latin America. Case: Venezuela
Conference ObjectAbstract:Palabras claves:Autores:Di Paula G., Luis Eduardo Mendoza Morales, Parada D., Pérez M.A.Fuentes:scopusEnvironmental impact assessment into a Software Quality Model
ArticleAbstract: Software development should be considered in environmental impact studies. The software developers wPalabras claves:Development process, environment, Environmental audit, Impact assessment, Software productAutores:Grimánk A., Krauter M., Luis Eduardo Mendoza Morales, Pérez M.A., Rivas L.Fuentes:scopus