Követés
Paola Spoletini
Cím
Hivatkozott rá
Hivatkozott rá
Év
Fuzzy goals for requirements-driven adaptation
L Baresi, L Pasquale, P Spoletini
2010 18th IEEE international requirements engineering conference, 125-134, 2010
3502010
Managing non-functional uncertainty via model-driven adaptivity
C Ghezzi, LS Pinto, P Spoletini, G Tamburrelli
2013 35th International Conference on Software Engineering (ICSE), 33-42, 2013
1372013
Ambiguity and tacit knowledge in requirements elicitation interviews
A Ferrari, P Spoletini, S Gnesi
Requirements Engineering 21 (3), 333-355, 2016
1352016
Validation of web service compositions
L Baresi, D Bianculli, C Ghezzi, S Guinea, P Spoletini
IET software 1 (6), 219-232, 2007
1242007
On the use of Alloy to analyze graph transformation systems
L Baresi, P Spoletini
International Conference on Graph Transformation, 306-320, 2006
952006
Internal and external bitstream relocation for partial dynamic reconfiguration
S Corbetta, M Morandi, M Novati, MD Santambrogio, D Sciuto, P Spoletini
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 17 (11 …, 2009
762009
Teaching requirements elicitation interviews: an empirical study of learning from mistakes
M Bano, D Zowghi, A Ferrari, P Spoletini, B Donati
Requirements Engineering 24, 259-289, 2019
692019
A fuzzy extension of the XPath query language
A Campi, E Damiani, S Guinea, S Marrara, G Pasi, P Spoletini
Journal of Intelligent Information Systems 33, 285-305, 2009
642009
An efficient solution for model checking graph transformation systems
L Baresi, V Rafe, AT Rahmani, P Spoletini
Electronic Notes in Theoretical Computer Science 213 (1), 3-21, 2008
602008
A model checking approach to verify BPEL4WS workflows
D Bianculli, C Ghezzi, P Spoletini
IEEE International Conference on Service-Oriented Computing and Applications …, 2007
552007
Model checking
D Peled
Software and Systems Safety, 260-281, 2011
542011
Measuring team members’ contributions in software engineering projects using git-driven technology
RM Parizi, P Spoletini, A Singh
2018 IEEE Frontiers in Education Conference (FIE), 1-5, 2018
502018
Formal analysis of publish-subscribe systems by probabilistic timed automata
F He, L Baresi, C Ghezzi, P Spoletini
Formal Techniques for Networked and Distributed Systems–FORTE 2007: 27th …, 2007
502007
A timed extension of WSCoL
L Baresi, D Bianculli, C Ghezzi, S Guinea, P Spoletini
IEEE International Conference on Web Services (ICWS 2007), 663-670, 2007
452007
Fuzzy time in linear temporal logic
A Frigeri, L Pasquale, P Spoletini
ACM Transactions on Computational Logic (TOCL) 15 (4), 1-22, 2014
442014
BuildingRules: A Trigger-Action--Based System to Manage Complex Commercial Buildings
AA Nacci, V Rana, B Balaji, P Spoletini, R Gupta, D Sciuto, Y Agarwal
ACM Transactions on Cyber-Physical Systems 2 (2), 1-22, 2018
422018
SaPeer and ReverseSaPeer: teaching requirements elicitation interviews with role-playing and role reversal
A Ferrari, P Spoletini, M Bano, D Zowghi
Requirements Engineering 25, 417-438, 2020
372020
Learning from mistakes: An empirical study of elicitation interviews performed by novices
M Bano, D Zowghi, A Ferrari, P Spoletini, B Donati
2018 ieee 26th international requirements engineering conference (re), 182-193, 2018
352018
Automating trade-off analysis of security requirements
L Pasquale, P Spoletini, M Salehie, L Cavallaro, B Nuseibeh
Requirements Engineering 21, 481-504, 2016
342016
Ambiguity as a resource to disclose tacit knowledge
A Ferrari, P Spoletini, S Gnesi
2015 IEEE 23rd International Requirements Engineering Conference (RE), 26-35, 2015
342015
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20