INES – National Institute of Science and Technology for Software Engineering

RSS feed


February 2011
« Jan   Mar »

  • INES at 3rd NASA Formal Methods Symposium

    Publicado em February 10th, 2011Uncategorized

    The professor Marcelo d’Amorim, INES researcher member from the project Tests Generation, Selection, Prioritization and Processing Product Line — in portuguese, Linhas de Produtos de Geração, Seleção, Priorização e Processamento de Testes, has an accepted paper at 3rd NASA Formal Methods Symposium that will be in Pasadena, California , from 18 to April 20.

    Publication details

    Authors –  Matheus Souza, Mateus Borges, Marcelo d’Amorim and Corina Pasareanu.

    Title – CORAL: Solving Complex Constraints for Symbolic PathFinder

  • Member of DCC/UFBA/Cin/UFPE visits Virginia Tech

    Publicado em February 8th, 2011Uncategorized

    The Ph.D. student Ivonei Silva from Federal University of Pernambuco is going to visit Virginia Tech between Mar-May to work on his Ph.D. research.

    During this period, issues related to SPL and Agile will be investigated.

  • INES at EASE 2011

    Publicado em February 8th, 2011Uncategorized

    INES researchers members from the project An Investigation of Methods, Processes, Tools, and Metrics for the Development of Software Product Lines (SPL)” — in portuguese, Uma Investigação de Processos, Ferramentas e Métricas para o Desenvolvimento de Linhas de Produto de Software has an accepted paper at 15th International Conference on Evaluation and Assessment in Software Engineering (EASE).

    Publication details: Jonatas Bastos, Paulo Neto, Eduardo Almeida and Silvio Romero de Lemos Meira. Adopting Software Product Lines: A Systematic Mapping Study.

  • UFRPE acquires equipment for INES Lab

    Publicado em February 7th, 2011Expenses

    Researcher Adriano Lorena from UFRPE is acquiring equipments for the INES lab at UFRPE, for the project “Software Project Effort Estimation with Computational Intelligence and Statistics“.

  • UFCG acquires equipment for INES Lab

    Publicado em February 7th, 2011Uncategorized

    Researchers Tiago Massoni and Rohit Gheyi from UFCG are acquiring a equipment for the INES lab. This notebook will be used by Felipe Abella. He is preparing for the International Olympiad in Informatics and the ACM/ICPC.

  • Project hires new researcher

    Publicado em February 7th, 2011Uncategorized

    The project “Making Program Evolution Safer” hires one undergraduate researcher to work on software change impact analysis.

  • INES Researcher at ALM Conference

    Publicado em February 4th, 2011Uncategorized

    Teresa Maciel, INES researcher in agile software development, is going to São Paulo this month to attend, as a speaker, the event ALM Conference, which aims to sharing knowledge in process management and systems development life cycle of applications. The conference will be attended by Ken Schwaber, creator of Scrum methodology. More information on the site of the SENAC university

  • INES at HotMobile 2011

    Publicado em February 2nd, 2011Publications

    INES researchers had a paper accepted at 12th Workshop on Mobile Computing Systems and Applications (HotMobile 2011), Phoenix, USA, March 2011.

    Publication’ details are: Morais, Y., Elias, G. “Multi-MOM: A Multi-Paradigm, Extensible and Message-Oriented Mobile Middleware”. In Proceedings of the 12th Workshop on Mobile Computing Systems and Applications.

    Abstract: Due to the asynchronous and loosely coupled communication style, Message-oriented Middleware (MOM) platforms have been commonly adopted for supporting the development of networked mobile applications. However, one of the most significant limitations of current MOMs for mobile platforms is that they typically support a single, predefined communication paradigm (e.g., publish/subscribe). Such a restriction limits the scope of applications supported by the middleware. In order to mitigate such a limitation, this paper presents a middleware for mobile devices capable of supporting an extensible set of message-oriented communication paradigms (e.g. tuple spaces, message queue, publish/subscribe). Supported by an integrated architecture, the middleware encapsulates common features that deal with mobility issues and provides them as shared, reusable components. Evaluation results show that the overhead introduced by such a multi-paradigm approach is minimal, both in memory footprint and runtime performance.

  • Member of DCC/UFBA visits UFPE

    Publicado em February 1st, 2011Uncategorized

    The professor Eduardo Almeida from Federal University of Bahia is going to visit UFPE from 16-18 Feb to work with his master and Ph.D. students from the project. In this meeting, issues related to SPL testing, traceability and DSPL will be discussed.