INES – National Institute of Science and Technology for Software Engineering

INES, ASSERT & CIn/UFPE researchers at CBSoft’2016

Prof. Vinicius Cardoso Garcia (CIn/UFPE) together with graduate and undergraduate students will attend the VII Brazilian Conference on Software: Theory and Practice (CBSoft 2016), one of the major events held annually by the Brazilian Computer Society.

The congress will take place in Maringá, from the 19th to the 23th of September 2016.

INES, ASSERT & CIn/UFPE researchers at CBSoft 2015

Prof. Vinicius Cardoso Garcia (CIn/UFPE) together with graduate and undergraduate students will attend the Brazilian Conference on Software: Theory and Practice (CBSoft 2015), one of the major events held annually by the Brazilian Computer Society.

The congress will take place in Belo Horizonte, Minas Gerais, Brazil from the September, 21st to September, 25th of 2015.

This activity is part of the project “Social Machines and Research Team – SMaRT” and is one of the results of the research being done by ASSERT Lab.

ASSERT + INES + UFPE researchers at CBSoft 2014

Prof. Vinicius Cardoso Garcia together with graduate and undergraduate students will attend CBSoft 2014 in Maceió from 28 September to 03 October to attend the conference and present research papers. This activity is part of the project “Social Machines and Research Team – SMaRT” and is one of the results of the research being done by ASSERT Lab.

UFPE Researchers at CBSoft 2013

Prof. Vinicius Cardoso Garcia together with graduate and undergraduate students will attend CBSoft 2013 to attend the conference and present research papers. This activity is part of the project “Social Machines and Research Team – SMaRT” and is one of the results of the research being done by ASSERT Lab.

Lucas Lima, a PhD student from UFPE, and Prof. Márcio Cornélio will present the paper “A Formal Semantics for SysML Activity Diagrams” at the CBSoft 2013. This is a full paper presentation at the Brazilian Symposium on Formal Methods (SBMF).

UFPE (SRG group) Researchers will be at CBSoft 2012

Professor Andre Santos, PhD students Tarciana Dias da Silva, Giovanny Fernando Lucero Palma, Joabe Bezerra de Jesus Júnior, Diego Machado Dias, the MSc student Marcelo Costa and Prof. Sidney Nogueira, MSc students Felype Santiago and Paola Accioly, PhD student Márcio Ribeiro will participate in the 3rd CBSoft. CBSoft will be held from Sep 23 to Sep 29 in Natal, Brazil.

Painel at CBSOFT 2011

Prof. Manoel Mendonça from UFBA and INES was the mediator of this year’s CBSOFT Panel. The panel theme was “Software Theory and Practice”, but it focused on the impact of Brazilian research abroad was as well as on the gap between academic research and industry practice. The panelists were as follows: Hans Dieter Rombach (University of Kaiserslautern & Fraunhofer IESE, Germany); John Harrison (Intel Corporation, USA); José Luiz Fiadeiro (University of Leicester, UK); Joseph W. Yoder (The Refactory, Inc., USA); Michele Lanza (University of Lugano, Switzerland); Paulo Merson (SEI, USA, Ikaru Projects & TCU, Brazil). Together they discussed issues such as:

Did the Brazilian Software Research reach out of our borders?

What contributions do you consider (and know of) that the Brazilian Software Community made to the international scene?

What are opportunities to the Brazilian Software Community in current international R&D scene?

How big is the gap (or chasm) between research (especially in the academia) and industry practice in your area?

Is this gap being reduced? How this gap can be reduced?

How the Brazilian research community and industry can best contribute to this effort?

INES at CBSOFT 2011: FEES 2011 & SBES is 25

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)

INES at SBMF 2011

The MSc studend Diego Machado and the professor Juliano Iyoda, INES researchers members 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 the XIV Brazilian Symposium on Formal Methods (SBMF 2011) in the II Brazilian Conference on Software (CBSoft 2011), that will be in São Paulo, SP, from 26 to September 30.

Publication details
Authors: Diego Machado Dias and Juliano Manabu Iyoda.
Title: Behavioural Preservation in Fault Tolerant Patterns.

INES at CBSoft 2011 Tools Session

The students Márcio Ribeiro (PhD) and Társis Tolêdo (MSc), INES researchers members from the project Tool Support for Software Product Lines Development and Evolution — in portuguese, Ferramentas para Desenvolvimento e Evolução de Linhas de Produtos de Software, has an accepted paper at the Tools Session of II Brazilian Conference on Software (CBSoft 2011), that will be in São Paulo, SP, from September 26th to October 2nd, 2011.

Publication Details:
Authors: Márcio Ribeiro, Társis Tolêdo, Paulo Borba and Claus Brabrand.
Title: A Tool for Improving Maintainability of Preprocessor-based Product Lines.

INES at SBES 2011

The PhD student Leopoldo Teixeira and the professor Paulo Borba, INES researchers members from the project Tool Support for Software Product Lines Development and Evolution — in portuguese, Ferramentas para Desenvolvimento e Evolução de Linhas de Produtos de Software, has an accepted paper at the XXV Brazilian Symposium on Sofware Engineering (SBES 2011) in the II Brazilian Conference on Software (CBSoft 2011), that will be in São Paulo, SP, from September 26th to October 2nd, 2011.

Publication Details:
Authors: Leopoldo Teixeira, Rohit Gheyi and Paulo Borba.
Title: Safe Composition of Configuration Knowledge-based Software Product Lines.