TRENTANNI, GIANLUCA
TRENTANNI, GIANLUCA
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Sito Web "Pubblicare Open Access al CNR"
2021 Giannini, S; Trentanni, G; Maggi, R; Mangiaracina, S
Sito web del laboratorio ISTI "Formal Methods & Tools"
2021 Trentanni, G
Sito web GL2020 - 22nd International Conference on Grey Literature "Applications of Grey Literature for Science and Society"
2020 Trentanni, G; Giannini, S; Molino, A
Comparing results of natural language disambiguation tools with reports of manual reviews of safety-related standards
2019 Biscoglio I.; Ciancabilla A.; Fusani M.; Lami G.; Trentanni G.
QuARS: a NLP tool for requirements analysis
2019 Gnesi, S; Trentanni, G
QuARS: a pioneer tool for NL requirement analysis
2019 Lami G.; Fusani M.; Trentanni G.
Sito Web "BIBV - BIBliography of historic activity of Italian Volcanoes"
2018 Giannini S.; Trentanni G.; Principe C.; Paolillo A.
Sito web Biblioteca Area CNR Pisa
2018 Volpini F.; Giannini S.; Molino A.; D'Angelo C.; Lombardi S.; Trentanni G.
Certification of cash registers software
2017 Biscoglio I.; Lami G.; Trentanni G.
Certificazione del software fiscale. Un'esperienza italiana di certificazione conforme alla legislazione fiscale.
2016 Biscoglio I.; Trentanni G.
Fiscal software certification: An Italian experience of certification against the fiscal legislation
2016 Biscoglio I.; Lami G.; Trentanni G.
Certification and legislation. An Italian experience of fiscal software certification
2015 Biscoglio, I; Lami, G; Marchetti, E; Trentanni, G
Sito Web "SPLC 2014 - 18th International Software Product Line Conference"
2014 Trentanni, G
An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam
2013 Ter Beek, Mh; Gnesi, S; Latella, D; Massink, M; Sebastianis, M; Trentanni, G
Sito Web "Vamos 2013 - Seventh International Workshop on Variability Modelling of Software-intensive Systems"
2013 Trentanni, G
A case study of requirements quality analysis
2012 Biscoglio I.; Coco A.; Fabbrini F.; Fusani M.; Lami G.; Marchetti E.; Trentanni G.
iFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session
2012 Mazzanti, F; Trentanni, G
Addressing Readability in NL Requirements Analysis
2011 Trentanni G.
Cartelle sanitarie e di rischio: un'esperienza di certificazione
2011 Biscoglio, I; Coco, A; Trentanni, G
Certificazione di Apparecchi Misuratori Fiscali: passato, presente e futuro
2011 Coco, A.; Trentanni, G.