SPOLETINI, PAOLA
SPOLETINI, PAOLA
DIPARTIMENTO DI SCIENZE TEORICHE E APPLICATE
A formal approach supporting the specification and verification of business conversation requirements.
2005-01-01 Cherubini, A.; Colombo, E.; Francalanci, C; Spoletini, Paola
A framework for XML Data Streams History Checking and Monitoring
2006-01-01 Campi, A.; Spoletini, Paola
A fuzzy extension for the XPath query language
2006-01-01 Campi, A.; Guinea, S.; Spoletini, Paola
A fuzzy extension of the XPath query language
2009-01-01 Campi, A.; Damiani, E.; Guinea, S.; Marrara, S.; Pasi, G.; Spoletini, Paola
A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures
2006-01-01 Giorgetta, M.; Santambrogio, M.; Sciuto, D.; Spoletini, Paola
A guided tour through SAVVY-WS: a methodology for specifying and validating web services compositions
2008-01-01 Baresi, L.; Bianculli, D.; Spoletini, Paola; Ghezzi, C.; Guinea, S.
A model checking approach to verify BPEL4WS workflows
2007-01-01 Bianculli, D.; Ghezzi, C.; Spoletini, Paola
A timed extension of WSCoL
2007-01-01 Baresi, L.; Bianculli, D.; Ghezzi, C.; Guinea, S.; Spoletini, Paola
A verification-driven framework for iterative design of controllers
2019-01-01 Menghi, C.; Spoletini, P.; Chechik, M.; Ghezzi, C.
Ambiguity and tacit knowledge in requirements elicitation interviews
2016-01-01 Ferrari, A.; Spoletini, P.; Gnesi, S.
Ambiguity as a Resource to Disclose Tacit Knowledge
2015-01-01 Ferrari, A; Spoletini, P; Gnesi, S
Ambiguity Cues in Requirements Elicitation Interviews
2016-01-01 Ferrari, A.; Spoletini, P.; Gnesi, S.
Ambiguity in Requirements Engineering: Towards a Unifying Framework
2019-01-01 Gervasi, V.; Ferrari, A.; Zowghi, D.; Spoletini, P.
An automata-based monitoring technique for commitment-based multi-agent systems
2009-01-01 Spoletini, Paola; Verdicchio, M.
An efficient solution for model checking graph transformation Systems
2008-01-01 Baresi, L.; Rafe, V.; Rahamani, A. T.; Spoletini, Paola
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application
2003-01-01 Cigoli, S.; Leblanc, P.; Malaponti, S.; Mandrioli, D.; Mazzucchelli, M.; Morzenti, A.; Spoletini, Paola
Are requirements engineering courses covering what industry needs? a preliminary analysis of the United States situation
2018-01-01 Hertz, K.; Spoletini, P.
Automata-based Verification of Linear Temporal Logic Models with Bounded Variability
2012-01-01 Furia, C. A.; Spoletini, Paola
Automating trade-off analysis of security requirements
2016-01-01 Pasquale, L.; Spoletini, P.; Salehie, M.; Cavallaro, L.; Nuseibeh, B.
Bias-aware guidelines and fairness-preserving Taxonomy in software engineering education
2019-01-01 Spoletini, P.; Parizi, R. M.