Sfoglia per Autore
Product Line Engineering Applied to CBTC Systems Development
2012 Alessio Ferrari; Giorgio Oronzo Spagnolo; Giacomo Martelli; Simone Menabeni
Model-Based Evaluation of the Availability of a CBTC System
2012 A. Ferrari;M. Itria;S. Chiaradonna;Giorgio Oronzo Spagnolo
Mining commonalities and variabilities from natural language documents
2013 Alessio Ferrari;Giorgio O. Spagnolo;Felice Dell'Orletta
Pragmatic ambiguity detection in natural language requirements
2014 Alessio Ferrari;Giuseppe Lipari;Stefania Gnesi;Giorgio O. Spagnolo
Measuring and Improving the Completeness of Natural Language Requirements
2014 Alessio Ferrari;Felice dell’Orletta;Giorgio Oronzo Spagnolo;Stefania Gnesi
Designing a Deadlock-Free Train Scheduler: A Model Checking Approach
2014 Franco Mazzanti;Giorgio Oronzo Spagnolo;Alessio Ferrari
From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions
2014 Alessio Ferrari;Giorgio O. Spagnolo;Giacomo Martelli;Simone Menabeni
Deadlock Avoidance in Train Scheduling: A Model Checking Approach
2014 Franco Mazzanti;Giorgio Oronzo Spagnolo;Simone Della Longa;Alessio Ferrari
CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams
2015 Ferrari, Alessio; Spagnolo, Giorgio O.; Gnesi, Stefania; Dell'Orletta, Felice
Agile Processes and Formal Methods in Railway Systems
2016 Spagnolo, Giorgio Oronzo
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.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Product Line Engineering Applied to CBTC Systems Development | 2012 | Alessio Ferrari; Giorgio Oronzo Spagnolo; Giacomo Martelli; Simone Menabeni | |
Model-Based Evaluation of the Availability of a CBTC System | 2012 | A. Ferrari;M. Itria;S. Chiaradonna;Giorgio Oronzo Spagnolo | |
Mining commonalities and variabilities from natural language documents | 2013 | Alessio Ferrari;Giorgio O. Spagnolo;Felice Dell'Orletta | |
Pragmatic ambiguity detection in natural language requirements | 2014 | Alessio Ferrari;Giuseppe Lipari;Stefania Gnesi;Giorgio O. Spagnolo | |
Measuring and Improving the Completeness of Natural Language Requirements | 2014 | Alessio Ferrari;Felice dell’Orletta;Giorgio Oronzo Spagnolo;Stefania Gnesi | |
Designing a Deadlock-Free Train Scheduler: A Model Checking Approach | 2014 | Franco Mazzanti;Giorgio Oronzo Spagnolo;Alessio Ferrari | |
From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions | 2014 | Alessio Ferrari;Giorgio O. Spagnolo;Giacomo Martelli;Simone Menabeni | |
Deadlock Avoidance in Train Scheduling: A Model Checking Approach | 2014 | Franco Mazzanti;Giorgio Oronzo Spagnolo;Simone Della Longa;Alessio Ferrari | |
CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams | 2015 | Ferrari, Alessio; Spagnolo, Giorgio O.; Gnesi, Stefania; Dell'Orletta, Felice | |
Agile Processes and Formal Methods in Railway Systems | 2016 | Spagnolo, Giorgio Oronzo | |
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. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile