Mostrando 9 resultados de: 9
Filtros aplicados
Publisher
ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems(1)
ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems(1)
ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems(1)
Information and Software Technology(1)
International Journal of Critical Computer-Based Systems(1)
Área temáticas
Ciencias de la computación(4)
Dirección general(3)
Programación informática, programas, datos, seguridad(2)
Economía laboral(1)
Gestión y servicios auxiliares(1)
Checking critical software systems: A formal proposal
Conference ObjectAbstract: As a contribution to the specification and verification of critical software systems, this article pPalabras claves:Compositional verification, Critical software systems, Formal verification approach, Model checking, Safety-critical systemsAutores:Luis Eduardo Mendoza Morales, 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 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:googlescopusBusiness process verification using a Formal Compositional Approach and Timed Automata
Conference ObjectAbstract: Several firms are defining their Business Processes (BPs) using the standard Business Process ModelPalabras claves:Compositional verification, Critical Business Process, Model checking, Task model, Timed AutomataAutores:Luis Eduardo Mendoza MoralesFuentes: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 formal compositional verification approach for safety-critical systems correctness: Model-Checking based methodological approach to automatically verify safety critical systems software
Conference ObjectAbstract: The complexity of modern Safety-Critical Systems (SCS) together with the absence of appropriate softPalabras claves:Compositional verification, methodological approach, Model-checking, Safety-critical systems, Software specification, Software verificationAutores:Luis Eduardo Mendoza Morales, Tuñón M.I.C.Fuentes:scopusA methodological approach for checking safety-critical systems software
ArticleAbstract: The complexity of modern safety-critical systems together with the absence of appropriate software vPalabras claves:Compositional verification, Critical computer-based systems, methodological approach, Model checking, Safety-critical systems software, Software specification, Software verificationAutores:Luis Eduardo Mendoza Morales, Tuñón M.I.C.Fuentes:googlescopusConceptual framework for business processes compositional verification
ArticleAbstract: Context: To guarantee the success of Business Process Modelling (BPM) it is necessary to check whethPalabras 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