GERVASI, VINCENZO Statistiche

GERVASI, VINCENZO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 105 (tempo di esecuzione: 0.023 secondi).
Titolo Data di pubblicazione Autore(i) File
17th International Conference on Requirements Engingeering: Foundation for Software Quality (REFSQ'11) - Proceedings of the Workshops, Doctoral Symposium and Empirical Track 1-gen-2011 B., Berenbach; M., Daneva; J., Doerr; S., Fricker; Gervasi, Vincenzo; M., Glinz; A., Herrmann; B., Krams; N. H., Madhavji; B., Paech; S., Schockert; N., Seyff
A high-level modular definition of the semantics of C# 1-gen-2005 Borger, Egon; Fruja, Ng; Gervasi, Vincenzo; Stark, Rf
A linguistic engineering approach to large-scale requirements management 1-gen-2005 J., NATT OCH DAG; Gervasi, Vincenzo; S., Brinkkemper; B., Regnell
A logical approach to cooperative information systems 1-gen-2000 Bertino, E; Catania, B; Gervasi, Vincenzo; Raffaeta, A.
Achieving quality in natural language requirements 1-gen-1998 Fabbrini, F; Fusani, M; Gervasi, Vincenzo; Gnesi, S; Ruggieri, Salvatore
Active-U-Datalog: Integrating active rules in a logical update language. 1-gen-1998 E., Bertino; B., Catania; Gervasi, Vincenzo; A., Raffaetà
Ambient Abstract State Machines with applications 1-gen-2012 Börger, E; Cisternino, Antonio; Gervasi, Vincenzo
Ambiguity in Requirements Engineering: Towards a Unifying Framework 1-gen-2019 Gervasi, Vincenzo; Ferrari, Alessio; Zowghi, Didar; Spoletini, Paola
An ASM Model of Concurrency in a Web Browser 1-gen-2012 Gervasi, Vincenzo
An environment for cooperative construction of natural-language requirements bases 1-gen-1997 Ambriola, Vincenzo; Gervasi, Vincenzo
An Executable CoreASM Model of the Termination Detection Protocol 1-gen-2014 M., Dausend; Gervasi, Vincenzo; A., Raschke; H. Y., Shahir
Analysing anaphoric ambiguity in natural language requirements 1-gen-2011 Yang, Hui; de Roeck, Anne; Gervasi, Vincenzo; Willis, Alistair; Nuseibeh, Bashar
Applying a metric framework to the software process: an experiment 1-gen-1994 Ambriola, Vincenzo; R., Di Meglio; Gervasi, Vincenzo; B., Mercurio
Automated Service Selection Using Natural Language Processing 1-gen-2015 Bano, Muneera; Ferrari, Alessio; Zowghi, Didar; Gervasi, Vincenzo; Gnesi, Stefania
Automated tools for requirements engineering 1-gen-2005 Zowghi, D; Gervasi, Vincenzo
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
Conflict characterization and Analysis of Non Functional Requirements: An experimental approach 1-gen-2013 Dewi, Mairiza; Didar, Zowghi; Gervasi, Vincenzo
Contribution to a Rigorous Analysis of Web Application Frameworks 1-gen-2012 Boerger, E; Cisternino, Antonio; Gervasi, Vincenzo
Contribution to a rigorous analysis of web application frameworks 1-gen-2012 Börger, E; Cisternino, Antonio; Gervasi, Vincenzo
Coordination without communication: The case of the flocking problem 1-gen-2004 Gervasi, Vincenzo; Prencipe, Giuseppe