Mostrando 6 resultados de: 6
Filtros aplicados
Publisher
Iberian Conference on Information Systems and Technologies, CISTI(1)
International Journal of Critical Computer-Based Systems(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Proceedings - 2016 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016(1)
Proceedings of the 2013 39th Latin American Computing Conference, CLEI 2013(1)
Área temáticas
Dirección general(3)
Programación informática, programas, datos, seguridad(3)
Economía(2)
Ciencias de la computación(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: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 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:googlescopusApplication of formal methods to verify business processes
Conference ObjectAbstract: Formal specifications and modeling languages can be used to provide support for Business Process (BPPalabras claves:BUSINESS PROCESS, Model checking, qualitative analysis, Task model, Timed AutomataAutores:Carlos Monsalve, Carlos Teodoro Monsalve Artega, Luis Eduardo Mendoza Morales, Monica VillavicencioFuentes:googlescopusFormal verification of business processes as timed automata
Conference ObjectAbstract: Despite the representation of a business process (BP) with Business Process Model and Notation (BPMNPalabras claves:BUSINESS PROCESS, Model checking, qualitative analysis, Task model, Timed AutomataAutores:Carlos Monsalve, Carlos Teodoro Monsalve Artega, Luis Eduardo Mendoza Morales, Monica VillavicencioFuentes:googlescopus