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)
Origen
scopus(49)
Compositional 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: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 Systemic Methodological Framework for IS Research
Conference ObjectAbstract: When speaking about Research, it is mandatory to deal with the method to guide the knowledge construPalabras claves:Action Research, framework, RESEARCH, SystemicAutores:Grimánk A., Luis Eduardo Mendoza Morales, Pérez M.A., Rojas T.Fuentes:googlescopusA conceptual scheme for compositional model-checking verification of critical communicating systems
Conference ObjectAbstract: When we build complex business and communication systems, the question worth to be answered: How canPalabras claves:Compositional verification, Model-checking, Real-time software systemsAutores:Ahklaki K.B., Luis Eduardo Mendoza Morales, Pérez M.A., Tuñón M.I.C.Fuentes:googlescopusA discrete-event simulation and continuous software evaluation on a systemic quality model: An oil industry case
ArticleAbstract: This paper proposes a specific set of criteria for evaluating discrete-event Simulation Software capPalabras claves:assessment, Continuous operations, Discrete-event, oil industry, Simulation, Software-qualityAutores:Alvarez M., Gladys Rincón Polo, Hernandez S., Pérez M.A.Fuentes:googlescopusA method proposal for architectural reliability evaluation
Conference ObjectAbstract: Software quality characteristics, such as reliability, maintainability, usability, portability, amonPalabras claves:evaluation method, Scenarios, Software architecture, Software quality, Software reliabilityAutores:Grimánk A., Luis Eduardo Mendoza Morales, Mendez E., Pérez M.A.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:googlescopus