Mostrando 10 resultados de: 96
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
Dirección general(30)
Programación informática, programas, datos, seguridad(29)
Métodos informáticos especiales(15)
Física aplicada(9)
Producción(5)
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:googlescopusAutomating the transformation from BPMN models to CSP+T specifications
Conference ObjectAbstract: The complexity of modern Business Process Modelling (BPM) together with the absence of the appropriaPalabras claves:BPMN 2.0, Business process modelling, csp, CSP+T, Model-checking, VerificationAutores:Luis Eduardo Mendoza Morales, 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:scopusBusiness Process Veri cation: The Application of Model Checking and Timed Automata
OtherAbstract: MENDOZA MORALES, Luis E. Business Process Veri cation: The Application of Model Checking and Timed APalabras claves:Autores:Luis Eduardo Mendoza MoralesFuentes:googleAnalysis 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:scopusAMBIENTE DE EVALUACIÓN DE CALIDAD DE ARQUITECTURAS DE SOFTWARE BASADO EN ECLIPSE
OtherAbstract: El desarrollo de las aplicaciones de software es un proceso complejo que consiste en varias etapas yPalabras claves:Autores:Luis Eduardo Mendoza MoralesFuentes:googleA Formal Compositional Verification Approach for Safety–Critical Systems Correctness
OtherAbstract: The complexity of modern Safety–Critical Systems (SCS) together with the absence of appropriate softPalabras claves:Autores:Luis Eduardo Mendoza MoralesFuentes:googleA Formal Compositional Verification Approach for Safety–Critical Systems Correctness-Model–Checking based Methodological Approach to Automatically Verify Safety Critical …
OtherAbstract: The complexity of modern Safety–Critical Systems (SCS) together with the absence of appropriate softPalabras claves:Autores:Luis Eduardo Mendoza MoralesFuentes:googleA compositional scheme and framework for safety critical systems verification
Conference ObjectAbstract: Safety-Critical Systems (SCS)must satisfy dependability requirements such as availability, reliabiliPalabras claves:Autores:Luis Eduardo Mendoza Morales, Tuñón M.I.C.Fuentes:googlescopus