- Design Exploration and Experimental Validation of Abstract Requirements
- On the parallel re nement of NL requirements and UML diagrams
- CRETA: un sistema di produzione di percorsi di simulazio-ne per l'apprendimento
- Reasoning About Inconsistencies in Natural Language Requirements
- 3 2 IEEE SOFTWARE Published by the IEEE Computer Society 0740-7459/05/$20.00 2005 IEEE Market-driven requirements
- Published in the Proceedings of the 12th International Requirements Engineering Conference (RE2004). Speeding up Requirements Management in a Product Software Company
- On the Interplay Between Consistency, Completeness, and Correctness in
- SOFTWARE--PRACTICE AND EXPERIENCE Softw. Pract. Exper. 2002; 32:113133 (DOI: 10.1002/spe.430)
- Lightweight Validation of Natural Language Requirements: a case study
- Discrete Applied Mathematics 143 (2004) 203223 www.elsevier.com/locate/dam
- Software Manipulation with Annotations in Java Vincenzo Gervasi Giacomo A. Galilei
- Fundamenta Informaticae 77 (2007) 71103 71 CoreASM: An Extensible ASM Execution Engine
- QUANTITATIVE ASSESSMENT OF TEXTUAL COMPLEXITY Vincenzo Gervasi
- The Case for Cooperative Requirement Writing Vincenzo Ambriola and Vincenzo Gervasi
- Universit a di Pisa Dipartimento di Informatica
- Universit` a di Pisa Dipartimento di Informatica
- V I NC ENZO GERVA S I Curriculum vitae et studiorum
- On Linguistic Quality of Natural Language Requirements
- Active-U-Datalog: Integrating Active Rules in a Logical Update Language
- ACM SIGSOFT Software Engineering Notes Volume 29 Number 2 March 2004 Report on The First International Workshop on
- Universit a di Pisa Dipartimento di Informatica
- CoreASM: An Extensible ASM Execution Engine
- Process metrics for requirements analysis Vincenzo Ambriola and Vincenzo Gervasi
- Experiences with DomainBased Parsing of Natural Language Requirements
- Achieving Quality in Natural Language Requirements \Lambda
- Synthesizing ASMs from Natural Language Requirements
- 10 Managing Large Repositories of Natural Language Requirements
- Need a Fleet? Use the Force! VINCENZO GERVASI
- On the Intelligent Behavior of Stupid Robots
- Processing Natural Language Requirements Vincenzo Ambriola Vincenzo Gervasi
- Ingegneria del Software -Laboratorio La costruzione razionale di una speci ca
- A High-Level Modular Definition of the Semantics of C#
- The Three Cs of Requirements: Consistency, Completeness, and Correctness
- Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements
- Universit a di Pisa Dipartimento di Informatica
- V I NC ENZO GERVA S I Curriculum vitae et studiorum
- Automated Software Engineering, 13, 107167, 2006 c 2006 Springer Science + Business Media, Inc. Manufactured in The Netherlands.
- An Environment for Cooperative Construction of NaturalLanguage Requirement Bases \Lambda
- Why is RE for webbased software development easier?
- ARTICLE IN PRESS Theoretical Computer Science ( )
- V I N C E N Z O G E R V A S I Curriculum vitae et studiorum
- On the Interplay Between Consistency, Completeness, and Correctness in
- Universit a degli Studi di Pisa Dipartimento di Informatica
- Ten Years of REFSQ: A Quantitative Analysis Vincenzo Gervasi1
- Eclipse as a Requirements Engineering Environment Vincenzo Ambriola Luca Del Carlo Vincenzo Gervasi
- Integrating Active Rules in UDatalog Vincenzo Gervasi and Alessandra Raffaet`a
- Desideriamo ringraziare i nostri colleghi dei corsi di T.S.E. 1991--92 e 199293, per la loro partecipazione e la pazienza dimostrata nei nostri con
- Representing Structural Requirements in Software
- Dipartimento di Informatica Corso di Diploma in Informatica
- V I N C E N Z O G E R V A S I Curriculum vitae et studiorum
- P. Sawyer, B. Paech, and P. Heymans (Eds.): REFSQ 2007, LNCS 4542, pp. 203217, 2007. Springer-Verlag Berlin Heidelberg 2007
- ON THE EFFICIENT CAPTURE OF DANGEROUS CRIMINALS Vincenzo Gervasi
- A Logical Approach to Cooperative Information Systems
- CoreASM: An Extensible ASM Execution Engine
- Robotic Cops: The Intruder Problem Vincenzo Gervasi
- Lightweight Validation of Natural Language Requirements: a case study
- Supporting Multiple Views on Requirements Vincenzo Ambriola
