Mostrando 4 resultados de: 4
Filtros aplicados
Subtipo de publicación
Conference Object(4)
Publisher
ICEIS 2019 - Proceedings of the 21st International Conference on Enterprise Information Systems(1)
Iberian Conference on Information Systems and Technologies, CISTI(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Proceedings - 2020 IEEE World Congress on Services, SERVICES 2020(1)
Application of formal methods to verify business processes
Conference ObjectAbstract: Formal specifications and modeling languages can be used to provide support for Business Process (BPPalabras claves:BUSINESS PROCESS, Model checking, qualitative analysis, Task model, Timed AutomataAutores:Carlos Monsalve, Carlos Teodoro Monsalve Artega, Luis Eduardo Mendoza Morales, Monica VillavicencioFuentes:googlescopusApplication of methodologies and process models in big data projects
Conference ObjectAbstract: The concept of Big Data is being used in different business sectors; however, it is not certain whicPalabras claves:agile methodologies, BIG DATA, Systematic literature review, TEXT MININGAutores:Luis Eduardo Mendoza Morales, Monica Villavicencio, Rosa E. QuelalFuentes:scopusFormal verification of business processes as timed automata
Conference ObjectAbstract: Despite the representation of a business process (BP) with Business Process Model and Notation (BPMNPalabras claves:BUSINESS PROCESS, Model checking, qualitative analysis, Task model, Timed AutomataAutores:Carlos Monsalve, Carlos Teodoro Monsalve Artega, Luis Eduardo Mendoza Morales, Monica VillavicencioFuentes:googlescopusEducation Model for Developing IoT and Cloud Mobile Applications
Conference ObjectAbstract: The development of advanced mobile applications, which combines the use of IoT hardware and cloud coPalabras claves:Cloud Mobile Application Development, Cloud Software Engineering, higher education, IOTAutores:Adriana Collaguazo, Alain Abran, Monica VillavicencioFuentes:googlescopus