Summary of activities
The “Modern Refactoring” project is jointly funded by SIU/CAPES (2017/18 & 2019-2021).
News
The 23rd Brazilian Symposium on Formal Methods (SBMF) will be held virtually 25.-27. November 2020! Together with Gustavo Carvalho I’ll be chairing the conference.
Course material
- Volker Stolz, HVL:
Practices and Challenges in Refactoring
(Tutorial at ETMF’17), lecture [PDF] - Volker Stolz, HVL: SBMF’18 panel discussion:
Can we rely on a software-defined society? The role of formal methods
(video) - Larissa Braz, Federal University of Campina Grande, Brazil:
A Change-Centric Approach to Compile Configurable Systems with ifdefs
, lecture - Melina Mongiovi, Federal University of Campina Grande, Brazil:
Detecting overly strong preconditions in refactoring engines by disabling preconditions
, lecture - Márcio Ribeiro, University of Alagoas, Brazil:
A Catalog of Refactorings to Discipline Preprocessor-Based Annotations
, lecture [PDF] - Volker Stolz, HVL:
DAT159 – Selected topics in ICT
, lecture 1: Introduction [PDF], 2: Simple Refactorings [PDF], 3: OO Refactorings [PDF], 4: Bad Smells [PDF], 5: Metrics [PDF], 6: Software Engineering [PDF] - Fernando Macías, HVL:
Towards refactoring meta-models into multi-level models
, talk [PDF] - Patrick Stünkel, HVL: “Database Refactoring” (PDF, Nov’18)
- Angela Barriga Rodriguez, HVL: “Automatic model repair using reinforcement learning” (PDF, Nov’18)
- Anna M. Eilertsen, UiB: “Refactoring for Microservices”, (PDF, Nov’18)
- Ka I Pun, HVL: “ABS tutorial”, (forthcoming, Nov’18)
Joint supervision
Research discussion with PhD students, external examiner for Master theses, participation in ETMF School.
Research meetings
- Visits to UFCG: Nov’17, Nov’18
- Various visits to HVL
Participants
BR | NO |
Rohit Gheyi | Volker Stolz |
Melina Mongiovi | Anya H. Bagge (UiB) |
Márcio Ribeiro (UFAL) | Fernando Macías |
Larissa Braz | Anna M. Eilertsen (UiB) |
Patrick Stünkel | |
Angela Barriga Rodriguez | |
Benjamin Chetioiu (UiB) | |
Violet Ka I Pun |