Attend ABZ 2021 – 8th International Conference on Rigorous State Based Methods. My interest on the subject inherits from statecharts model used for IMA-CID and LODM. Two models widely discussed are Abstract State Machines (ASM) and Event-B. There also some efforts on integrating domain knowledge (represented as ontologies) with state machines, which I find really nice. When designing and using LODM, I tried to use the conceptual model to ground the state machines and even to associate concepts to events (and, therefore, states transition).

Talk to Leandro César da Cruz: how to handle git internals to detect testing patterns in open source software.

Talk to Yuri Rafael Grajefe Feitosa: PDM, Code Workout, slides for WEI.

Talk to Vinicius Bosa Petris: TCC.

Attend meeting at UTFPR: https://www.youtube.com/watch?v=xEiN9wx30n0

Talk to Ivanilton about IPB/COIL.