E
Eleonora Nicchiarelli
Researcher at University of Trento
Publications - 4
Citations - 725
Eleonora Nicchiarelli is an academic researcher from University of Trento. The author has contributed to research in topics: Software requirements & Goal modeling. The author has an hindex of 3, co-authored 4 publications receiving 711 citations.
Papers
More filters
Journal Article
Reasoning with goal models
TL;DR: In this paper, a formal framework for reasoning with goal models is presented, in particular, a qualitative and a numerical axiomatization for goal modeling primitives and introduces label propagation algorithms that are shown to be sound and complete with respect to their respective axioms.
Book ChapterDOI
Reasoning with Goal Models
TL;DR: A qualitative and a numerical axiomatization for goal modeling primitives are proposed and label propagation algorithms that are shown to be sound and complete with respect to their respectiveAxiomatizations are introduced.
Book ChapterDOI
Formal Reasoning Techniques for Goal Models
TL;DR: In this article, a formal framework for reasoning with goal models is presented, in particular, a qualitative and a numerical axiomatization for goal modeling primitives and introduces label propagation algorithms that are shown to be sound and complete with respect to their respective axioms.
Journal Article
Formal reasoning techniques for goal models
TL;DR: In this paper, a formal framework for reasoning with goal models is presented, in particular, a qualitative and a numerical axiomatization for goal modeling primitives and introduces label propagation algorithms that are shown to be sound and complete with respect to their respective axioms.