Mostrando 3 resultados de: 3
Filtros aplicados
Subtipo de publicación
Conference Object(3)
Publisher
ICEIS 2011 - Proceedings of the 13th International Conference on Enterprise Information Systems(1)
MEMORIAS: 10th Workshop Iberoamericano de Ingenieria de Requisitos y Ambientes de Software - IDEAS 2007(1)
Proc. of the Int. Joint Workshop on Information Value Management, IVM, Future Trends of Model-Driven Development, FTMDD, RTSOABIS and MSVVEIS 2011, in Conjunction with ICEIS 2011(1)
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:scopusAnalysis of characteristics (preselection mode) to evaluate components platforms
Conference ObjectAbstract:Palabras claves:Autores:González A., Grimánk A., Luis Eduardo Mendoza Morales, Mijares M., Pérez M.A.Fuentes:scopusImplementing a transformation from BPMN to CSP+T with ATL: Lessons learnt
Conference ObjectAbstract: Among the challenges to face in order to promote the use of techniques of formal verification in orgPalabras claves:Autores:González A., Luis Eduardo Mendoza Morales, Pérez M.A., Tuñón M.I.C.Fuentes:googlescopus