CNR Institutional Research Information System

TRENTANNI, GIANLUCA

TRENTANNI, GIANLUCA  

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI  

Mostra records
Risultati 1 - 20 di 70 (tempo di esecuzione: 0.032 secondi).
Titolo Data di pubblicazione Autore(i) File
Sito Web "Pubblicare Open Access al CNR" 1-gen-2021 Giannini, S; Trentanni, G; Maggi, R; Mangiaracina, S
Sito web del laboratorio ISTI "Formal Methods & Tools" 1-gen-2021 Trentanni, G
Sito web GL2020 - 22nd International Conference on Grey Literature "Applications of Grey Literature for Science and Society" 1-gen-2020 Trentanni, G; Giannini, S; Molino, A
Comparing results of natural language disambiguation tools with reports of manual reviews of safety-related standards 1-gen-2019 Biscoglio I.; Ciancabilla A.; Fusani M.; Lami G.; Trentanni G.
QuARS: a NLP tool for requirements analysis 1-gen-2019 Gnesi, S; Trentanni, G
QuARS: a pioneer tool for NL requirement analysis 1-gen-2019 Lami G.; Fusani M.; Trentanni G.
Sito Web "BIBV - BIBliography of historic activity of Italian Volcanoes" 1-gen-2018 Giannini S.; Trentanni G.; Principe C.; Paolillo A.
Sito web Biblioteca Area CNR Pisa 1-gen-2018 Volpini F.; Giannini S.; Molino A.; D'Angelo C.; Lombardi S.; Trentanni G.
Certification of cash registers software 1-gen-2017 Biscoglio I.; Lami G.; Trentanni G.
Certificazione del software fiscale. Un'esperienza italiana di certificazione conforme alla legislazione fiscale. 1-gen-2016 Biscoglio I.; Trentanni G.
Fiscal software certification: An Italian experience of certification against the fiscal legislation 1-gen-2016 Biscoglio I.; Lami G.; Trentanni G.
Certification and legislation. An Italian experience of fiscal software certification 1-gen-2015 Biscoglio, I; Lami, G; Marchetti, E; Trentanni, G
Sito Web "SPLC 2014 - 18th International Software Product Line Conference" 1-gen-2014 Trentanni, G
An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam 1-gen-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" 1-gen-2013 Trentanni, G
A case study of requirements quality analysis 1-gen-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 1-gen-2012 Mazzanti, F; Trentanni, G
Addressing Readability in NL Requirements Analysis 1-gen-2011 Trentanni G.
Cartelle sanitarie e di rischio: un'esperienza di certificazione 1-gen-2011 Biscoglio, I; Coco, A; Trentanni, G
Certificazione di Apparecchi Misuratori Fiscali: passato, presente e futuro 1-gen-2011 Coco, A.; Trentanni, G.