GERVASI, VINCENZO Statistiche
GERVASI, VINCENZO
DIPARTIMENTO DI INFORMATICA
17th International Conference on Requirements Engingeering: Foundation for Software Quality (REFSQ'11) - Proceedings of the Workshops, Doctoral Symposium and Empirical Track
2011-01-01 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#
2005-01-01 Borger, Egon; Fruja, Ng; Gervasi, Vincenzo; Stark, Rf
A linguistic engineering approach to large-scale requirements management
2005-01-01 J., NATT OCH DAG; Gervasi, Vincenzo; S., Brinkkemper; B., Regnell
A logical approach to cooperative information systems
2000-01-01 Bertino, E; Catania, B; Gervasi, Vincenzo; Raffaeta, A.
Achieving quality in natural language requirements
1998-01-01 Fabbrini, F; Fusani, M; Gervasi, Vincenzo; Gnesi, S; Ruggieri, Salvatore
Active-U-Datalog: Integrating active rules in a logical update language.
1998-01-01 E., Bertino; B., Catania; Gervasi, Vincenzo; A., Raffaetà
Ambient Abstract State Machines with applications
2012-01-01 Börger, E; Cisternino, Antonio; Gervasi, Vincenzo
Ambiguity in Requirements Engineering: Towards a Unifying Framework
2019-01-01 Gervasi, Vincenzo; Ferrari, Alessio; Zowghi, Didar; Spoletini, Paola
An ASM Model of Concurrency in a Web Browser
2012-01-01 Gervasi, Vincenzo
An environment for cooperative construction of natural-language requirements bases
1997-01-01 Ambriola, Vincenzo; Gervasi, Vincenzo
An Executable CoreASM Model of the Termination Detection Protocol
2014-01-01 M., Dausend; Gervasi, Vincenzo; A., Raschke; H. Y., Shahir
Analysing anaphoric ambiguity in natural language requirements
2011-01-01 Yang, Hui; de Roeck, Anne; Gervasi, Vincenzo; Willis, Alistair; Nuseibeh, Bashar
Applying a metric framework to the software process: an experiment
1994-01-01 Ambriola, Vincenzo; R., Di Meglio; Gervasi, Vincenzo; B., Mercurio
Automated Service Selection Using Natural Language Processing
2015-01-01 Bano, Muneera; Ferrari, Alessio; Zowghi, Didar; Gervasi, Vincenzo; Gnesi, Stefania
Automated tools for requirements engineering
2005-01-01 Zowghi, D; Gervasi, Vincenzo
Comparison of Methods and Tools: the Report of the ASM Group
2014-01-01 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
2013-01-01 Dewi, Mairiza; Didar, Zowghi; Gervasi, Vincenzo
Contribution to a Rigorous Analysis of Web Application Frameworks
2012-01-01 Boerger, E; Cisternino, Antonio; Gervasi, Vincenzo
Contribution to a rigorous analysis of web application frameworks
2012-01-01 Börger, E; Cisternino, Antonio; Gervasi, Vincenzo
Coordination without communication: The case of the flocking problem
2004-01-01 Gervasi, Vincenzo; Prencipe, Giuseppe
| 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 |