A III Escola de Informática Teórica e Métodos Formais (ETMF 2018) e o XXI Simpósio Brasileiro de Métodos Formais (SBMF 2018), que aconteceram na última semana de novembro em Salvador, tiveram significativa participação de alunos e pesquisadores do Centro de Informática (CIn) da UFPE. Os eventos focam no estudo e aplicação de métodos formais no desenvolvimento de software e sistemas. Em 2017, o CIn sediou a  ETMF e o SBMF.

O professor Leopoldo Teixeira organizou a ETMF 2018, enquanto o professor Gustavo Carvalho, responsável pela organização dos dois eventos em 2017, ministrou um minicurso na Escola. Já o SBMF 2018 contou com cinco palestrantes convidados: o professor Alexandre Mota (CIn – UFPE), além dos convidados internacionais Jim Davies (University of Oxford, UK), Leo Freitas (Newcastle University, UK), Jose Meseguer (University of Illinois at Urbana-Champaign, USA) e Mohammad Mousavi (University of Leicester, UK).

No SBMF 2018, foram apresentados 14 artigos, dos quais cinco contam com a participação de grupos de pesquisa do Brasil. Destes cinco artigos, há participação do CIn-UFPE em quatro, são eles:
 

– Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions

(Rafaela Almeida, Sidney Nogueira and Augusto Sampaio);
 

– Analysing RoboChart with Probabilities

(Madiel Conserva Filho, Rafael Marinho, Alexandre Mota and Jim Woodcock);
 

– Safe and Constructive Design with UML Components

(Flávia Falcão, Lucas Lima and Augusto Sampaio);

 

– Formal modelling of environment restrictions from natural-language requirements

(Tainã Santos, Gustavo Carvalho and Augusto Sampaio)

 

Próximas edições

São Paulo (SP) foi a cidade escolhida para realização da ETMF e do SBMF em 2019.

Comentários desativados