Formal reasoning for analyzing goal models that evolve over time

AM Grubb, M Chechik - Requirements Engineering, 2021 - Springer
In early-phase requirements engineering, modeling stakeholder goals and intentions helps
stakeholders understand the problem context and evaluate tradeoffs, by exploring possible …

Towards checking consistency-breaking updates between models and generated artifacts

MA Zaheri, M Famelis, E Syriani - 2021 ACM/IEEE International …, 2021 - ieeexplore.ieee.org
Model-based Low-Code systems rely on high-level specifications (models) to generate all
artifacts of the resulting software. Such artifacts can be code, schemas, as well as data, and …

Development and Evolution of Software Product Lines Driven by Stakeholder Beliefs

L Burgueño, JM Horcas, J Kienzle - Proceedings of the 27th ACM …, 2023 - dl.acm.org
The planning, realization, and release of a Software Product Line (SPL) are driven by
features. Therefore, many high-level decisions about the evolution of an SPL are made at …

[HTML][HTML] Leveraging belief uncertainty for informed decision making in software product line evolution

JM Horcas, L Burgueño, J Kienzle - Journal of Systems and Software, 2025 - Elsevier
Abstract Software Product Lines (SPL) are not static software artifacts, but they evolve over
time. The planning, realization, and release of a SPL requires many high-level decisions …

A divide & concur approach to collaborative goal modeling with merge in early-re

KR Hablutzel, A Jain, AM Grubb - 2022 IEEE 30th international …, 2022 - ieeexplore.ieee.org
Goal modeling enables the elicitation of stakeholders' intentionality in the earlier stages of a
project. Often, approaches are limited by the effort required to create an initial goal model. In …

Union Models for Model Families: Efficient Reasoning over Space and Time

S Alwidian, D Amyot, Y Lamo - Algorithms, 2023 - mdpi.com
A model family is a set of related models in a given language, with commonalities and
variabilities that result from evolution of models over time and/or variation over intended …

Reasoning about Confidence in Goal Satisfaction

M Baslyman, D Amyot, J Mylopoulos - Algorithms, 2022 - mdpi.com
Goal models are commonly used requirements engineering artefacts that capture
stakeholder requirements and their inter-relationships in a way that supports reasoning …

Leveraging belief uncertainty for informed decision making in software product line evolution

JM Horcas-Aguilera, L Burgueño-Caballero, J Kienzle - 2025 - riuma.uma.es
Software Product Lines (SPL) are not static software artifacts, but they evolve over time. The
planning, realization, and release of a SPL requires many high-level decisions involving …

[PDF][PDF] Preface to the JOT issue on 17th European Conference on Modelling Foundations and Applications (ECMFA 2021)

In this preface, the editors present an overview of the topics and scope of the European
Conference on Modelling Foundations and Applications (ECMFA), and describe the editorial …