INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

November 2021
M T W T F S S
« Nov    
1234567
891011121314
15161718192021
22232425262728
2930  

 
  • INES at SBMF 2010

    (0)
    Publicado em August 25th, 2010Publications

    The paper “Synchronizing Model and Program Refactoring” has been accepted for publication, and will be presented at the Brazilian Symposium of Formal Methods. The event will be held in Natal, in early November. The authors, Tiago Massoni, Rohit Gheyi and Paulo Borba, are part of several projects within INES. The published work is within the context of the “Making Program Evolution Safer” Project.

    , ,
  • UFPE and UFCG Researchers at CBSOFT 2010

    (0)
    Publicado em August 18th, 2010Uncategorized

    Márcio Cornélio, Rohit Gheyi, and Tiago Massoni (INES researchers), will attend the 1st Brazilian Conference on Software: Theory and Practice (CBSoft), from September 27th through October 1st. In this occasion, they will present a short course entitled “Java Modeling Language – JML”. This short course is part of the project “Making Program Evolution Safer“. Other researcher, Henrique Rebêlo (UFPE), will also attend CBSoft.