GERVASI, VINCENZO Statistiche

GERVASI, VINCENZO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 106 (tempo di esecuzione: 0.029 secondi).
Titolo Data di pubblicazione Autore(i) File
Preface 1-gen-2022 Gervasi, V.; Vogelsang, A.
Requirements Engineering: Foundation for Software Quality - 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21–24, 2022, Proceedings 1-gen-2022 Gervasi, Vincenzo; Vogelsang, Andreas
Joint Proceedings of REFSQ-2020 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track 1-gen-2020 Sabetzadeh, M.; Vogelsang, A.; Abualhaija, S.; Borg, M.; Dalpiaz, F.; Daneva, M.; Fernandez, N.; Franch, X.; Fucci, D.; Gervasi, V.; Groen, E.; Guizzardi, R.; Herrmann, A.; Horkoff, J.; Mich, L.; Perini, A.; Susi, A.
Preface: REFSQ 2020 Doctoral Symposium 1-gen-2020 Daneva, Maya; Gervasi, Vincenzo
Ambiguity in Requirements Engineering: Towards a Unifying Framework 1-gen-2019 Gervasi, Vincenzo; Ferrari, Alessio; Zowghi, Didar; Spoletini, Paola
Supporting Analysts by Dynamic Extraction and Classification of Requirements-Related Knowledge 1-gen-2019 Shakeri Hossein Abad, Z.; Gervasi, V.; Zowghi, D.; Far, B. H.
Dynamic visual analytics for elicitation meetings with ELICA 1-gen-2018 Abad, Zahra Shakeri Hossein; Rahman, Munib; Cheema, Abdullah; Gervasi, Vincenzo; Zowghi, Didar; Barker, Ken
ELICA: An Automated Tool for Dynamic Extraction of Requirements Relevant Information 1-gen-2018 Shakeri Hossein Abad, Zahra; Gervasi, Vincenzo; Zowghi, Didar; Barker, Ken
Natural Language Requirements Processing: A 4D Vision 1-gen-2017 Ferrari, Alessio; Dell'Orletta, Felice; Esuli, Andrea; Gervasi, Vincenzo; Gnesi, Stefania
Introduction to the special issue of best papers from RE2015 conference 1-gen-2016 Zowghi, Didar; Gervasi, Vincenzo
LOL: An investigation into cybernetic humor, or: Can machines laugh? 1-gen-2016 Bacciu, Davide; Gervasi, Vincenzo; Prencipe, Giuseppe
Automated Service Selection Using Natural Language Processing 1-gen-2015 Bano, Muneera; Ferrari, Alessio; Zowghi, Didar; Gervasi, Vincenzo; Gnesi, Stefania
Message from the chairs 1-gen-2015 Zowghi, Didar; Gervasi, Vincenzo; Gregory, Sarah C.; Svensson, Richard Berntsson; Amyot, Daniel
An Executable CoreASM Model of the Termination Detection Protocol 1-gen-2014 M., Dausend; Gervasi, Vincenzo; A., Raschke; H. Y., Shahir
Comparison of Methods and Tools: the Report of the ASM Group 1-gen-2014 Elvinia, Riccobene; Paolo, Arcaini; Marcel, Dausend; Albert, Fleischmann; Angelo, Gargantini; Gervasi, Vincenzo; Uwe, Glaesser; Alexander, Raschke; Gerhard, Schellhorn; Klaus Dieter, Schewe; Qing, Wang; Hamed Yaghoubi, Shahir
Executable formal specifications of complex distributed systems with CoreASM 1-gen-2014 Roozbeh, Farahbod; Gervasi, Vincenzo; Uwe, Glaesser
From English to ASM: On the process of deriving a formal specification from a natural language one 1-gen-2014 Gervasi, Vincenzo; E., Riccobene
Modeling web applications infrastructure with ASMs 1-gen-2014 Gervasi, Vincenzo; Egon, Boerger; Cisternino, Antonio
Supporting traceability through affinity mining 1-gen-2014 Gervasi, Vincenzo; Didar, Zowghi
Utilizing TOPSIS: A Multi Criteria Decision Analysis Technique for Non-Functional Requirements Conflicts 1-gen-2014 Dewi, Mairiza; Didar, Zowghi; Gervasi, Vincenzo