Vincenzo Gervasi
TitleCited byYear
Reasoning about inconsistencies in natural language requirements
V Gervasi, D Zowghi
ACM Transactions on Software Engineering and Methodology (TOSEM) 14 (3), 277-330, 2005
2062005
Processing natural language requirements
V Ambriola, V Gervasi
Proceedings 12th IEEE International Conference Automated Software …, 1997
1901997
On the Systematic Analysis of Natural Language Requirements with CIRCE
V Ambriola, V Gervasi
Automated Software Engineering 13 (1), 107-167, 2006
1322006
CoreASM: An extensible ASM execution engine
R Farahbod, V Gervasi, U Glässer
Fundamenta Informaticae 77 (1-2), 71-103, 2007
1282007
A linguistic-engineering approach to large-scale requirements management
JN och Dag, B Regnell, V Gervasi, S Brinkkemper
IEEE software 22 (1), 32-39, 2005
1252005
A high-level modular definition of the semantics of C♯
E Börger, NG Fruja, V Gervasi, RF Stärk
Theoretical Computer Science 336 (2-3), 235-284, 2005
1182005
On the interplay between consistency, completeness, and correctness in requirements evolution
D Zowghi, V Gervasi
Information and Software technology 45 (14), 993-1009, 2003
1172003
Lightweight validation of natural language requirements
V Gervasi, B Nuseibeh
Software: Practice and Experience 32 (2), 113-133, 2002
1042002
Coordination without communication: the case of the flocking problem
V Gervasi, G Prencipe
Discrete Applied Mathematics 144 (3), 324-344, 2004
1022004
The Three Cs of requirements: consistency, completeness, and correctness
D Zowghi, V Gervasi
International Workshop on Requirements Engineering: Foundations for Software …, 2002
972002
Analysing anaphoric ambiguity in natural language requirements
H Yang, A De Roeck, V Gervasi, A Willis, B Nuseibeh
Requirements engineering 16 (3), 163, 2011
912011
Achieving quality in natural language requirements
F Fabbrini, M Fusani, V Gervasi, S Gnesi, S Ruggieri
Proceedings of the 11th International Software Quality Week, 4-5, 1998
511998
Speeding up requirements management in a product software company: Linking customer wishes to product requirements through linguistic engineering
JN och Dag, V Gervasi, S Brinkkemper, B Regnell
Proceedings. 12th IEEE International Requirements Engineering Conference …, 2004
482004
Using default reasoning to discover inconsistencies in natural language requirements
D Zowghi, V Gervasi, A McRae
Proceedings Eighth Asia-Pacific Software Engineering Conference, 133-140, 2001
472001
Lightweight validation of natural language requirements: a case study
V Gervasi, B Nuseibeh
Proceedings Fourth International Conference on Requirements Engineering …, 2000
442000
Extending nocuous ambiguity analysis for anaphora in natural language requirements
H Yang, A De Roeck, V Gervasi, A Willis, B Nuseibeh
2010 18th IEEE International Requirements Engineering Conference, 25-34, 2010
422010
Flocking by a set of autonomous mobile robots
V Gervasi, G Prencipe
Università di Pisa, 2001
382001
On the effectiveness of abstraction identification in requirements engineering
R Gacitua, P Sawyer, V Gervasi
2010 18th IEEE International Requirements Engineering Conference, 5-14, 2010
372010
Unpacking tacit knowledge for requirements engineering
V Gervasi, R Gacitua, M Rouncefield, P Sawyer, L Kof, L Ma, P Piwek, ...
Managing requirements knowledge, 23-47, 2013
362013
Speculative requirements: Automatic detection of uncertainty in natural language requirements
H Yang, A De Roeck, V Gervasi, A Willis, B Nuseibeh
2012 20th IEEE International Requirements Engineering Conference (RE), 11-20, 2012
362012
The system can't perform the operation now. Try again later.
Articles 1–20