2 citations · 4 across the 5 of their papers we have counts for
3 papers
How Do Requirements Evolve During Elicitation? An Empirical Study Combining Interviews and App Store Analysis
Alessio Ferrari, Paola Spoletini, Sourav Debnath
Requirements are elicited from the customer and other stakeholders through an iterative process of interviews, prototyping, and other interactive sessions. Then, requirements can b…
Modeling, refining and analyzing Incomplete Büchi Automata
Claudio Menghi, Paola Spoletini, Carlo Ghezzi
Software development is an iterative process which includes a set of development steps that transform the initial high level specification of the system into its final, fully speci…
Fuzzy Time in LTL
Achille Frigeri, Liliana Pasquale, Paola Spoletini
In the last years, the adoption of active systems has increased in many fields of computer science, such as databases, sensor networks, and software engineering. These systems are…