INES – National Institute of Science and Technology for Software Engineering

RSS feed


May 2022
« Nov    

  • INES researcher attends Dagstuhl seminar

    Publicado em September 5th, 2013Expenses, News

    INES researcher David Déharbe, from Universidade Federal do Rio Grande do Norte, will attend the Dagstuhl seminar on “Integration of Tools for Rigorous Software Construction and Analysis” from September 8th to September 13th, 2013.

  • INES at ESEIW 2013

    Publicado em August 22nd, 2013Expenses, Publications

    INES researcher Eduardo Aranha will attend events at the Empirical Software Engineering International Week (ESEIW 2013) (, to be held in Baltimore, EUA, from October 9th to 10th: the ACM / IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2013), a premier conference to present research results related to empirical software engineering; the 11th International Advanced School of Empirical Software Engineering; the IDOESE Doctoral Symposium (IDoESE 2013). He will also present the following paper, in place of her doctorate student, who is sick:

    – IDOESE Doctoral Symposium Research Plan – TITLE: ”A Model-Driven Approach to Formalize and Support Controlled Experiments in Software Engineering

    Doctorate Student: Marília Aranha

    Advisers: Uirá Kulesza, Eduardo Aranha

    This activity is part of the project “Definição de um Testbed para o Desenvolvimento de Software”.
  • UFRN Researcher participates at RDP 2013

    Publicado em August 1st, 2013Expenses

    Anamaria Martins Moreira, INES member from DIMAp/UFRN, attended one day of activities of RDP 2013 (International Conference on Rewriting Deduction and Programming), including a presentation by Simon Peyton Jones, at the Technical University of Eindhoven. This activity is part of the project “Combining Formal Methods and Testing in the Development of Real-Time Embedded Systems.

  • UFRN researchers at CBSoft 2013

    Publicado em August 1st, 2013Expenses, Publications

    PhD student Ernesto Cid Brasil de Matos will present the BETA tool for unit test generation from formal B models at CBSoft 2013. Prof. Anamaria Martins Moreira, supervisor and responsible of this year’s workshop selection and member of some CBSoft 2013 program comittees, will also be there. This activity is part of the project “Confiabilidade e Segurança em Software Crítico”.

    In another line of work on testing, Viviane de Menezes Ramalho, master student supervised by Anamaria,  will present at SAST 2013 (CBSoft satellite workshop) the paper Application of a syntax-based testing method and tool to software product lines.

  • INES acquires equipments

    Publicado em March 23rd, 2013Expenses

    The INES project “Combining Formal Methods and Testing in the Development of Real-Time Embedded Systems” is acquiring a cordless phone for audio conferences and an iPad for investigating testing with gyroscopes and accelerometers.

  • More INES at EASE 2013

    Publicado em February 26th, 2013Expenses, Publications

    The paper “A Systematic Review of Design Diversity-Based Solutions for Fault-Tolerant SOAs” by Amanda Nascimento (IC-UNICAMP), Cecília Mary F. Rubira (IC-UNICAMP), Rachel Burrows (Lancaster University, UK), Fernando Castor (CIn-UFPE), has been accepted for publication at the 17th International Conference on Evalution and Assessment in Software Engineering (EASE’2013). The conference will be held in April 14 – 16, 2013 at Porto de Galinhas, Brazil.

    This activity is part of the project “Engenharia de Software na Transição para Plataformas Multicore”.

    A brief overview of the paper is given below.

    Background: Over recent years, software developers have been evaluating the benefi ts of both Service-Oriented Architecture (SOA) and software fault tolerance techniques based on design diversity by creating fault-tolerant composite services that leverage functionally equivalent services, or variant services. Three major design issues need to be considered while building fault-tolerant architectures based on design diversity, namely, selection and execution of variants and selection of an adjudication algorithm to determine the correct or adjudicated result from the variants. Each design issue, in turn, might be realized by a set of alternative design solutions, which present different degrees of efficiency (e.g. memory consumption, reliability and response time). Aim: To investigate whether existing approaches for fault-tolerant composite services support the above mentioned design issues and to provide a detailed classi cation of the analysed approaches. Method: A systematic literature review of diversity-based approaches for fault-tolerant composite services, which compose our primary studies. Results: We found 17 primary studies providing direct evidence about the research question. Our findings reveal that the primary studies support a wide variety of design decisions. For example, (i) variant services may be chosen at different points during the software lifecycle; (ii) both parallel and sequential execution schemes have been addressed; and (iii) a variety of adjudication mechanisms were found amongst the target papers. Conclusions: We build up a broad picture of what design issues have been addressed by existing software diversity-based approaches for fault-tolerant composite services. Finally, practical issues and difficulties are summarized and directions for future work are suggested.

    , , ,
  • PhD candidate in research internship at UBC

    Publicado em January 24th, 2013Expenses

    The PhD student João Arthur Brunet Monteiro (UFCG), under supervision of professors Dalton Serey and Jorge C. A. de Figueiredo, and member of the project “Refatoramento de Programas para Migração entre Estruturas de Dados”, will undertake a PhD research internship (Sandwich PhD) at the Software Practices Lab, Department of Computer Science at UBC (University of British Columbia) from Feb/2013 to Jan/2014, and will be supervised by professor Gail C. Murphy.

    In his PhD, João Brunet investigates the architectural erosion phenomenon in the context of software evolution. In this research internship, João will perform a study on academic and industrial case studies to investigate the relevance of architectural violations and how the development team deals with them. The idea is to identify the impact of architectural erosion phenomenon on the activities performed by the development team.

    João will be supported by INES through project “Refatoramento de Programas para Migração entre Estruturas de Dados” and by the “Ciência sem Fronteiras” program of CNPq.

  • INES acquires notebook

    Publicado em August 31st, 2012Expenses

    The project “Data structure migration through Refactoring” is acquiring a MacBook Air 11.6 for a researcher at UFPE.

  • UFS Research at CBSOFT 2012

    Publicado em July 20th, 2012Expenses

    INES researcher Marcos Dósea from the project “Software Productivity Laboratory Network”  will attend the 3st Brazilian Conference on Software: Theory and Practice (CBSoft) in Natal. The aim is to bring new ideas and estabilish new contacts to LabPS/UFS.

  • Ralf Lämmel is going to visit the Software Productivity Group (SPG) at UFPE in August

    Publicado em July 2nd, 2012Expenses

    Ralf Lämmel is going to UFPE to visit the Software Productivity Group (SPG) to discuss with its members about feature-oriented software development (FOSD), aspect-oriented programming (AOP), and refactoring. He is also going to talk about the 101companies project, which he is working on nowadays.