Marco Aurélio - Research / Teaching / Service

This is an old revision of the document!

Research

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).
- Something we often struggle when defining the model is the specification. Currently we use UML, but there are alternatives. In the paper “Structuring the State and Behavior of ASMs: Introducing a Trait-Based Construct for Abstract State Machine Languages”, which was presented by Philipp Paulweber, offered an overview of options. Their proposal is CASM: https://github.com/casm-lang/casm

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.
Talk to Bruno Henrique Pachulski Camara: classification model using test smells.
Subscribe to ISSTA 2021 and ECOOP 2021 (free registration!).