Mostrando 10 resultados de: 16
Filtros aplicados
Publisher
ICEIS 2006 - 8th International Conference on Enterprise Information Systems, Proceedings(1)
ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems(1)
ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems(1)
ICSTE 2010 - 2010 2nd International Conference on Software Technology and Engineering, Proceedings(1)
IX Jornadas Iberoamericanas de Ingenieria de Software e Ingenieria del Conocimiento 2012, JIISIC 2012(1)
Área temáticas
Programación informática, programas, datos, seguridad(11)
Dirección general(9)
Ciencias de la computación(3)
Administración pública y ciencia militar(2)
Economía(2)
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:googlescopusAutomatic compositional verification of business processes
Conference ObjectAbstract: Nowadays the Business Process Modelling Notation (BPMN) has become a standard to provide a notationPalabras claves:Business process modelling, Formal Methods, Model-checking, Task model, VerificationAutores:Luis Eduardo Mendoza Morales, Tuñón M.I.C.Fuentes:googlescopusCriterios para la selección de herramientas de ingeniería de software en PYMES
OtherAbstract: Las pequeñas y medianas empresas (PYMEs) aportan importantes recursos a la industria del software. SPalabras claves:Autores:Luis Eduardo Mendoza MoralesFuentes:googleDESARROLLO DE LOS COMPONENTES DE UN SISTEMA DE COLABORACIÓN EMPRESARIAL
OtherAbstract: Los Sistemas de Colaboración Empresarial (SCE) soportan los procesos de comunicación y cooperación pPalabras claves:Autores:Luis Eduardo Mendoza MoralesFuentes:googleCALIDAD SISTÉMICA Y PRODUCTIVIDAD EN EL DESARROLLO DE SISTEMAS DE SOFTWARE
OtherAbstract: La gerencia de la calidad en las industrias manufactureras ha permitido mejorar los índices de produPalabras claves:Autores:Luis Eduardo Mendoza MoralesFuentes:googleAplicación de un Método para Especificar Casos de Prueba de Software en la Administración Pública
OtherAbstract: Una diferencia interesante entre las Pruebas y otras disciplinas del proceso de desarrollo de softwaPalabras claves:Autores:Luis Eduardo Mendoza MoralesFuentes:googleApplication of formal methods to verify business processes
Conference ObjectAbstract: Formal specifications and modeling languages can be used to provide support for Business Process (BPPalabras claves:BUSINESS PROCESS, Model checking, qualitative analysis, Task model, Timed AutomataAutores:Carlos Monsalve, Carlos Teodoro Monsalve Artega, Luis Eduardo Mendoza Morales, Monica VillavicencioFuentes:googlescopusAgilidad y disciplina en el Proceso de Desarrollo de Software para PyMES y Cooperativas en Latinoamérica: CASO VENEZUELA.
OtherAbstract:Palabras claves:Autores:Luis Eduardo Mendoza MoralesFuentes:googleHow Stage Gate® process supports CbC: Case study
Conference ObjectAbstract: In this article it is presented how a Stage-Gate® process was adapted to support CbC: An additionalPalabras claves:Construction by configuration, Software Engineering, Stage-Gate® processAutores:Alvarez R., Domínguez K., Luis Eduardo Mendoza Morales, Pérez M.A.Fuentes:googlescopusITO-Tracker a tool for evaluating ITO projects based on critical success factors
Conference ObjectAbstract: Nowadays, the Latin American software industry, as it is mostly represented by Small and Medium EntePalabras claves:Critical success factors, Information Technology Outsourcing, METRICS, Project evaluation, smesAutores:Luis Eduardo Mendoza Morales, Mendez E., Ortega M., Pérez M.A.Fuentes:googlescopus