SPOLETINI, PAOLA

SPOLETINI, PAOLA  

DIPARTIMENTO DI SCIENZE TEORICHE E APPLICATE  

Mostra records
Risultati 1 - 20 di 88 (tempo di esecuzione: 0.16 secondi).
Titolo Data di pubblicazione Autore(i) File
A formal approach supporting the specification and verification of business conversation requirements. 1-gen-2005 Cherubini, A.; Colombo, E.; Francalanci, C; Spoletini, Paola
A framework for XML Data Streams History Checking and Monitoring 1-gen-2006 Campi, A.; Spoletini, Paola
A fuzzy extension for the XPath query language 1-gen-2006 Campi, A.; Guinea, S.; Spoletini, Paola
A fuzzy extension of the XPath query language 1-gen-2009 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 1-gen-2006 Giorgetta, M.; Santambrogio, M.; Sciuto, D.; Spoletini, Paola
A guided tour through SAVVY-WS: a methodology for specifying and validating web services compositions 1-gen-2008 Baresi, L.; Bianculli, D.; Spoletini, Paola; Ghezzi, C.; Guinea, S.
A model checking approach to verify BPEL4WS workflows 1-gen-2007 Bianculli, D.; Ghezzi, C.; Spoletini, Paola
A timed extension of WSCoL 1-gen-2007 Baresi, L.; Bianculli, D.; Ghezzi, C.; Guinea, S.; Spoletini, Paola
Ambiguity and tacit knowledge in requirements elicitation interviews 1-gen-2016 Ferrari, A.; Spoletini, P.; Gnesi, S.
Ambiguity as a Resource to Disclose Tacit Knowledge 1-gen-2015 Ferrari, A; Spoletini, P; Gnesi, S
Ambiguity Cues in Requirements Elicitation Interviews 1-gen-2016 Ferrari, A.; Spoletini, P.; Gnesi, S.
Ambiguity in Requirements Engineering: Towards a Unifying Framework 1-gen-2019 Gervasi, V.; Ferrari, A.; Zowghi, D.; Spoletini, P.
An automata-based monitoring technique for commitment-based multi-agent systems 1-gen-2009 Spoletini, Paola; Verdicchio, M.
An efficient solution for model checking graph transformation Systems 1-gen-2008 Baresi, L.; Rafe, V.; Rahamani, A. T.; Spoletini, Paola
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application 1-gen-2003 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 1-gen-2018 Hertz, K.; Spoletini, P.
Automata-based Verification of Linear Temporal Logic Models with Bounded Variability 1-gen-2012 Furia, C. A.; Spoletini, Paola
Automating trade-off analysis of security requirements 1-gen-2016 Pasquale, L.; Spoletini, P.; Salehie, M.; Cavallaro, L.; Nuseibeh, B.
Bias-aware guidelines and fairness-preserving Taxonomy in software engineering education 1-gen-2019 Spoletini, P.; Parizi, R. M.
Bounded variability of metric temporal logic 1-gen-2014 Furia, C. A.; Spoletini, Paola