SPAGNOLO, GIORGIO ORONZO
SPAGNOLO, GIORGIO ORONZO
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Digitalisation of agriculture: development and evaluation of a model-based requirements engineering process
2023 Mannari, C; Spagnolo, Go; Bacco, M; Malizia, A
REFSQ 2023: joint proceedings of workshops, doctoral symposium, posters & tools track, and journal early feedback track - Preface
2023 Spagnolo, Go; Ferrari, A; Penzenstadler, B
A lightweight software product quality evaluation method
2022 Lami, G.; Spagnolo, G. O.
Processo di gestione dei flussi amministrativi delle certificazioni degli apparati per la memorizzazione elettronica e la trasmissione telematica dei dati dei corrispettivi giornalieri
2022 Spagnolo, Go; Cempini, A; Falchi, C; Lami, G; Pierotti, A; Puntoni, M
Technical debt management in automotive software industry
2022 Lami, G; Spagnolo, Go
Esportazione memoria permanente di dettaglio registratore telematico
2021 Spagnolo G. O.; Surano D.
Esportazione memoria permanente di riepilogo registratore telematico
2021 Spagnolo, Go; Surano, D
Spatial Model Checking for Smart Stations: Research Challenges
2021 ter Beek M.H.; Ciancia V.; Latella D.; Massink M.; Spagnolo G.O.
30 years of simulation-based quantitative analysis tools: a comparison experiment between Möbius and Uppaal SMC
2020 Basile D.; ter Beek M.H.; Di Giandomenico F.; Fantechi A.; Gnesi S.; Spagnolo G.O.
Specifica DOCUMENTI COMMERCIALI Secondo il provvedimento dell'Agenzia delle Entrate del 248558/2020 del 30 Giugno 2020
2020 Spagnolo, Go; Serchiani, G; Lami, G
QuOD: An NLP Tool to Improve the Quality of Business Process Descriptions
2019 Ferrari A.; Spagnolo G. O.; Fiscella A.; Parente G.
Smart Services for Railways
2019 Di Giandomenico F.; Gnesi S; Spagnolo G. O.; Fantechi A.
A Guidelines framework for understandable BPMN models
2018 Corradini, F; Ferrari, A; Fornari, F; Gnesi, S; Polini, A; Re, B; Spagnolo, G O
Improving the quality of business process descriptions of public administrations: resources and research challenges
2018 Ferrari, A; Witschel, Hf; Spagnolo, Go; Gnesi, S
Towards formal methods diversity in railways: an experience report with seven frameworks
2018 Mazzanti, F; Ferrari, A; Spagnolo, Go
Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles
2017 Mazzanti F.; Ferrari A.; Spagnolo G. O.
Checking business process modeling guidelines in apromore
2017 Fornari F.; Gnesi S.; La Rosa M.; Polini A.; Re B.; Spagnolo G. O.
Deadlock free dispatching for fleets of vehicles
2017 Mazzanti, F; Ferrari, A; Spagnolo, Go
Improving a Travel Management Procedure: an Italian Experience
2017 Calabro A.; Marchetti E.; Spagnolo G.O.; Cempini P.; Mancini L.; Paoletti S.
PURE: A Dataset of Public Requirements Documents
2017 Ferrari A.; Spagnolo G. O.; Gnesi S.