Mostrando 10 resultados de: 161
Filtros aplicados
Publisher
ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems(6)
ICEIS 2007 - 9th International Conference on Enterprise Information Systems, Proceedings(5)
Iberian Conference on Information Systems and Technologies, CISTI(4)
Association for Information Systems - 12th Americas Conference On Information Systems, AMCIS 2006(3)
ICEIS 2006 - 8th International Conference on Enterprise Information Systems, Proceedings(3)
Área temáticas
Ciencias de la computación(87)
Programación informática, programas, datos, seguridad(62)
Dirección general(61)
Métodos informáticos especiales(22)
Gestión y servicios auxiliares(15)
Área de conocimiento
Ingeniería de software(101)
Software(96)
Ciencias de la computación(22)
Gestión de calidad(18)
Tecnologías de la información y la comunicación(6)
Origen
scopus(68)
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:googlescopusChoreography modeling compliance for timed business models
ArticleAbstract: Business Process Modeling (BPM) is a conceptual activity for embodying the functioning and complex sPalabras claves:BPMN 2.0, Business process modeling, Choreography, Choreography modeling conformance, Timed business processes, Transformation rulesAutores: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 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: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:googlescopusAutomatic compositional verification of business processes
Conference ObjectAbstract: Nowadays the Business Process Modelling Notation (BPMN) has become a standard to provide a notationPalabras claves:Business process modelling, Formal Methods, Model-checking, Task model, VerificationAutores:Luis Eduardo Mendoza Morales, Tuñón M.I.C.Fuentes:googlescopusAutomatic verification of business process integrity
ArticleAbstract: Software engineering methods have shown to be useful in Business Process Modelling (BPM) for improviPalabras claves:BP, BUSINESS PROCESS, Formal Methods, MC, Model-checking, modelling, VerificationAutores:Benghazi-Akhlaki K., Luis Eduardo Mendoza Morales, 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
OtherAbstract:Palabras claves:Autores:Luis Eduardo Mendoza MoralesFuentes:google