Mostrando 6 resultados de: 6
Filtros aplicados
Publisher
Association for Information Systems - 12th Americas Conference On Information Systems, AMCIS 2006(1)
ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems(1)
ICEIS 2011 - Proceedings of the 13th International Conference on Enterprise Information Systems(1)
IX Jornadas Iberoamericanas de Ingenieria de Software e Ingenieria del Conocimiento 2012, JIISIC 2012(1)
Lecture Notes in Business Information Processing(1)
Área de conocimiento
Ingeniería de software(3)
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: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:googlescopusMethod for temporal logic specification of properties of critical business processes (MEPRONEC)
Conference ObjectAbstract:Palabras claves:Autores:Domínguez K., Luis Eduardo Mendoza Morales, Mendez E., Mijares M., Pérez M.A.Fuentes:scopusQuality estimation model for geographic information systems
Conference ObjectAbstract: Selecting a Geographic Information System (GIS) based on Free Software (FS) is a difficult task vis-Palabras claves:Dromey's model, Free Software, Geographic information systems, ISO 9126, Mosca, Software quality modelAutores:Luis Eduardo Mendoza Morales, Ortega M., Pérez M.A., Sánchez R., Tahhánn M.Fuentes:scopus