Exploring Development Methods for Reactive Synthesis Specifications

Gesellschaft für Informatik (GI) 2026 Open access

Read full text
Authors: Dor Ma’ayan, Shahar Maoz, Jan Oliver Ringert
DOI: 10.18420/se2026_22
Cited by: 0

Abstract

This abstract reports on [MMR25b] where we explored two different development methods for reactive synthesis specifications. We evaluated the methods using a mixed-method analysis that combines grounded theory analysis, quantitative exploratory data analysis, and a qualitative, independent expert review of the final specifications.

Fields of Study & Subjects

Advanced Software Engineering Methodologies Software Engineering Techniques and Practices Formal Methods in Verification

Publication details

Journal / source
Gesellschaft für Informatik (GI)
Publication date
1 January 2026
Language
EN