Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Vincenzo Gervasi
2010 – today
- 2012
[j20]Egon Börger, Antonio Cisternino, Vincenzo Gervasi: Ambient Abstract State Machines with applications. J. Comput. Syst. Sci. 78(3): 939-959 (2012)- [c29]Egon Börger, Antonio Cisternino, Vincenzo Gervasi: Contribution to a Rigorous Analysis of Web Application Frameworks. ABZ 2012: 1-20
- [c28]
- [c27]Egon Börger, Antonio Cisternino, Vincenzo Gervasi: Contribution to a Rigorous Analysis of Web Application Frameworks. IFM 2012: 1-20
- [c26]Hui Yang, Anne N. De Roeck, Vincenzo Gervasi, Alistair Willis, Bashar Nuseibeh: Speculative requirements: Automatic detection of uncertainty in natural language requirements. RE 2012: 11-20
- 2011
- [j19]Hui Yang, Anne N. De Roeck, Vincenzo Gervasi, Alistair Willis, Bashar Nuseibeh: Analysing anaphoric ambiguity in natural language requirements. Requir. Eng. 16(3): 163-189 (2011)
- [j18]Ricardo Gacitua, Peter Sawyer, Vincenzo Gervasi: Relevance-based abstraction identification: technique and evaluation. Requir. Eng. 16(3): 251-265 (2011)
- [c25]Pete Sawyer, Vincenzo Gervasi, Bashar Nuseibeh: Unknown knowns: Tacit knowledge in requirements engineering. RE 2011: 329
- [c24]
- 2010
- [c23]Giacomo A. Galilei, Vincenzo Gervasi: Idea: Enforcing Consumer-Specified Security Properties for Modular Software. ESSoS 2010: 182-191
- [c22]Ricardo Gacitua, Peter Sawyer, Vincenzo Gervasi: On the Effectiveness of Abstraction Identification in Requirements Engineering. RE 2010: 5-14
- [c21]Hui Yang, Anne N. De Roeck, Vincenzo Gervasi, Alistair Willis, Bashar Nuseibeh: Extending Nocuous Ambiguity Analysis for Anaphora in Natural Language Requirements. RE 2010: 25-34
- [c20]Vincenzo Gervasi: Who Framed Roger User? Problem Frames as a User Interaction Design Tool. RE 2010: 377-378
- [c19]
2000 – 2009
- 2009
- [c18]Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer, George Ma: CoreASM Plug-In Architecture. Rigorous Methods for Software Construction and Analysis 2009: 147-169
- [c17]Vincenzo Gervasi, Roozbeh Farahbod: JASMine: Accessing Java Code from CoreASM. Rigorous Methods for Software Construction and Analysis 2009: 170-186
- 2008
- [j17]Peter Sawyer, Vincenzo Gervasi: Special Section on Natural Language in Software Engineering. IET Software 2(1): 1-2 (2008)
- [j16]Vincenzo Gervasi, Peter Sawyer, Barbara Paech, Erik Kamsties: Editors' Introduction. Information & Software Technology 50(1-2): 51-52 (2008)
- 2007
- [j15]Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer: CoreASM: An Extensible ASM Execution Engine. Fundam. Inform. 77(1-2): 71-103 (2007)
- [c16]Vincenzo Gervasi, Giacomo A. Galilei: Software Manipulation with Annotations in Java. Lipari Summer School 2007: 161-184
- [c15]Stephen Boyd, Didar Zowghi, Vincenzo Gervasi: Optimal-Constraint Lexicons for Requirements Specifications. REFSQ 2007: 203-217
- 2006
- [j14]Vincenzo Ambriola, Vincenzo Gervasi: On the Systematic Analysis of Natural Language Requirements with C. Autom. Softw. Eng. 13(1): 107-167 (2006)
- 2005
- [j13]
- [j12]Björn Regnell, Erik Kamsties, Vincenzo Gervasi: Guest editorial: 10th anniversary workshop on Requirements Engineering: Foundation for Software Quality (REFSQ'2004). Requir. Eng. 10(4): 243-246 (2005)
- [j11]Johan Natt och Dag, Vincenzo Gervasi, Sjaak Brinkkemper, Björn Regnell: A Linguistic-Engineering Approach to Large-Scale Requirements Management. IEEE Software 22(1): 32-39 (2005)
- [j10]Egon Börger, Nicu G. Fruja, Vincenzo Gervasi, Robert F. Stärk: A high-level modular definition of the semantics of C#. Theor. Comput. Sci. 336(2-3): 235-284 (2005)
- [j9]Vincenzo Gervasi, Didar Zowghi: Reasoning about inconsistencies in natural language requirements. ACM Trans. Softw. Eng. Methodol. 14(3): 277-330 (2005)
- [c14]Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer: CoreASM: An Extensible ASM Execution Engine. Abstract State Machines 2005: 153-166
- 2004
- [j8]Vincenzo Gervasi, Giuseppe Prencipe: Coordination without communication: the case of the flocking problem. Discrete Applied Mathematics 144(3): 324-344 (2004)
- [j7]Didar Zowghi, Vincenzo Gervasi: Erratum to "On the interplay between consistency, completeness, and correctness in requirements evolution" [Information and Software Technology 45 (2003) 993-1009]. Information & Software Technology 46(1): 75 (2004)
- [j6]Didar Zowghi, Vincenzo Gervasi: Erratum to "On the interplay between consistency, completeness, and correctness in requirements evolution" [Information and Software Technology 45 (2003) 993-1009]. Information & Software Technology 46(11): 761 (2004)
- [j5]Didar Zowghi, Vincenzo Gervasi: Erratum to "On the interplay between consistency, completeness, and correctness in requirements evolution". Information & Software Technology 46(11): 763-779 (2004)
- [j4]Vincenzo Gervasi, Didar Zowghi, Steve M. Easterbrook, Susan Elliott Sim: Report on the First International Workshop on Comparative Evaluation in Requirements Engineering. ACM SIGSOFT Software Engineering Notes 29(2): 1-4 (2004)
- [c13]Johan Natt och Dag, Vincenzo Gervasi, Sjaak Brinkkemper, Björn Regnell: Speeding up Requirements Management in a Product Software Company: Linking Customer Wishes to Product Requirements through Linguistic Engineering. RE 2004: 283-294
- 2003
- [j3]Didar Zowghi, Vincenzo Gervasi: On the interplay between consistency, completeness, and correctness in requirements evolution. Information & Software Technology 45(14): 993-1009 (2003)
- [c12]
- 2002
- [j2]Vincenzo Gervasi, Bashar Nuseibeh: Lightweight validation of natural language requirements. Softw., Pract. Exper. 32(2): 113-133 (2002)
- 2001
- [c11]Didar Zowghi, Vincenzo Gervasi, Andrew McRae: Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements. APSEC 2001: 133-
- 2000
- [j1]Elisa Bertino, Barbara Catania, Vincenzo Gervasi, Alessandra Raffaetà: A Logical Approach to Cooperative Information Systems. J. Log. Program. 43(1): 15-48 (2000)
- [c10]
- [c9]Vincenzo Gervasi, Bashar Nuseibeh: Lightweight Validation of Natural Language Requirements: A Case Study. ICRE 2000: 140-149
1990 – 1999
- 1998
- [c8]Elisa Bertino, Barbara Catania, Vincenzo Gervasi, Alessandra Raffaetà: Active-U-Datalog: Integrating Active Rules in a Logical Update Language. Transactions and Change in Logic Databases 1998: 107-133
- [c7]Vincenzo Ambriola, Vincenzo Gervasi: The Case for Cooperative Requirement Writing. ECOOP Workshops 1998: 477-479
- [c6]Vincenzo Ambriola, Vincenzo Gervasi: Representing structural requirements in software architecture. Systems Implementation 2000 1998: 114-127
- [c5]Fabrizio Fabbrini, Mario Fusani, Vincenzo Gervasi, Stefania Gnesi, Salvatore Ruggieri: On Linguistic Quality of Natural Language Requirements. REFSQ 1998: 57-62
- 1997
- [c4]Vincenzo Gervasi, Alessandra Raffaetà: Integrating Active Rules in U-Datalog. APPIA-GULP-PRODE 1997: 117-128
- [c3]
- [c2]Vincenzo Ambriola, Vincenzo Gervasi: An environment for cooperative construction of natural-language requirement bases. SEE 1997: 124-130
- 1994
- [c1]Vincenzo Ambriola, R. Di Meglio, Vincenzo Gervasi, B. Mercurio: Applying a Metric Framework to the Software Process: an Experiment. EWSPT 1994: 207-226
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-24 02:02 CEST by the dblp team