Mostrando 10 resultados de: 66
Publisher
Iberian Conference on Information Systems and Technologies, CISTI(3)
ICEIS 2007 - 9th International Conference on Enterprise Information Systems, Proceedings(2)
ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems(2)
Revista de la Facultad de Ingenieria(2)
SCITEPRESS(2)
Área temáticas
Ciencias de la computación(29)
Dirección general(26)
Métodos informáticos especiales(13)
Gestión y servicios auxiliares(11)
Física aplicada(6)
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: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:googlescopusBTransformer-a tool for BPMN to CSP+ T transformation
OtherAbstract:Palabras claves:Autores:Luis Eduardo Mendoza MoralesFuentes:googleAMBIENTE 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:googleANÁLISIS DEL DESEMPEÑO DE UN ENFOQUE ARQUITECTÓNICO DATA WAREHOUSE DE INTEGRACIÓN DE SISTEMAS
OtherAbstract: La integración de sistemas de software está afectada por: la demanda de operaciones en tiempo real,Palabras 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:google