Mostrando 10 resultados de: 29
Filtros aplicados
Publisher
ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems(5)
MEMORIAS: 10th Workshop Iberoamericano de Ingenieria de Requisitos y Ambientes de Software - IDEAS 2007(3)
Association for Information Systems - 11th Americas Conference on Information Systems, AMCIS 2005: A Conference on a Human Scale(2)
Association for Information Systems - 12th Americas Conference On Information Systems, AMCIS 2006(2)
ICEIS 2006 - 8th International Conference on Enterprise Information Systems, Proceedings(2)
Área temáticas
Programación informática, programas, datos, seguridad(8)
Dirección general(7)
Métodos informáticos especiales(5)
Arquitectura(1)
Comunidades(1)
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:googlescopusBTRANSFORMER: A tool for BPMN to CSP+T transformation
Conference ObjectAbstract: In any organisation, properties such as scope, structure, deployment, capability, structural consistPalabras claves:Business process modelling language, Formal software specification, Model transformation languages, Process calculus, Transformation toolAutores:Domínguez K., González A., Luis Eduardo Mendoza Morales, Mendez E., Pérez M.A., Tuñón M.I.C.Fuentes:scopusAnalysis of characteristics (preselection mode) to evaluate components platforms
Conference ObjectAbstract:Palabras claves:Autores:González A., Grimánk A., Luis Eduardo Mendoza Morales, Mijares M., Pérez M.A.Fuentes:scopusA 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 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 map of software environmental impact
Conference ObjectAbstract: Nowadays, there is an increasing necessity for renewing hardware platforms, mainly because of the exPalabras claves:environment, Internal environmental audit, Quality ModelAutores:Grimánk A., Krauter M., Luis Eduardo Mendoza Morales, Pérez M.A., Pinto J.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: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:googlescopus