Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Conference Object(2)
Publisher
ICEIS 2011 - Proceedings of the 13th International Conference on Enterprise Information Systems(1)
IX Jornadas Iberoamericanas de Ingenieria de Software e Ingenieria del Conocimiento 2012, JIISIC 2012(1)
Área temáticas
Ciencias de la computación(2)
Área de conocimiento
Ingeniería de software(2)
Origen
scopus(2)
BTRANSFORMER: A tool for BPMN to CSP+T transformation
Conference ObjectAbstract: In any organisation, properties such as scope, structure, deployment, capability, structural consistPalabras claves:Business process modelling language, Formal software specification, Model transformation languages, Process calculus, Transformation toolAutores:Domínguez K., González A., Luis Eduardo Mendoza Morales, Mendez E., Pérez M.A., Tuñón M.I.C.Fuentes:scopusMethod for temporal logic specification of properties of critical business processes (MEPRONEC)
Conference ObjectAbstract:Palabras claves:Autores:Domínguez K., Luis Eduardo Mendoza Morales, Mendez E., Mijares M., Pérez M.A.Fuentes:scopus