Autore
VINCENZO GERVASI
Unimap Dati autore
- Ricercatore Universitario presso Dipartimento di Informatica
- Membro della Facolta' di Scienze Matematiche Fisiche e Naturali
- Settore scientifico disciplinare INF/01 INFORMATICA
- In servizio
Prodotti
- lista concisa
- lista espansa
- tipo
- anno
Articolo in rivista
- Elisa Bertino, Barbara Catania, Vincenzo Gervasi, Alessandra Raffaeta',A logical approach to update propagation in heterogeneous databases, JOURNAL OF LOGIC PROGRAMMING,vol. 43,num. 1,pp 15-48,tot.pag 34,2000
- Vincenzo Gervasi Bashar Nuseibeh,Lightweight validation of natural language requirements, Software: Practice & Experience,vol. 32,num. 2,pp 113-133,tot.pag 21,2002
- Vincenzo Gervasi, Giuseppe Prencipe,Coordination without communication: The case of the flocking problem, DISCRETE APPLIED MATHEMATICS,vol. 143,num. 1-3,pp 203-223,tot.pag 21,2003
- Vincenzo Gervasi Didar Zowghi,On the interplay between consistency, completeness, and correctness in requirements evolution, Information and Software Technology,vol. 45,num. 14,pp 993-1009,tot.pag 17,2003
- Vincenzo Gervasi, Didar Zowghi, Steve Easterbrook, Susan Sim,Report on the First International Workshop on Comparative Evaluation in Requirements Engineering, ACM SIGSOFT Software Engineering Notes,vol. 29,num. 2,pp 1-4,tot.pag 4,2004
- B. Regnell, E. Kamsties, V. Gervasi,Special issue on selected papers from REFSQ'04, Requirements Engineering,vol. 10,num. 4,pp 243-246,tot.pag 4,2005
- Johan Natt och Dag, Vincenzo Gervasi, Sjaak Brinkkemper, and Bjorn Regnell,A linguistic engineering approach to large-scale requirements management, IEEE SOFTWARE,vol. 22,num. 1,pp 32-39,tot.pag 8,2005
- Vincenzo Gervasi and Didar Zowghi,Reasoning about Inconsistencies in Natural Language Requirements, ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY,vol. 0,num. 0,pp 1-51,tot.pag 51,2005
- Didar Zowghi and Vincenzo Gervasi,Introduction to the special issue on automated tools for requirements engineering, COMPUTER SYSTEMS SCIENCE AND ENGINEERING,vol. 20,num. 1,pp 1-3,tot.pag 3,2005
- Egon Boerger, Vincenzo Gervasi, Nicu G. Fruja, Robert F. Staerk,A Programmer Friendly Modular Definition of the Semantics of C#, THEORETICAL COMPUTER SCIENCE,vol. 0,num. 0,pp 1-33,tot.pag 33,2005
- Vincenzo Ambriola and Vincenzo Gervasi,On the systematic analysis of natural language requirements with Circe, Automated Software Engineering,vol. 13,num. 1,pp 107-167,tot.pag 61,2006
- Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glaesser,CoreASM: An Extensible ASM Execution Engine, FUNDAMENTA INFORMATICAE,vol. mar/apr,num. 77,pp 71-103,tot.pag 36,2007
- GERVASI VINCENZO, Sawyer Pete, Paech Barbara, Kamsties Erik,Special issue on selected papers from REFSQ'05 and '06, INFORMATION AND SOFTWARE TECHNOLOGY,vol. 50(1-2),pp -1,tot.pag 1,tot. autori 4,2008
- Gacitua Ricardo, Sawyer Pete, GERVASI VINCENZO,Relevance-based abstraction identification: Technique and evaluation., REQUIREMENTS ENGINEERING,pp 1,tot.pag 17,tot. autori 3,2010
- Boerger Egon, CISTERNINO ANTONIO, GERVASI VINCENZO,Ambient abstract state machines with applications, JOURNAL OF COMPUTER AND SYSTEM SCIENCES,pp 1,tot.pag 22,tot. autori 3,2010
- Farahbod Roozbeh, GERVASI VINCENZO, Glässer Uwe,An extensible toolset for design and validation of abstract state machine models, SCIENCE OF COMPUTER PROGRAMMING,pp 1,tot.pag 30,2010
- Yang Hui, Deroek Ann, GERVASI VINCENZO, Willis Alistair, Nuseibeh Bashar,Analysing anaphoric ambiguity in natural language requirements., REQUIREMENTS ENGINEERING,pp 1,tot.pag 27,tot. autori 5,2010
-
Libro divulgativo
- A. Brogi, A. Martinelli, V. Gervasi, P. Manghi, A. Fabrizio, G. Pacini,IT4PS - Il foglio elettronico per Medicina e Farmacia,edizione McGraw-Hill,2005
- P. Manghi, A. Brogi, V. Gervasi, A. Martinelli, G. Fiorentino, A. Pala,IT4PS - Le Basi di Dati per Medicina e Farmacia,tot.pag. 188,edizione McGraw-Hill,2005
-
Manuale
- Vincenzo Gervasi, Susanna Pelagatti, Salvatore Ruggieri, Francesca Scozzari,Programmazione di sistema in linguaggio C,tot.pag. 162,edizione SEU,2004
- Lupia Maria teresa, TAVOSANIS MIRKO LUIGI AURELIO, GERVASI VINCENZO,Editoria Digitale,tot.pag. 145,tot.autori 3,2011
-
Libro, manuale o trattato
- BRUNI ROBERTO, CORRADINI ANDREA, GERVASI VINCENZO,Programmazione in Java,tot.pag. 528,tot.autori 3,2009
- BRUNI ROBERTO, CORRADINI ANDREA, GERVASI VINCENZO,Programmazione in Java (2 ed.),tot.pag. 552,tot.autori 3,2011
-
Capitolo, parte o articolo in libro
- Elisa Bertino, Barbara Catania, Vincenzo Gervasi, Alessandra Raffaeta',Active-U-Datalog: integrating active rules in a logical update language in Transaction and change in logic databases: invited surveys and selected papers,pp 107, 133, Springer-Verlag,tot.pag. 27,1998
- Vincenzo Gervasi Vincenzo Ambriola,Quantitative assessment of textual complexity in Complexity in Language and Text,pp 197, 228, Edizioni Plus,tot.pag. 32,2002
- Johan Natt och Dag, Vincenzo Gervasi,Managing large repositories of natural language requirements in Engineering and Managing Software Requirements,pp 1, 20, Springer-Verlag,tot.pag. 21,2005
- GERVASI VINCENZO, GALILEI GIACOMO ANTONINO,Software Manipulations with Annotations in Java in Software Manipulation with Annotations in Java,pp 161, 184,tot. autori 2,tot.pag. 24,2008
- Farahbod Roozbeh, GERVASI VINCENZO, Glässer Uwe, Ma George,CoreASM plug-in architecture in CoreASM plug-in architecture,pp 147, 169,tot. autori 4,tot.pag. 23,2009
-
Atti di convegni nazionale con revisori articolo breve / poster
- GERVASI VINCENZO, MAZZEI DANIELE,Using Abstract State Machines in modeling biological systems, Congresso Nazioanle di Bioingegneria, pp 79-80, Pisa, tot. autori 2,2008
-
Articolo in atti di congresso
- Vincenzo Ambriola, Roberto Di Meglio, Vincenzo Gervasi, Bruno Mercurio,Observing and measuring the software development process, European Workshop on Software Process Technology, pp 207-226,vol. 772,1994
- Ambriola,V., Gervasi,V.,Processing Natural Language Requirements, 12th International Conference on Automated Software Engineering, pp 36, Lake Tahoe,vol. 1,1997
- Vincenzo Ambriola, Vincenzo Gervasi,An environment for cooperative construction of natural-language requirements bases., International Conference on Software Engineering Environments, pp 124-130, Los Alamitos, Nevada,vol. unico,1997
- Vincenzo Gervasi, Alessandra Raffaeta',Integrating active rules in U-Datalog, APPIA-GULP-PRODE, pp 117-128, Grado,vol. unico,1997
- Ambriola,V., Gervasi,V.,Representing Structural Requirements in Software Architecture, International Conference on Systems Implementation 2000: Languages, Methods and Tools, pp 114, Berlino,vol. 1,1998
- Fabrizio Fabbrino, Mario Fusani, Vincenzo Gervasi, Stefania Gnesi, Salvatore Ruggieri,On linguistic quality of natural language requirements, Requirements Engineering: Foundation for Software Quality, pp 57-62, Pisa,vol. unico,1998
- Vincenzo Ambriola, Vincenzo Gervasi,The case for cooperative requirements writing, ECOOP Workshop on Automating the OO Software Development Process, pp 477-479, Bruxelles,vol. 1543,1998
- Fabrizio Fabbrini, Mario Fusani, Vincenzo Gervasi, Stefania Gnesi, Salvatore Ruggieri,Achieving quality in natural language requirements, International Software Quality Week, pp 1-17, San Francisco,vol. unico,1998
- Ambriola,V., Gervasi,V.,Experiences with Domain-Based Parsing of Natural Language Requirements, 4th International Conference on Applications of Natural Language to Information Systems, pp 145, Klagenfurt,vol. 1,1999
- Ambriola,V., Gervasi,V.,Supporting multiple views on requirements, 6th Maghrebian Conference on Computer Sciences, pp 321, Fes,vol. 1,2000
- Ambriola,V., Gervasi,V.,Process metrics for requirements analysis, 7th International Workshop on Software Process Technology, pp 90, Kaprun,vol. 1,2000
- Vincenzo Gervasi, Bashar Nuseibeh,Lightweight validation of natural language requirements: a case study, International Conference on Requirements Engineering, pp 140-148, Schaumburg, Illinois,vol. unico,2000
- Didar Zowghi, Vincenzo Gervasi, Andrew McRae,Using default reasoning to discover inconsistencies in natural language requirements, Asia-Pacific Software Engineering Conference, pp 133-140, Macao, Cina,vol. unico,2001
- Didar Zowghi, Vincenzo Gervasi,Why is RE for web-based software development easier?, Requirements Engineering: Foundation for Software Quality, pp 215-220, Interlaken (Svizzera),vol. 6,2001
- Vincenzo Gervasi,Synthesizing ASMs from natural language requirements, Formal Methods and Tools for Computer Science (EUROCAST), pp 212-215, Las Palmas (Spagna),vol. unico,2001
- Vincenzo Ambriola, Vincenzo Gervasi,On the parallel refinement of NL requirements and UML diagrams, ETAPS Workshop on Transformations in UML, pp 1-5, Genova,2001
- Vincenzo Gervasi, Giuseppe Prencipe,Need a Fleet? Use the Force!, FUN with Algorithms, pp 149-164, Isola d'Elba,vol. unico,2001
- Didar Zowghi Vincenzo Gervasi,The 3Cs of requirements: Consistency, completeness, and correctness, Requirements Engineering: Foundation for Software Quality, pp 155-164, Velden (Austria),vol. unico,2002
- Giuseppe Prencipe Vincenzo Gervasi,On the intelligent behaviour of stupid robots, AI*IA workshop on Robotics, pp 1-8, Siena,vol. unico,2002
- Vincenzo Gervasi, Giuseppe Prencipe,Robotic cops: The intruder problem., IEEE International Conference on Systems, Man, and Cybernetics, pp 2284-2289, Washington, D.C.,vol. unico,2003
- Vincenzo Gervasi, Giuseppe Prencipe,On the efficient capture of dangerous criminals., FUN With Algorithms, pp 1-13, Isola d'Elba,vol. unico,2004
- Vincenzo Ambriola, Luca Del Carlo, Vincenzo Gervasi,Eclipse as a Requirements Engineering Environment, ICSE Workshop on Directions in Software Engineering Environments, pp 1-7, Edimburgo, Scozia,vol. unico,2004
- Vincenzo Gervasi, Erik Kamsties, Bjorn Regnell, and Camille Salinesi,Ten years of REFSQ: A quantitative analysis, 10th Anniversary International Workshop on Requirements Engineering: Foundation for Software Quality, pp 267-284, Riga,vol. unico,2004
- Björn Regnell, Erik Kamsties, Vincenzo Gervasi,Summary of the 10th Anniversary Workshop on Requirements Engineering: Foundation for Software Quality, Requirements Engineering: Foundation for Software Quality, pp 3-23, Riga, Latvia,vol. unico,2004
- J. Natt och Dag, V. Gervasi, S. Brinkkemper, and B. Regnell,Speeding up requirements management in a product software company: Linking customer wishes to product requirements through linguistic engineering, 12th IEEE International Requirements Engineering Conference,, pp 283-294, Kyoto, Japan,vol. unico,2004
- A. Sutcliffe, A. Hickey, V. Gervasi,Proceedings of the Third International Workshop on Comparative Evaluation in Requirements Engineering (CERE'05), Third International Workshop on Comparative Evaluation in Requirements Engineering, pp 1-4, Parigi,vol. unico,2005
- V. Gervasi, D. Zowghi, S. E. Sim,Proceedings of the Second International Workshop on Comparative Evaluation in Requirements Engineering (CERE'04), Second International Workshop on Comparative Evaluation in Requirements Engineering, pp v-xv, Kyoto, Japan,vol. unico,2005
- E. Kamsties, V. Gervasi, P. Sawyer,Workshop Summary, 11th International Workshop on Requirements Engineering: Foundation for Software Quality, pp 3-22, Porto, Portugal,vol. 10,2005
- A. Cisternino and V. Gervasi,Meta-programming without quasi-quotation, 2nd MetaOCaml workshop, pp 1-7, Tallin, Estonia,vol. unico,2005
- A. Cisternino and V. Gervasi,A runtime for multi-stage programming, 2nd MetaOCaml workshop, pp 1-6, Tallin, Estonia,vol. unico,2005
- L. Spinsanti, F. Giannotti, F. Varanini, D. Pedreschi, V. Gervasi, S. Ruggieri, A. Cisternino,CRETA: un sistema di produzione di percorsi di simulazione per l'apprendimento, Expo E-learning, pp 1-10, Ferrara,vol. unico,2005
- Roozbeh Farahbod, Vincenzo Gervasi, and U. Glässer,CoreASM: An extensible ASM execution engine, Abstract State Machines 2005, pp 1-13, Parigi,vol. unico,2005
- Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glaesser, Mashaal Memon,Design Exploration and Experimental Validation of Abstract Requirements, Requirements Engineering: Foundation for Software Quality, pp 1-14, Luxembourg,vol. 11,2006
-
Atto di convegno internazionale con revisori articolo in extenso
- Boyd Stephen, Zowghi Didar, GERVASI VINCENZO,Optimal-constraint lexicons for requirements specifications, Requirements Engineering: Foundation for Software Quality, pp 1-15, Torndheim, Norway,vol. 5025, tot. autori 3,2007
- GERVASI VINCENZO, Zowghi Didar,Mining requirements links, Requirements Engineering: Foundation for software quality, pp 1-7, Essen (Germania),2010
-
Articolo su atti di congresso internazionale
- GERVASI VINCENZO, Farahbod Roozbeh,JASmine: Accessing Java code from CoreASM, Rigorous Methods for Software Construction and Analysis, pp 170-186, Dagstuhl (Germania),vol. 5115, tot. autori 2,2009
- GERVASI VINCENZO, Galilei Giacomo,Enforcing consumer-specified security properties for modular software., International Symposium on Engineering Secure Software and System, pp 182-191,vol. 5965, tot. autori 2,2009
- Gacitua Ricardo, Sawyer Pete, GERVASI VINCENZO,On the effectiviness of abstraction identification in requirements engineering, IEEE International Requirements Engineering Conference, pp 1-12, Sydney, Australia, tot. autori 3,2010
- Yang Hui, Deroek Ann, GERVASI VINCENZO, Willis Alistair, Nuseibeh Bashar,Extending nocuous ambiguity analysis for anaphora in natural language requirements, IEEE International Requirements Engineering Conference, pp 1-12, Sydney, Australia, tot. autori 5,2010
- GERVASI VINCENZO, Zowghi Didar,On the role of ambiguity in RE, Requirements Engineering: Foundation for software quality, pp 248-254, Essen (Germania),vol. 6182, tot. autori 2,2010
-
Riassunto di comunicazione a congresso internazionale
- DITTAMO CRISTIAN, GERVASI VINCENZO, BORGER EGON, CISTERNINO ANTONIO,A formal specification of the semantics of ECMAScript, 3rd International Conference on Verified Software: Theories, Tools and Experiments, pp 1-2, Edimburgh, tot. autori 4,2009
- GERVASI VINCENZO,Who framed Roger User? Problem frames as a user interaction design tool, IEEE International Requirements Engineering Conference, pp 1-2, Sydney, Australia, tot. autori 1,2010
-
Rapporto finale di ricerca pubblicato
- Vincenzo Gervasi, Alessandra Raffaeta',Active-U-Datalog: integrating active rules in a deductive database, Dipartimento di Informatica,1997
- Vincenzo Gervasi, Giuseppe Prencipe,Flocking by a set of autonomous mobile robots, Dipartimento di Informatica,2001
- Vincenzo Gervasi,The CICO domain-based parser, Dipartimento di Informatica,2001
- E. Boerger G. Fruja V. Gervasi R.F. Staerk,A high-level modular definition of the semantics of C#., ETH Zurich,2003
- Vincenzo Ambriola Vincenzo Gervasi,The Circe approach to the systematic analysis of NL requirements, Dipartimento di Informatica,2003
- Roozbeh Farahbod, Vincenzo Gervasi, and Uwe Glaesser,Design and specification of the CoreASM execution engine, Simon Fraser University - Vancouver,2005
-
Curatele di libri collettanei o di Atti di convegno
- Kamsties Erik, GERVASI VINCENZO, Sawyer Peter,Proceedings of the Eleventh International Workshop on Requirements Engineering: Foundation for Software Quality, 280,2005
- GERVASI VINCENZO, Sawyer Peter, Paech Barbara,Proceedings of the Twelfth International Working Conference on Requirements Engineering: Foundation for Software Quality, 254,2006