TRENTANNI, GIANLUCA
TRENTANNI, GIANLUCA
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.01 secondi).
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 pioneer tool for NL requirement analysis
2019 Lami G.; Fusani M.; Trentanni G.
Certification of cash registers software
2017 Biscoglio I.; Lami G.; 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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 pioneer tool for NL requirement analysis | 1-gen-2019 | Lami G.; Fusani M.; Trentanni G. | |
| Certification of cash registers software | 1-gen-2017 | Biscoglio I.; Lami G.; 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 |