Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 11 di 11
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.
Mostrati risultati da 1 a 11 di 11
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