Vincenzo Gervasi Vis

*	2008
31	EE	Peter Sawyer, Vincenzo Gervasi: Special Section on Natural Language in Software Engineering. IET Software 2(1): 1-2 (2008)
30	EE	Vincenzo Gervasi, Peter Sawyer, Barbara Paech, Erik Kamsties: Editors' Introduction. Information & Software Technology 50(1-2): 51-52 (2008)
	2007
29	EE	Vincenzo Gervasi, Giacomo A. Galilei: Software Manipulation with Annotations in Java. Lipari Summer School 2007: 161-184
28	EE	Stephen Boyd, Didar Zowghi, Vincenzo Gervasi: Optimal-Constraint Lexicons for Requirements Specifications. REFSQ 2007: 203-217
27	EE	Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer: CoreASM: An Extensible ASM Execution Engine. Fundam. Inform. 77(1-2): 71-103 (2007)
	2006
26	EE	Vincenzo Ambriola, Vincenzo Gervasi: On the Systematic Analysis of Natural Language Requirements with C. Autom. Softw. Eng. 13(1): 107-167 (2006)
	2005
25	EE	Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer: CoreASM: An Extensible ASM Execution Engine. Abstract State Machines 2005: 153-166
24	EE	Vincenzo Gervasi, Didar Zowghi: Reasoning about inconsistencies in natural language requirements. ACM Trans. Softw. Eng. Methodol. 14(3): 277-330 (2005)
23		Didar Zowghi, Vincenzo Gervasi: Editorial. Comput. Syst. Sci. Eng. 20(1): (2005)
22	EE	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)
21	EE	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)
20	EE	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)
	2004
19	EE	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
18	EE	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)
17	EE	Vincenzo Gervasi, Giuseppe Prencipe: Coordination without communication: the case of the flocking problem. Discrete Applied Mathematics 144(3): 324-344 (2004)
16	EE	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)
15	EE	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)
14	EE	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)
	2003
13	EE	Didar Zowghi, Vincenzo Gervasi: On the interplay between consistency, completeness, and correctness in requirements evolution. Information & Software Technology 45(14): 993-1009 (2003)
	2002
12		Vincenzo Gervasi, Bashar Nuseibeh: Lightweight validation of natural language requirements. Softw., Pract. Exper. 32(2): 113-133 (2002)
	2001
11	EE	Didar Zowghi, Vincenzo Gervasi, Andrew McRae: Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements. APSEC 2001: 133-
	2000
10		Vincenzo Ambriola, Vincenzo Gervasi: Process Metrics for Requirements Analysis. EWSPT 2000: 90-95
9	EE	Vincenzo Gervasi, Bashar Nuseibeh: Lightweight Validation of Natural Language Requirements: A Case Study. ICRE 2000: 140-149
8		Elisa Bertino, Barbara Catania, Vincenzo Gervasi, Alessandra Raffaetà: A Logical Approach to Cooperative Information Systems. J. Log. Program. 43(1): 15-48 (2000)
	1998
7	EE	Vincenzo Ambriola, Vincenzo Gervasi: The Case for Cooperative Requirement Writing. ECOOP Workshops 1998: 477-479
6		Vincenzo Ambriola, Vincenzo Gervasi: Representing structural requirements in software architecture. Systems Implementation 2000 1998: 114-127
5	EE	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
	1997
4		Vincenzo Gervasi, Alessandra Raffaetà: Integrating Active Rules in U-Datalog. APPIA-GULP-PRODE 1997: 117-128
3	EE	Vincenzo Ambriola, Vincenzo Gervasi: Processing Natural Language Requirements. ASE 1997: 36-45
2	EE	Vincenzo Ambriola, Vincenzo Gervasi: An environment for cooperative construction of natural-language requirement bases. SEE 1997: 124-130
	1994
1		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

1	Vincenzo Ambriola	[1] [2] [3] [6] [7] [10] [26]
2	Elisa Bertino	[5] [8]
3	Egon Börger	[20]
4	Stephen Boyd	[28]
5	Sjaak Brinkkemper	[19] [22]
6	Barbara Catania	[5] [8]
7	Johan Natt och Dag	[19] [22]
8	Steve M. Easterbrook	[18]
9	Roozbeh Farahbod	[25] [27]
10	Nicu G. Fruja	[20]
11	Giacomo A. Galilei	[29]
12	Uwe Glässer	[25] [27]
13	Erik Kamsties	[21] [30]
14	Andrew McRae	[11]
15	R. Di Meglio	[1]
16	B. Mercurio	[1]
17	Bashar Nuseibeh	[9] [12]
18	Barbara Paech	[30]
19	Giuseppe Prencipe	[17]
20	Alessandra Raffaetà	[4] [5] [8]
21	Björn Regnell	[19] [21] [22]
22	Peter Sawyer	[30] [31]
23	Susan Elliott Sim	[18]
24	Robert F. Stärk	[20]
25	Didar Zowghi	[11] [13] [14] [15] [16] [18] [23] [24] [28]

Colors in the list of coauthors