The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Vincenzo Gervasi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Vincenzo Gervasi, Alessandra Raffaetà
    Integrating Active Rules in U-Datalog. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:117-128 [Conf]
  2. 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]
  3. 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]
  4. Vincenzo Ambriola, Vincenzo Gervasi
    The Case for Cooperative Requirement Writing. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1998, pp:477-479 [Conf]
  5. Vincenzo Ambriola, Vincenzo Gervasi
    Process Metrics for Requirements Analysis. [Citation Graph (0, 0)][DBLP]
    EWSPT, 2000, pp:90-95 [Conf]
  6. 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]
  7. Vincenzo Gervasi, Bashar Nuseibeh
    Lightweight Validation of Natural Language Requirements: A Case Study. [Citation Graph (0, 0)][DBLP]
    ICRE, 2000, pp:140-149 [Conf]
  8. Vincenzo Ambriola, Vincenzo Gervasi
    Representing structural requirements in software architecture. [Citation Graph (0, 0)][DBLP]
    Systems Implementation 2000, 1998, pp:114-127 [Conf]
  9. Vincenzo Ambriola, Vincenzo Gervasi
    Processing Natural Language Requirements. [Citation Graph (0, 0)][DBLP]
    ASE, 1997, pp:36-45 [Conf]
  10. 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]
  11. 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]
  12. Didar Zowghi, Vincenzo Gervasi
    Editorial. [Citation Graph (0, 0)][DBLP]
    Comput. Syst. Sci. Eng., 2005, v:20, n:1, pp:- [Journal]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. Stephen Boyd, Didar Zowghi, Vincenzo Gervasi
    Optimal-Constraint Lexicons for Requirements Specifications. [Citation Graph (0, 0)][DBLP]
    REFSQ, 2007, pp:203-217 [Conf]
  26. 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]

  27. JASMine: Accessing Java Code from CoreASM. [Citation Graph (, )][DBLP]


  28. CoreASM Plug-In Architecture. [Citation Graph (, )][DBLP]


  29. An environment for cooperative construction of natural-language requirement bases. [Citation Graph (, )][DBLP]


  30. On the Role of Ambiguity in RE. [Citation Graph (, )][DBLP]


  31. Software Manipulation with Annotations in Java. [Citation Graph (, )][DBLP]


  32. Idea: Enforcing Consumer-Specified Security Properties for Modular Software. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.285secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002