Bora Bora III - FormaliSE 2026

VenueWindsor Convention Center and Hotels

Room nameBora Bora III

Floor0

Room InformationNo extra information available

Program

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-03:00) Brasilia, Distrito Federal, Brazil.

Use conference time zone: (GMT-03:00) Brasilia, Distrito Federal, BrazilSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 10:30	Engineering and Operationalising Requirements for AIMO2RE / RAISE at Bora Bora III

09:00 30m Day opening		Opening and welcome MO2RE Walid Maalej University of Hamburg, Davide Fucci Blekinge Institute of Technology, Chetan Arora Monash University, Sallam Abualhaija University of Luxembourg, Carla Silva Universidade Federal de Pernambuco, Gopi Krishnan Rajbahadur Centre for Software Excellence, Huawei, Canada, Amel Bennaceur The Open University, UK
09:30 20m Talk		Real-World Traceability Patterns for Generative AI Systems: With Insights from the ABC Dataset RAISE Katherine R. Dearstyne University of Notre Dame, Alberto Daniel Rodriguez Independent, Jane Cleland-Huang University of Notre Dame
09:50 20m Talk		The Role of Requirements Engineering in AI Oriented Software MO2RE Julio Cesar Leite Federal University of Bahia (UFBA)
10:10 20m Talk		Empowering AI-Powered Industrial Design Software: Introducing Constraint Satisfaction Problem for Requirement Alignment (TBC) RAISE haoyu zheng University of Chinese Academy of Sciences, lance zhao Beihang University, zhe li Tsinghua University, yichi zhang Shenyang Institute of Automation, Chinese Academy of Sciences

14:00 - 15:30	AI-Supported Requirements EngineeringRAISE / MO2RE at Bora Bora III

14:00 20m Talk		Using Distinct LLMs to Generate an Initial Software Functional Requirements List in Multiple Interactions RAISE Hayala Curto PUC Minas, Laura Semini Università di Pisa - Dipartimento di Informatica, Humberto Torres PUC MG
14:20 20m Talk		An Exploratory Study on Requirements Reuse: Comparing Manual and ChatGPT-Based Approaches MO2RE Rhenara Alves Oliveira Federal University of Ceara (UFC), Rainara Carvalho , Julian Cardoso , Juliana Lopes Gurgel , Ismayle Santos State University of Ceará, Rossana Andrade Federal University of Ceará
14:40 20m Talk		ComplOps: A Framework for Continuous Compliance Management in Software Development MO2RE Rosivania Batista University of São Paulo, Afonso Fereira Institut de Recherches en Informatique de Toulouse, Alfredo Goldman University of São Paulo
15:00 15m Talk		Automatic identification of domain expressions to build a LEL glossary from Spanish texts MO2RE gabriela perez LIFIA, Facultad de Informática, UNLP, Argentina, Leandro Antonelli National University of La Plata
15:15 15m Panel		Reflections on multi-disciplinarity, openess, and integration of RE with other disciplines MO2RE Ronnie de Souza Santos University of Calgary

16:00 - 17:30	Open Science in Requirements Engineering in the AI eraMO2RE at Bora Bora III

16:00 60m Keynote		What We Learned in 15 Years of Artifact Evaluation MO2RE Ben Hermann University of Stuttgart
17:00 15m Panel		Reflections on multi-disciplinarity, openess, and integration of RE with other disciplines MO2RE Daniel Mendez Blekinge Institute of Technology and fortiss
17:15 15m Talk		Closing MO2RE Davide Fucci Blekinge Institute of Technology, Carla Silva Universidade Federal de Pernambuco, Sallam Abualhaija University of Luxembourg, Chetan Arora Monash University

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 10:30	Opening & Keynote & Case StudyDesigning at Bora Bora III

09:00 15m Day opening		Workshop Opening Designing
09:15 60m Keynote		Designing at Scale: Challenges, Pitfalls, and Lessons Learned Designing Maurício Aniche Alura
10:15 12m Talk		Toward Collecting Evidence of Design Work in Software Maintenance Meetings: Preliminary Results from a Case Study Designing Janet Burge Colorado College, Adriana Meza Soria MIT-IBM Watson AI Lab, Andre van der Hoek University of California, Irvine

11:00 - 12:30	Domain-specific Design & Theory BuildingDesigning at Bora Bora III

11:00 10m Other		Activity: Theory Building - Introduction Designing
11:10 12m Talk		Design Reasoning in a Research and Development Organization: Insights from a Focus Group Study Designing Eriky Rodrigues FPF Tech, Lais Silva , Honorato Rocha , Gilberto Santos , Marcel Salvioni
11:22 12m Talk		Is my Dependency Sustainable? A Systematic Mapping on Open Source Software Sustainability Designing Gabriel Silva Fontes Universidade de São Paulo, Vinicius dos Santos University of São Paulo (ICMC/USP), São Carlos - SP, Elisa Yumi Nakagawa University of São Paulo
11:34 12m Talk		From Framework to Practice: Designing a Real-World Telehealth Application for Palliative Care Designing Wei Zhou Faculty of Information Technology, Monash University, Rashina Hoda Monash University, Andy Li Faculty of Information Technology, Monash University, Chris Bain Faculty of Information Technology, Monash University, Laura Bird Monash Health/Monash University, Emmy Trinh Monash Health, Peter Poon Monash Health, Teresa O’Brien University of Melbourne, Mahima Kalla University of Melbourne, Olivia Metcalf University of Melbourne, Wendy Chapman University of Melbourne, Joycelyn Ling Digital Health Cooperative Research Centre (DHCRC), Sam Georgy Healthdirect Australia (HDA), David Bevan Victorian Department of Health
11:46 12m Talk		Are your Designs Usable? An Empirical SUS-Scale Study on Design Patterns for Mobile Crypto wallet Applications. Designing Francisco Gindre LIFIA - CONICET, Florencia Riva LIFIA - CICPBA, Matías Urbieta LIFIA - CONICET, Gustavo Rossi LIFIA - CONICET
11:58 12m Talk		A Design Space for Federated Software Systems Designing David Wichter German Aerospace Center (DLR), University of Cologne, Alexander Weinert German Aerospace Center (DLR) Institute for Software Technology, Michael Felderer German Aerospace Center (DLR) & University of Cologne
12:10 20m Other		Activity: Theory Building Designing

14:00 - 15:30	Software Design EducationDesigning at Bora Bora III

14:00 12m Talk		Using Generative AI in Software Design Education Designing Victoria Jackson University of Southampton, Susannah Liu University of California, Irvine, Andre van der Hoek University of California, Irvine
14:12 12m Talk		The Digital Nutrition Label: A Tool for Ethical Software Design Education and Validation Designing Mohammad Samarah University of Maryland, Baltimore County, Melissa Sahl University of Maryland Baltimore County, Abhijit Dutt University of Maryland Baltimore County, Charissa Cheah University of Maryland Baltimore County
14:24 12m Talk		Evolving Job Responsibilities for Better Software Design and Development - The STEADY Framework Designing Fayaz Suleman University of North Carolina at Charlotte, David Wilson University of North Carolina at Charlotte
14:36 54m Other		Activity: Design Education Designing

16:00 - 17:30	Software Design and AI & ClosingDesigning at Bora Bora III

16:00 12m Talk		Improving LLM-assisted code generation through the use of architectural documents and implementation plans. Designing Humberto Cervantes UAM Iztapalapa, Rick Kazman University of Hawai‘i at Mānoa, Yuanfang Cai Drexel University
16:12 12m Talk		Evaluating Frontier LLMs in Answering Game-Design Questions: A Preliminary Study Designing Adams Amaral de Castro Filho Universidade de Fortaleza, Maria Andréia Formico Rodrigues University of Fortaleza, Nabor Mendonca University of Fortaleza
16:24 56m Other		Activity: Design & AI Designing
17:20 10m Day closing		Workshop Closing Designing

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Bora Bora III	MO2RE + RAISE Engineering and Operationalising Requirements for AI																								MO2RE																																				RAISE + MO2RE AI-Supported Requirements Engineering																								MO2RE Open Science in Requirements Engineering in the AI era

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Bora Bora III	Designing Opening & Keynote & Case Study																								Designing Domain-specific Design & Theory Building																																				Designing Software Design Education																								Designing Software Design and AI & Closing

Tue 14 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Bora Bora III	UISE																								UISE																																				UISE																								UISE

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Bora Bora III	MO2RE Opening and welcome 09:00 - 09:30						RAISE Real-World Traceability Patterns for Generative AI Systems: With Insigh ... 09:30 - 09:50				MO2RE The Role of Requirements Engineering in AI Oriented Software 09:50 - 10:10				RAISE Empowering AI-Powered Industrial Design Software: Introducing Constrain ... 10:10 - 10:30																																														RAISE Using Distinct LLMs to Generate an Initial Software Functional Requirem ... 14:00 - 14:20				MO2RE An Exploratory Study on Requirements Reuse: Comparing Manual and ChatGP ... 14:20 - 14:40				MO2RE ComplOps: A Framework for Continuous Compliance Management in Software ... 14:40 - 15:00				MO2RE Automatic identification of domain expressions to build a LEL glossary ... 15:00 - 15:15			MO2RE Reflections on multi-disciplinarity, openess, and integration of RE wit ... 15:15 - 15:30									MO2RE What We Learned in 15 Years of Artifact Evaluation 16:00 - 17:00												MO2RE Reflections on multi-disciplinarity, openess, and integration of RE wit ... 17:00 - 17:15			MO2RE Closing 17:15 - 17:30

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Bora Bora III	Designing Workshop Opening 09:00 - 09:15			Designing Designing at Scale: Challenges, Pitfalls, and Lessons Learned 09:15 - 10:15												Designing Toward Collecting Evidence of Design Work in Software Maintenance Meeti ... 10:15 - 10:27									Designing Activity: Theory Building - Introduction 11:00 - 11:10		Designing Design Reasoning in a Research and Development Organization: Insights f ... 11:10 - 11:22		Designing Is my Dependency Sustainable? A Systematic Mapping on Open Source Softw ... 11:22 - 11:34			Designing From Framework to Practice: Designing a Real-World Telehealth Applicati ... 11:34 - 11:46		Designing Are your Designs Usable? An Empirical SUS-Scale Study on Design Pattern ... 11:46 - 11:58			Designing A Design Space for Federated Software Systems 11:58 - 12:10		Designing Activity: Theory Building 12:10 - 12:30																						Designing Using Generative AI in Software Design Education 14:00 - 14:12		Designing The Digital Nutrition Label: A Tool for Ethical Software Design Educati ... 14:12 - 14:24			Designing Evolving Job Responsibilities for Better Software Design and Developmen ... 14:24 - 14:36		Designing Activity: Design Education 14:36 - 15:30																	Designing Improving LLM-assisted code generation through the use of architectural ... 16:00 - 16:12		Designing Evaluating Frontier LLMs in Answering Game-Design Questions: A Prelimin ... 16:12 - 16:24			Designing Activity: Design & AI 16:24 - 17:20											Designing Workshop Closing 17:20 - 17:30

Room information: Bora Bora III

This program is tentative and subject to change.

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

MO2RE + RAISE

MO2RE

RAISE + MO2RE

MO2RE

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Designing

Designing

Designing

Designing

Tue 14 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

UISE

UISE

UISE

UISE

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Tracks

Room information: Bora Bora III

This program is tentative and subject to change.

Program Display Configuration

Sun 12 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 13 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Sun 12 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

MO2RE + RAISE

MO2RE

RAISE + MO2RE

MO2RE

Mon 13 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Designing

Designing

Designing

Designing

Tue 14 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

UISE

UISE

UISE

UISE

Sun 12 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 13 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Tue 14 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change