Mostrando 10 resultados de: 49
Filtros aplicados
Publisher
ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems(6)
Association for Information Systems - 12th Americas Conference On Information Systems, AMCIS 2006(3)
ICEIS 2006 - 8th International Conference on Enterprise Information Systems, Proceedings(3)
ICEIS 2007 - 9th International Conference on Enterprise Information Systems, Proceedings(3)
ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems(3)
Área temáticas
Ciencias de la computación(22)
Dirección general(19)
Programación informática, programas, datos, seguridad(16)
Gestión y servicios auxiliares(8)
Métodos informáticos especiales(6)
Área de conocimiento
Ingeniería de software(29)
Software(26)
Gestión de calidad(7)
Ciencias de la computación(3)
Simulación(3)
Objetivos de Desarrollo Sostenible
ODS 9: Industria, innovación e infraestructura(49)
ODS 8: Trabajo decente y crecimiento económico(43)
ODS 17: Alianzas para lograr los objetivos(26)
ODS 12: Producción y consumo responsables(20)
ODS 4: Educación de calidad(5)
Origen
scopus(49)
How 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:googlescopusHuman perspective in system development quality
Conference ObjectAbstract: People have an essential role in the systems construction; especially when speaking about quality. FPalabras claves:Human perspective, Quality Model, System development processAutores:Domínguez K., Grimánk A., 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:googlescopusFeature analysis for architectural evaluation methods
ArticleAbstract: Given the complexity of today's software systems, Software Architecture is a topic that has recentlyPalabras claves:Architectural evaluation method, Features analysis, Non-functional requirement, Quality, Software architectureAutores:Grimánk A., Losavio F., Luis Eduardo Mendoza Morales, Pérez M.A.Fuentes:googlescopusEvaluation and selection of discrete-event simulation software for the oil industry
ArticleAbstract: The selection of a Discrete Event Simulation Software (DESS) that best meets the needs of a given orPalabras claves:Decision Making, Discrete-event, Evaluation, Oil company, Selection, SimulationAutores:Alvarez M., Gladys Rincón Polo, Hernandez S., Pérez M.A.Fuentes:googlescopusEvaluation of environments for portals development: A case study
ArticleAbstract: With the growing application of the Internet, business portal software is becoming increasingly compPalabras claves:Autores:Grimánk A., Luis Eduardo Mendoza Morales, Pérez M.A., Rojas T.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:googlescopusCompositional model-checking verification of critical systems
ArticleAbstract: Ensuring the correctness of Critical Systems (CS) becomes more complex if we consider that their behPalabras claves:Case study, Compositional verification, Critical software systems, Formal Methods, Model-checkingAutores:Benghazi-Akhlaki K., Luis Eduardo Mendoza Morales, Pérez M.A., Tuñón M.I.C.Fuentes:googlescopusCompositional verification of business processes by model-checking
Conference ObjectAbstract: The work presented in this article is aimed at a contribution to the Enterprise Information SystemsPalabras claves:Autores:Luis Eduardo Mendoza Morales, Pérez M.A., Tuñón M.I.C.Fuentes:googlescopusCompositional 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:googlescopus