Gianluca Trentanni

According to our database, Gianluca Trentanni authored at least 15 papers between 2004 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

QuARS: A NLP Tool for Requirements Analysis.

Stefania Gnesi, Gianluca Trentanni

Proceedings of the Joint Proceedings of REFSQ-2019 Workshops, 2019

QuARS: A Pioneer Tool for NL Requirement Analysis.

Giuseppe Lami, Mario Fusani, Gianluca Trentanni

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

Comparing Results of Natural Language Disambiguation Tools with Reports of Manual Reviews of Safety-Related Standards.

Isabella Biscoglio, Attilio Ciancabilla, Mario Fusani, Giuseppe Lami, Gianluca Trentanni

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2016

Certification of Cash Registers Software.

Isabella Biscoglio, Giuseppe Lami, Gianluca Trentanni

Proceedings of the Model-Driven Engineering and Software Development, 2016

Fiscal Software Certification - An Italian Experience of Certification Against the Fiscal Legislation.

Isabella Biscoglio, Giuseppe Lami, Gianluca Trentanni

Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, 2016

2015

Certification and Legislation - An Italian Experience of Fiscal Software Certification.

Isabella Biscoglio, Giuseppe Lami, Eda Marchetti, Gianluca Trentanni

Proceedings of the ICSOFT-EA 2015, 2015

2010

An experience in using a tool for evaluating a large set of natural language requirements.

Antonio Bucchiarone, Stefania Gnesi, Alessandro Fantechi, Gianluca Trentanni

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

An Approach to Ambiguity Analysis in Safety-Related Standards.

Isabella Biscoglio, Alessandro Coco, Mario Fusani, Stefania Gnesi, Gianluca Trentanni

Proceedings of the Quality of Information and Communications Technology, 2010

Evaluating Web Site Quality: A Statistical Approach.

Isabella Biscoglio, Alessandro Coco, Fabrizio Fabbrini, Mario Fusani, Giuseppe Lami, Gianluca Trentanni

Proceedings of the 10th International Conference on Quality Software, 2010

2009

Assisting the design of a groupware system.

Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni

J. Log. Algebraic Methods Program., 2009

2008

Evaluation of Natural Language Requirements in the MODCONTROL Project.

Antonio Bucchiarone, Stefania Gnesi, Gianluca Trentanni, Alessandro Fantechi

ERCIM News, 2008

Assisting the Design of an Industrial Groupware System by Model Checking.

Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni

ERCIM News, 2008

QuARS Express - A Tool Demonstration.

Antonio Bucchiarone, Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni, Alessandro Fantechi

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

2005

An automatic tool for the analysis of natural language requirements.

Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni

Comput. Syst. Sci. Eng., 2005

2004

Verication On The Web Of Mobile Systems.

Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto

Proceedings of the Verification and Validation of Enterprise Information Systems, 2004