INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

July 2013
M T W T F S S
« Jun   Aug »
1234567
891011121314
15161718192021
22232425262728
293031  

 
  • SBMF co-chair at CBSoft 2013

    (0)
    Publicado em July 18th, 2013News

    Juliano Iyoda, co-chair of the Brazilian Symposium on Formal Methods (SBMF), will attend CBSoft and SBMF 2013 in Brasília-DF from 29 September to 04 October.

  • UFPE Researchers at CBSoft 2013

    (0)
    Publicado em July 18th, 2013Publications

    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).

    , , , ,
  • UFCG Researchers at CBSoft 2013

    (0)
    Publicado em July 18th, 2013Uncategorized

    Prof. Wilkerson Andrade and Prof. Patricia Machado together with graduate and undergraduate students will attend CBSoft 2013 to present a short course and also research papers. This activity is part of the project “Combining Formal Methods and Testing in the Development of Real-Time Embedded Systems.