INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

September 2011
M T W T F S S
« Aug   Oct »
 1234
567891011
12131415161718
19202122232425
2627282930  

 
  • The 3 CBSoft 2011 best tools are from INES researchers

    (0)
    Publicado em September 30th, 2011Uncategorized

    Today the three best tools were awarded at CBSoft 2011. All of them were made by INES researchers.

    The CBSoft 2011 Best Tool was “A Tool for Improving Maintainability of Preprocessor-based Product Lines”. Márcio Ribeiro (UFPE), Társis Tolêdo (UFPE), Paulo Borba (UFPE), and Claus Brabrand (IT University of Copenhagen)
    1st best paper

    The 2nd CBSoft 2011 Best Tool was “JMLok: Uma Ferramenta para Verificar Conformidade em Programas Java/JML”, Catuxe Varjão (UFCG), Rohit Gheyi (UFCG), Tiago Massoni (UFCG), and Gustavo Soares (UFCG)
    2nd best paper

    The 3rd CBSoft 2011 Best Tool was “Visualizando a Evolução do Comportamento Excepcional em Aplicações Multi-linguagem com eFlowMining”, Israel Garcia (UFRN), Eliezio Soares (UFRN), and Nelio Cacho (UFRN)
    3rd best paper

    Take a look ar the award ceremony video here.

  • The 3 SBES 2011 top papers are from INES researchers

    (0)
    Publicado em September 29th, 2011Uncategorized

    Today at the SBES 2011 Celebration session - “SBES is 25″, INES researchers received bets papers awards for the three best papers of the conference.

    The SBES 2011 best paper was “Analyzing Refactorings on Software Repositories”, by Gustavo Soares, Bruno Catão (UFCG), Catuxe Varjão (UFCG), Solon Aguiar (UFCG), Rohit Gheyi (UFCG) and Tiago Massoni (UFCG).
    1st best paper

    The 2nd best paper was “Safe Composition of Configuration Knowledge-based Software Product Lines”, Leopoldo Teixeira (UFPE); Rohit Gheyi (UFCG); Paulo Borba (UFPE).
    2nd best paper

    And the 3rd best paper was “Agile Testing of Exceptional Behavior”, Rafael Di Bernardo (UFPE), Fernando Castor (UFPE), Ricardo Sales Junior (UFRN), Nelio Cacho (UFRN), Roberta Coelho (UFRN) and Sérgio Soares (UFPE).
    3rd best paper

  • INES at SBSC 2011, Paraty-RJ

    (0)
    Publicado em September 18th, 2011Publications

    The INES sub-project “An Intelligent, Ubiquitous and Context Sensitive Public Transportation System” had two papers (a full paper and a short paper) accepted for publication in the VIII Brazilian Symposium on Collaborative Systems (Simpósio Brasileiro de Sistemas Colaborativos - SBSC).
    SBSC will occur in October 5th - 7th in Paraty/RJ.

    The full paper presents the results of a survey conducted with public transportation users which investigates how collaborative systems based on social networks and collective intelligence can support sharing information with the passengers. The results show that there is a scarcity of ways to obtain real-time information related to public transportation and that the use of social network applications and collective intelligence is an interesting way to share and obtain this kind of information. This is a result of collaboration among researchers of UTFPR-Campo Mourão and UFBA.
    The short paper proposes a social network application that enables users to create routes on maps that can be edited collaboratively. This paper is part of the graduation work of a UTFPR-Campo Mourão student.

    Publication details are:

    Full Paper:
    Ana Paula Chaves, Igor Steinmacher, Vaninha Vieira. Social networks and collective intelligence applied to public transportation systems: A survey. VIII Simpósio Brasileiro de Sistemas Colaborativos (SBSC 2011). Paraty, RJ, outubro, 2011.

    Short Paper:
    Luiz Philipe Serrano Alves, Ana Paula Chaves, Igor Steinmacher. Um aplicativo baseado em inteligência coletiva para compartilhamento de rotas em redes sociais. VIII Simpósio Brasileiro de Sistemas Colaborativos (SBSC 2011). Paraty, RJ, outubro, 2011.
    , ,
  • INES at CBSOFT 2011: FEES 2011 & SBES is 25

    (0)
    Publicado em September 15th, 2011News, Publications

    FEES 2011

    INES researchers will join the FEES 2011 @ CBSoft (São Paulo), to discuss “Free/Libre/Open Source Software Development in Software Engineering Education: Opportunities and Experiences”.

    The work involves researchers from UFBA (INES project: Models, Techniques and Tools for Software Evolution) in collaboration with IME-USP. One of the reported experiences took place in a Software Evolution course at UFBA.

    “Free/Libre/Open Source Software Development in Software Engineering Education: Opportunities and Experiences”

    - Christina Chavez, Antonio Terceiro (UFBA); Paulo Meirelles, Carlos Santos Jr., Fabio Kon (IME-USP)

    SBES is 25

    Researchers from INES project: Models, Techniques and Tools for Software Evolution also participate in two papers accepted at the SBES is 25 Special Track:

    1) “The AOSD Research Community in Brazil and its Crosscutting Impact”
    Christina Chavez, Uirá Kulesza, Sérgio Soares, Paulo Borba, Carlos Lucena, Paulo Masiero, Claudio Sant’Anna, Eduardo Piveta, Fabiano Ferrari, Fernando Castor, Roberta Coelho, Vander Alves , Lyrene Silva, Paulo Pires, Nabor Mendonça , Eduardo Figueiredo, Thais Batista, Carla Silva, Valter Camargo, Nélio Cacho, Otávio Lemos, Flávia Delicato , Arndt von Staa, Fabio Silveira , Fernanda Alencar, Julio Leite, Ricardo Ramos, Rodrigo Bonifácio , Marco Tulio Valente, Rosana Braga, Rosangela Penteado, Jaelson Castro (UFBA, UFRN, UFPE, PUC-Rio, USP, UFSM, UFPB, UFMG, UFSCar, Unifesp, UFRJ, Unifor, Univasf, UnB)

    2)  “Free and Open Source Software Development and Research: Opportunities for Software Engineering”
    Fabio Kon, Paulo Meirelles (IME-USP); Antonio Terceiro, Christina Chavez (UFBA); Nelson Lago (IME-USP); Manoel Mendonça (UFBA)

    , , , , , ,
  • Member of CIn/UFPE visits UnB

    (0)
    Publicado em September 12th, 2011Uncategorized

    The master student Paola Accioly from Federal University of Pernambuco is going to visit the UnB from 26th to 29th September to carry out an experiment that is part of the scope of her master’s research.

  • INES at Software Quality Journal

    (0)
    Publicado em September 5th, 2011Uncategorized

    The paper “The Bug Report Duplication Problem: An Exploratory Study was accepted for publication at the Software Quality Journal. This activity is part of 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.

    More details about the publication:  Cavalcanti, Y.; Neto, P. A. M.; Vale, T.; Lucrédio, D.; Almeida, E. S; Meira, S. R. L. The Bug Report Duplication Problem: An Exploratory Study, Software Quality Journal, 2012

  • INES at SBMF 2011 (CBSoft)

    (0)
    Publicado em September 1st, 2011Publications

    The papers “Extending CRefine to Support Tactics of Refinement” and “Joker: An Animation Framework for Formal Specifications” were accepted for publication as short papers for the Brazilian Symposium on Formal Methods 2011. The authors Marcel Oliveira, Diego Oliveira and Madiel Filho will attend the conference to present their papers.

  • INES researchers at SBMF 2009

    (0)
    Publicado em September 1st, 2011Uncategorized

    UFRN-affiliated INES researchers David Deharbe, Stephenson Galvão and Anamaria Martins Moreira have presented  their work titled Formalizing FreeRTOS: First Steps at the 12th Brazilian Symposium on Formal Methods (SBMF 2009). This paper is now available through this link.

  • INES at PAAR’2010

    (0)
    Publicado em September 1st, 2011Uncategorized

    UFRN affiliated INES researcher David Déharbe, together with LORIA colleagues Thomas Bouton, Diego Caminha B. de Oliveira and Pascal Fontaine have their paper GridTPT: a distributed platform for Theorem Prover Testing accepted for publication at the 2010 edition of the Worshop on Practical Aspects of Automated Reasoning, a.k.a PAAR-2010. The event will be part of the Federated Logic Conference 2010 (FLoC).

    The paper presents a grid-based infrastructure used in the automated testing of the SMT-solver veriT with a data base of thousands of benchmarks.