Homepage Anagrafe della Ricerca

• Consultazione dati

  • per struttura
  • per settore
  • per autore
  • per parola
  • per più criteri

• Link correlati

  • Unimap

• Funzioni

  • Stampa pagina

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

  1. 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
  2. Vincenzo Gervasi Bashar Nuseibeh,Lightweight validation of natural language requirements, Software: Practice & Experience,vol. 32,num. 2,pp 113-133,tot.pag 21,2002
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. Gacitua Ricardo, Sawyer Pete, GERVASI VINCENZO,Relevance-based abstraction identification: Technique and evaluation., REQUIREMENTS ENGINEERING,pp 1,tot.pag 17,tot. autori 3,2010
  15. 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
  16. 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
  17. 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

  1. A. Brogi, A. Martinelli, V. Gervasi, P. Manghi, A. Fabrizio, G. Pacini,IT4PS - Il foglio elettronico per Medicina e Farmacia,edizione McGraw-Hill,2005
  2. 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

  1. Vincenzo Gervasi, Susanna Pelagatti, Salvatore Ruggieri, Francesca Scozzari,Programmazione di sistema in linguaggio C,tot.pag. 162,edizione SEU,2004
  2. Lupia Maria teresa, TAVOSANIS MIRKO LUIGI AURELIO, GERVASI VINCENZO,Editoria Digitale,tot.pag. 145,tot.autori 3,2011
• 
  

  Libro, manuale o trattato

  1. BRUNI ROBERTO, CORRADINI ANDREA, GERVASI VINCENZO,Programmazione in Java,tot.pag. 528,tot.autori 3,2009
  2. BRUNI ROBERTO, CORRADINI ANDREA, GERVASI VINCENZO,Programmazione in Java (2 ed.),tot.pag. 552,tot.autori 3,2011
• 
  

  Capitolo, parte o articolo in libro

  1. 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
  2. Vincenzo Gervasi Vincenzo Ambriola,Quantitative assessment of textual complexity in Complexity in Language and Text,pp 197, 228, Edizioni Plus,tot.pag. 32,2002
  3. 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
  4. 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
  5. 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

  1. 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

  1. 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
  2. Ambriola,V., Gervasi,V.,Processing Natural Language Requirements, 12th International Conference on Automated Software Engineering, pp 36, Lake Tahoe,vol. 1,1997
  3. 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
  4. Vincenzo Gervasi, Alessandra Raffaeta',Integrating active rules in U-Datalog, APPIA-GULP-PRODE, pp 117-128, Grado,vol. unico,1997
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. Ambriola,V., Gervasi,V.,Supporting multiple views on requirements, 6th Maghrebian Conference on Computer Sciences, pp 321, Fes,vol. 1,2000
  11. Ambriola,V., Gervasi,V.,Process metrics for requirements analysis, 7th International Workshop on Software Process Technology, pp 90, Kaprun,vol. 1,2000
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. Vincenzo Gervasi, Giuseppe Prencipe,Need a Fleet? Use the Force!, FUN with Algorithms, pp 149-164, Isola d'Elba,vol. unico,2001
  18. 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
  19. Giuseppe Prencipe Vincenzo Gervasi,On the intelligent behaviour of stupid robots, AI*IA workshop on Robotics, pp 1-8, Siena,vol. unico,2002
  20. 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
  21. Vincenzo Gervasi, Giuseppe Prencipe,On the efficient capture of dangerous criminals., FUN With Algorithms, pp 1-13, Isola d'Elba,vol. unico,2004
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. A. Cisternino and V. Gervasi,Meta-programming without quasi-quotation, 2nd MetaOCaml workshop, pp 1-7, Tallin, Estonia,vol. unico,2005
  30. A. Cisternino and V. Gervasi,A runtime for multi-stage programming, 2nd MetaOCaml workshop, pp 1-6, Tallin, Estonia,vol. unico,2005
  31. 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
  32. 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
  33. 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

  1. 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
  2. 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

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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

  1. 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
  2. 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

  1. Vincenzo Gervasi, Alessandra Raffaeta',Active-U-Datalog: integrating active rules in a deductive database, Dipartimento di Informatica,1997
  2. Vincenzo Gervasi, Giuseppe Prencipe,Flocking by a set of autonomous mobile robots, Dipartimento di Informatica,2001
  3. Vincenzo Gervasi,The CICO domain-based parser, Dipartimento di Informatica,2001
  4. E. Boerger G. Fruja V. Gervasi R.F. Staerk,A high-level modular definition of the semantics of C#., ETH Zurich,2003
  5. Vincenzo Ambriola Vincenzo Gervasi,The Circe approach to the systematic analysis of NL requirements, Dipartimento di Informatica,2003
  6. 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

  1. Kamsties Erik, GERVASI VINCENZO, Sawyer Peter,Proceedings of the Eleventh International Workshop on Requirements Engineering: Foundation for Software Quality, 280,2005
  2. GERVASI VINCENZO, Sawyer Peter, Paech Barbara,Proceedings of the Twelfth International Working Conference on Requirements Engineering: Foundation for Software Quality, 254,2006