Search Results - "Spoletini, Paola"

TOrPEDO: witnessing model correctness with topological proofs by Menghi, Claudio, Rizzi, Alessandro Maria, Bernasconi, Anna, Spoletini, Paola

“…Model design is not a linear, one-shot process. It proceeds through refinements and revisions. To effectively support developers in generating model…”
Get full text

A verification-driven framework for iterative design of controllers by Menghi, Claudio, Spoletini, Paola, Chechik, Marsha, Ghezzi, Carlo

“…Controllers often are large and complex reactive software systems and thus they typically cannot be developed as monolithic products. Instead, they are usually…”
Get full text

SaPeer and ReverseSaPeer: teaching requirements elicitation interviews with role-playing and role reversal by Ferrari, Alessio, Spoletini, Paola, Bano, Muneera, Zowghi, Didar

“…Among the variety of the available requirements elicitation techniques, interviews are the most commonly used. Performing effective interviews is challenging,…”
Get full text

Editorial by Dalpiaz, Fabiano, Spoletini, Paola

Get full text

Editorial by Dalpiaz, Fabiano, Spoletini, Paola

Get full text

Editorial by Dalpiaz, Fabiano, Spoletini, Paola

Get full text

Editorial by Dalpiaz, Fabiano, Spoletini, Paola

Get full text

Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation by Ferrari, Alessio, Spoletini, Paola

“…App store-inspired elicitation is the practice of exploring competitors' apps, to get inspiration for requirements. This activity is common among developers,…”
Get full text

Ambiguity and tacit knowledge in requirements elicitation interviews by Ferrari, Alessio, Spoletini, Paola, Gnesi, Stefania

“…Interviews are the most common and effective means to perform requirements elicitation and support knowledge transfer between a customer and a requirements…”
Get full text

Editorial by Dalpiaz, Fabiano, Spoletini, Paola

Get full text

How do requirements evolve during elicitation? An empirical study combining interviews and app store analysis by Ferrari, Alessio, Spoletini, Paola, Debnath, Sourav

“…Requirements are elicited from the customer and other stakeholders through an iterative process of interviews, prototyping, and other interactive sessions…”
Get full text

Teaching requirements elicitation interviews: an empirical study of learning from mistakes by Bano, Muneera, Zowghi, Didar, Ferrari, Alessio, Spoletini, Paola, Donati, Beatrice

“…Interviews are the most widely used elicitation technique in requirements engineering (RE). However, conducting a requirements elicitation interview is…”
Get full text

Evaluating the understandability and user acceptance of Attack-Defense Trees: Original experiment and replication by Broccia, Giovanna, ter Beek, Maurice H., Lluch Lafuente, Alberto, Spoletini, Paola, Fantechi, Alessandro, Ferrari, Alessio

“…Attack-Defense Trees (ADTs) are a graphical notation used to model and evaluate security requirements. ADTs are popular because they facilitate communication…”
Get full text

Measuring Team Members' Contributions in Software Engineering Projects using Git-driven Technology by Parizi, Reza M., Spoletini, Paola, Singh, Amritraj

“…Software engineering is inherently a human-centric and collaborative process and this reflects in its teaching programs, as most of the courses comprise…”
Get full text

Bias-aware guidelines and fairness-preserving Taxonomy in software engineering education by Spoletini, Paola, Parizi, Reza M.

“…This innovative practice work in progress paper tackles the problem of unfairness and bias in software, that recently has emerged in countless cases. This…”
Get full text

Privacy as first-class requirements in software development: A socio-technical approach by Benbenisty, Yizhaq, Hadar, Irit, Luria, Gil, Spoletini, Paola

“…Privacy requirements have become increasingly important as information about us is continuously accumulated and digitally stored. However, despite the many…”
Get full text

Towards Quantum Requirements Engineering by Spoletini, Paola

“…Quantum computing is rapidly transitioning from a scientific curiosity to an industrial reality, offering the potential to overcome classical computation…”
Get full text

Automating trade-off analysis of security requirements by Pasquale, Liliana, Spoletini, Paola, Salehie, Mazeiar, Cavallaro, Luca, Nuseibeh, Bashar

“…A key aspect of engineering secure systems is identifying adequate security requirements to protect critical assets from harm. However, security requirements…”
Get full text

Bounded variability of metric temporal logic by Furia, Carlo A., Spoletini, Paola

“…Deciding validity of Metric Temporal Logic (MTL) formulas is generally very complex and even undecidable over dense time domains; bounded variability is one of…”
Get full text

Bounded Variability of Metric Temporal Logic by Furia, Carlo A., Spoletini, Paola

“…Previous work has shown that reasoning with real-time temporal logics is often simpler when restricted to models with bounded variability-where no more than v…”
Get full text