Search the dblp DataBase
Vincenzo Gervasi :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Vincenzo Gervasi , Alessandra Raffaetà Integrating Active Rules in U-Datalog. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1997, pp:117-128 [Conf ] Didar Zowghi , Vincenzo Gervasi , Andrew McRae Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements. [Citation Graph (0, 0)][DBLP ] APSEC, 2001, pp:133-0 [Conf ] Elisa Bertino , Barbara Catania , Vincenzo Gervasi , Alessandra Raffaetà Active-U-Datalog: Integrating Active Rules in a Logical Update Language. [Citation Graph (0, 0)][DBLP ] Transactions and Change in Logic Databases, 1998, pp:107-133 [Conf ] Vincenzo Ambriola , Vincenzo Gervasi The Case for Cooperative Requirement Writing. [Citation Graph (0, 0)][DBLP ] ECOOP Workshops, 1998, pp:477-479 [Conf ] Vincenzo Ambriola , Vincenzo Gervasi Process Metrics for Requirements Analysis. [Citation Graph (0, 0)][DBLP ] EWSPT, 2000, pp:90-95 [Conf ] Vincenzo Ambriola , R. di Meglio , Vincenzo Gervasi , B. Mercurio Applying a Metric Framework to the Software Process: an Experiment. [Citation Graph (0, 0)][DBLP ] EWSPT, 1994, pp:207-226 [Conf ] Vincenzo Gervasi , Bashar Nuseibeh Lightweight Validation of Natural Language Requirements: A Case Study. [Citation Graph (0, 0)][DBLP ] ICRE, 2000, pp:140-149 [Conf ] Vincenzo Ambriola , Vincenzo Gervasi Representing structural requirements in software architecture. [Citation Graph (0, 0)][DBLP ] Systems Implementation 2000, 1998, pp:114-127 [Conf ] Vincenzo Ambriola , Vincenzo Gervasi Processing Natural Language Requirements. [Citation Graph (0, 0)][DBLP ] ASE, 1997, pp:36-45 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] RE, 2004, pp:283-294 [Conf ] Vincenzo Ambriola , Vincenzo Gervasi On the Systematic Analysis of Natural Language Requirements with C. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 2006, v:13, n:1, pp:107-167 [Journal ] Didar Zowghi , Vincenzo Gervasi Editorial. [Citation Graph (0, 0)][DBLP ] Comput. Syst. Sci. Eng., 2005, v:20, n:1, pp:- [Journal ] Vincenzo Gervasi , Giuseppe Prencipe Coordination without communication: the case of the flocking problem. [Citation Graph (0, 0)][DBLP ] Discrete Applied Mathematics, 2004, v:144, n:3, pp:324-344 [Journal ] Didar Zowghi , Vincenzo Gervasi On the interplay between consistency, completeness, and correctness in requirements evolution. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 2003, v:45, n:14, pp:993-1009 [Journal ] 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]. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 2004, v:46, n:1, pp:75- [Journal ] 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]. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 2004, v:46, n:11, pp:761- [Journal ] Didar Zowghi , Vincenzo Gervasi Erratum to "On the interplay between consistency, completeness, and correctness in requirements evolution". [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 2004, v:46, n:11, pp:763-779 [Journal ] Elisa Bertino , Barbara Catania , Vincenzo Gervasi , Alessandra Raffaetà A Logical Approach to Cooperative Information Systems. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 2000, v:43, n:1, pp:15-48 [Journal ] Björn Regnell , Erik Kamsties , Vincenzo Gervasi Guest editorial: 10th anniversary workshop on Requirements Engineering: Foundation for Software Quality (REFSQ'2004). [Citation Graph (0, 0)][DBLP ] Requir. Eng., 2005, v:10, n:4, pp:243-246 [Journal ] Johan Natt och Dag , Vincenzo Gervasi , Sjaak Brinkkemper , Björn Regnell A Linguistic-Engineering Approach to Large-Scale Requirements Management. [Citation Graph (0, 0)][DBLP ] IEEE Software, 2005, v:22, n:1, pp:32-39 [Journal ] Vincenzo Gervasi , Bashar Nuseibeh Lightweight validation of natural language requirements. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 2002, v:32, n:2, pp:113-133 [Journal ] Egon Börger , Nicu G. Fruja , Vincenzo Gervasi , Robert F. Stärk A high-level modular definition of the semantics of C#. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2005, v:336, n:2-3, pp:235-284 [Journal ] Vincenzo Gervasi , Didar Zowghi Reasoning about inconsistencies in natural language requirements. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 2005, v:14, n:3, pp:277-330 [Journal ] Roozbeh Farahbod , Vincenzo Gervasi , Uwe Glässer CoreASM: An Extensible ASM Execution Engine. [Citation Graph (0, 0)][DBLP ] Abstract State Machines, 2005, pp:153-166 [Conf ] Stephen Boyd , Didar Zowghi , Vincenzo Gervasi Optimal-Constraint Lexicons for Requirements Specifications. [Citation Graph (0, 0)][DBLP ] REFSQ, 2007, pp:203-217 [Conf ] Roozbeh Farahbod , Vincenzo Gervasi , Uwe Glässer CoreASM: An Extensible ASM Execution Engine. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2007, v:77, n:1-2, pp:71-103 [Journal ] JASMine: Accessing Java Code from CoreASM. [Citation Graph (, )][DBLP ] CoreASM Plug-In Architecture. [Citation Graph (, )][DBLP ] An environment for cooperative construction of natural-language requirement bases. [Citation Graph (, )][DBLP ] On the Role of Ambiguity in RE. [Citation Graph (, )][DBLP ] Software Manipulation with Annotations in Java. [Citation Graph (, )][DBLP ] Idea: Enforcing Consumer-Specified Security Properties for Modular Software. [Citation Graph (, )][DBLP ] Search in 0.005secs, Finished in 0.285secs