INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

July 2015
M T W T F S S
« Jun   Aug »
 12345
6789101112
13141516171819
20212223242526
2728293031  

 
  • UFCG members visit Ingenico-SP

    (0)
    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.

  • INES at FMi 2015

    (0)
    Publicado em July 8th, 2015About the Institute
    The 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, “Confiabilidade 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.
    , , ,