INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

July 2011
M T W T F S S
« Jun   Aug »
 123
45678910
11121314151617
18192021222324
25262728293031

 
  • INES at CBSoft 2011 – Tools Session

    (0)
    Publicado em July 4th, 2011Uncategorized

    INES will be present in the Tools Session of the Brazilian Conference on Software: Theory and Practice (CBSoft), September 29-30, 2011.  The following tools will be presented:

    – “RealTimePCO – A Tool for Real-Time Embedded Systems Testing Execution”
    Augusto Macedo, Wilkerson Andrade, Patricia Machado (UFCG)

    – “JMLok: Uma Ferramenta para Verificar Conformidade em Programas Java/JML”
    Catuxe Varjão, Rohit Gheyi, Tiago Massoni, Gustavo Soares (UFCG)

    – “A Tool for Improving Maintainability of Preprocessor-based Product Lines”
    Márcio Ribeiro, Társis Tolêdo, Paulo Borba (UFPE); Claus Brabrand (IT University of Copenhagen)

    – “Analyzing Architectural Layering Violations in Aspect-Oriented Software with ArchE Meter”
    Juliana Saraiva, Sérgio Soares, Fernando Castor (UFPE)

    CBSoft is the main Brazilian event on subjects related to software development and evolution gathering academic, industrial and governmental communities in order to promote discussions on the latest researches, trends and innovations – practical and theoretical.