Vincenzo Gervasi
Title
Cited by
Cited by
Year
Reasoning about inconsistencies in natural language requirements
V Gervasi, D Zowghi
ACM Transactions on Software Engineering and Methodology (TOSEM) 14 (3), 277-330, 2005
2152005
Processing natural language requirements
V Ambriola, V Gervasi
Proceedings 12th IEEE International Conference Automated Software …, 1997
1941997
Lightweight validation of natural language requirements
V Gervasi, B Nuseibeh
Software: Practice and Experience 32 (2), 113-133, 2002
1442002
On the Systematic Analysis of Natural Language Requirements with CIRCE
V Ambriola, V Gervasi
Automated Software Engineering 13 (1), 107-167, 2006
1412006
CoreASM: An extensible ASM execution engine
R Farahbod, V Gervasi, U Glässer
Fundamenta Informaticae 77 (1-2), 71-103, 2007
1332007
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
1292005
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
1202005
On the interplay between consistency, completeness, and correctness in requirements evolution
D Zowghi, V Gervasi
Information and Software technology 45 (14), 993-1009, 2003
1192003
Analysing anaphoric ambiguity in natural language requirements
H Yang, A De Roeck, V Gervasi, A Willis, B Nuseibeh
Requirements engineering 16 (3), 163, 2011
1072011
Coordination without communication: the case of the flocking problem
V Gervasi, G Prencipe
Discrete Applied Mathematics 144 (3), 324-344, 2004
1052004
The Three Cs of requirements: consistency, completeness, and correctness
D Zowghi, V Gervasi
International Workshop on Requirements Engineering: Foundations for Software …, 2002
1032002
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
492004
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
492001
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
491998
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
482010
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
442012
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
392013
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
382010
Flocking by a set of autonomous mobile robots
V Gervasi, G Prencipe
Università di Pisa, 2001
382001
Quantitative assessment of textual complexity
V Gervasi, V Ambriola
Complexity in language and text, 197-228, 2002
332002
The system can't perform the operation now. Try again later.
Articles 1–20