INES - National Institute of Science and Technology for Software Engineering
Publicado em July 8th, 2015Uncategorized
The Ingenico company has a cooperation with UFCG to investigate application of analytics to data related to failures in Ingenico machines (terminals). The extraction of failure and maintenance information occurs periodically and need to be analysed. The visit allow the convergence of interests form both company and UFCG to improve data exploration in the scenario of Big Data, as a big number of extractions are expected by month in machines of all Latin America.
Publicado em July 8th, 2015About the InstituteThe paper “A lattice-based representation of temporal failures” was accepted for publication at 3rd IEEE International Workshop on Formal Methods Integration (FMi), part of the 16th IEEE International Conference on Information Reuse and Integration.This activity is part of the project ”Reliability and Safety in Critical Software” (In portuguese, “Conﬁabilidade e Segurança em Software Crítico”).More details about the publication: Didier, A. L. R; Mota, A. A lattice-based representation of temporal failures, 3rd IEEE International Workshop on Formal Methods Integration (FMi), San Francisco, CA, U.S., 2015.conferencias, Eventos, pesquisa, publicacoes