Mostrando 10 resultados de: 103
Filtros aplicados
Publisher
ICEIS 2007 - 9th International Conference on Enterprise Information Systems, Proceedings(3)
ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems(3)
ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems(3)
Association for Information Systems - 11th Americas Conference on Information Systems, AMCIS 2005: A Conference on a Human Scale(2)
ICEIS 2006 - 8th International Conference on Enterprise Information Systems, Proceedings(2)
Área temáticas
Ciencias de la computación(61)
Programación informática, programas, datos, seguridad(55)
Dirección general(34)
Métodos informáticos especiales(15)
Gestión y servicios auxiliares(9)
Checking behavioural consistency of UML-RT models through trace-based semantics
Conference ObjectAbstract: Starting from a methodological approach intended to obtain a correct system specification in CSP+T fPalabras claves:CSP+T, Formal semantic, Formal specification, Real-time software systems, UML-RTAutores:Benghazi-Akhlaki K., Luis Eduardo Mendoza Morales, Tuñón M.I.C.Fuentes:googlescopusChecking 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 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:googlescopusBTransformer-a tool for BPMN to CSP+ T transformation
OtherAbstract:Palabras claves:Autores:Luis Eduardo Mendoza MoralesFuentes:googleBusiness 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:googlescopusAMBIENTE 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 Decision Support System to Support Software Quality Through the Selection of Case Tooks
OtherAbstract: The use of Computer Aided Software Engineering (CASE) tools has had a major impact on the productiviPalabras 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 Semantic Formalization of UML-RT Models with csp+ t Processes Applicable to Real-time Systems Verification.
OtherAbstract:Palabras claves:Autores:Luis Eduardo Mendoza MoralesFuentes:google