Tools Session of the Brazilian Conference on Software: Theory and Practice (CBSoft 2014) - from September 28 to October 3.
Maceió, Alagoas, Brazil



Submission deadline: June 2, 2014
Review notification: July 7, 2014
Rebuttal deadline: July 14, 2014
Notification of acceptance: July 28, 2014
Camera-ready deadline: August 8, 2014



The Tools Session is part of the V Brazilian Conference on Software: Theory and Practice (CBSoft 2014), which integrates four traditional and well established symposia:

  • XXVIII Brazilian Symposium on Software Engineering (SBES, 2014)
  • XVIII Brazilian Symposium on Programming Languages (SBLP, 2014)
  • XVII Brazilian Symposium on Formal Methods (SBMF, 2014)
  • VIII Brazilian Symposium on Components, Architectures and Reuse (SBCARS 2014)

For many years, the Tools Session has been traditionally promoted as part of the SBES and SBCARS. In 2010, when SBES, SBCARS and SBLP had been put together under the new conference CBSoft, the Tools Session started to aggregate contributions from researchers and professionals from these three communities. After that, during CBSoft 2011, the Tools Session also included the SBMF community.

The goal of the Tools Session is to create a productive environment for presentation and demonstration of automated solutions that support software development and management.
The target audience includes members of the scientific community and practitioners. Members of the scientific community can present their research results in the fields of Software Engineering, Programming Languages, Formal Methods, Components, Architectures and Software Reuse. The practitioners are also welcome to show commercial or proprietary tools that provide significant gains in terms of productivity or quality in the software development.

Authors of papers submitted to the Tools Session will be able to present and advertise their tools to the attendees of SBES, SBLP, SBMF, and SBCARS. The Tools Session will comprise both an oral and a practical presentation of the tool.



Authors are invited to submit papers that describe automated solutions to the diverse aspects and necessities discussed by any of the CBSoft events: SBES, SBLP, SBMF, SBCARS.

The topics of interest include, but are not limited to:

  • Aspect-oriented Software Development
  • Configuration Management
  • Distributed Software Development
  • Experimental Software Engineering
  • Metrics and Measurement in Software Engineering
  • Model-driven Development
  • Requirement Engineering
  • Software Architecture
  • Software Maintenance, Refactoring, and Reengineering
  • Software Reuse
  • Software Product-Line Engineering
  • Software Processes
  • Supporting Environment and Compilers
  • Theoretical Foundation and Formal Methods
  • Verification, Validation, and Test



Unlike previous editions, the submissions must include both a paper and a video about the tool, following the guidelines shown below:

The paper must be original and should not be under review or published in other forums. The content of the paper must include the following points:

a) A description of the problem handled by the tool and motivation;
b) A description of the main functionalities and indication of potential users;
c) Usage example, possibly using a case study and screen shots that illustrates the tool interfaces;
d) Tool architecture, focusing on the main software components and the interfaces among them;
e) Brief comparison with other existing related tools;
f) License (if applicable);

Papers should not exceed 8 (eight) pages, one column, A4, including figures, references, and appendixes. Papers should be written in English or Portuguese, and submitted in PDF. Please, double check the quality and readability of figures. The submission format should adhere to the SBC template, which is available at

The videos aim to demonstrate the tool, drawing the watcher´s attention for its main contributions. It is advisable the videos have the following characteristics:

a) The video should be made available at at the time of submission and should take between four and seven minutes;
b) The video URL should be put right below the paper abstract;
c) The video can contain a presenter (voice), demonstrating the tool´s capabilities. The explanation can be in Portuguese or English;
d) There should be a brief introduction, providing an overview of the tool and its goals;
e) It should be presented, if applicable, all the tool´s functionalities;
f) It should be shown the outputs the tool produces, emphasizing the quality of the results;
g) Depending on the tools, it could be interesting to employ an example or a case study showing its application;

The acceptance of a tool implies the registration of at least one of the authors in the CBSoft 2013 to present the tool. During the Tools Session, the authors will need to give a technical presentation and a demonstration of their tool

The web system that must be used to submit the paper is JEMS (Journal and Event Management System), available at:



The Tools Session usually takes place in two days during CBSoft. The first day holds the oral presentation and the second day holds the demo session. Notice that the demo session is a moment in which the authors should demonstrate the functionalities of the tool, using it. At this session, it is not possible to use the video that was prepared for the submission. Both the oral presentation and the demo session are required for all accepted tools.



Uirá Kulesza - DIMAp/UFRN
Valter Vieira de Camargo - DC/UFSCar


Adenilso Simao - ICMC-USP
Alexandre Mota - UFPE
Anamaria Martins Moreira - UFRJ
André Santos - UFPE
Arilo Dias Neto - UFAM
Cecilia Rubira - UNICAMP
Cláudio Sant`Anna - UFBA
Daniel Lucrédio - DC/UFSCar
David Déharbe - UFRN
Delano Beder - DC/UFSCar
Eduardo Almeida - UFBA
Eduardo Figueiredo - UFMG
Elder José Cirilo - UFSJ
Elisa Huzita - UEM
Fabiano Ferrari - DC/UFSCar
Fernando Castor - UFPE
Fernando Trinta - UFC
Frank Siqueira – UFSC
Franklin Ramalho - UFCG
Glauco Carneiro - UNIFACS
Gledson Elias - UFPB
Ingrid Nunes - UFRGS
Leila Silva - UFS
Lile Hattori - Microsoft Research
Luis Ferreira Pires - University of Twente
Marcel Oliveira - UFRN
Marcelo dAmorim - UFPE
Marcelo Augusto Santos Turine - UFMS
Marco Tulio Valente - UFMG
Maria Istela Cagnin - UFMS
Márcio Cornélio - UFPE
Nabor Mendonca - UNIFOR
Otavio Lemos - UNIFESP
Patricia Machado - UFCG
Paulo Maciel -UFPE
Paulo Pires - UFRJ
Pedro Santos Neto - UFPI
Raphael Camargo - UFABC
Ricardo Lima - UFPE
Rita Suzana Pitangueira Maciel - UFBA
Roberta Coelho - UFRN
Rohit Gheyi - UFCG
Rosana Braga - ICMC-USP
Rosângela Penteado - DC/UFSCar
Sandra Fabbri - UFSCar
Sérgio Soares - UFPE
Tayana Conte - DCC/UFAM
Tiago Massoni - UFCG
Vander Alves - UnB 


Specific questions of each event, please contact the chairs.
Hosting and Tickets:
Additional information:
Report bugs or errors:




Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Conselho Nacional de Desenvolvi-mento Científico e Tecnológico (CNPq)



INES logo




Springer logo


SBC logo