INES – National Institute of Science and Technology for Software Engineering

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