Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 21
Titolo Data di pubblicazione Autore(i) File
The Metro Rio ATP case study 2010 A. Ferrari; D. Grasso; G. Magnani; A. Fantechi
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer 2011 Alessio Ferrari;Gianluca Magnani;Daniele Grasso;Alessandro Fantechi;Matteo Tempestini
Model Checking Interlocking Control Tables 2011 Alessio Ferrari;Gianluca Magnani;Daniele Grasso;Alessandro Fantechi
Product Line Engineering Applied to CBTC Systems Development 2012 Alessio Ferrari; Giorgio Oronzo Spagnolo; Giacomo Martelli; Simone Menabeni
Mining commonalities and variabilities from natural language documents 2013 Alessio Ferrari;Giorgio O. Spagnolo;Felice Dell'Orletta
The Metrô Rio case study 2013 Alessio Ferrari; Alessandro Fantechi; Gianluca Magnani; Daniele Grasso; Matteo Tempestini
Model-Based Development and Formal Methods in the Railway Industry 2013 Alessio Ferrari;Alessandro Fantechi;Stefania Gnesi;Gianluca Magnani
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
Designing a Deadlock-Free Train Scheduler: A Model Checking Approach 2014 Franco Mazzanti;Giorgio Oronzo Spagnolo;Alessio Ferrari
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
Formal methods and safety certification: Challenges in the railways domain 2016 Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania
Detecting Domain-Specific Ambiguities: An NLP Approach Based on Wikipedia Crawling and Word Embeddings 2017 Ferrari, Alessio; Donati, Beatrice; Gnesi, Stefania
Hacking an Ambiguity Detection Tool to Extract Variation Points 2018 Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania; Semini, Laura
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain 2018 Ferrari, Alessio*; Gori, Gloria; Rosadini, Benedetta; Trotta, Iacopo; Bacherini, Stefano; Fantechi, Alessandro; Gnesi, Stefania
On the industrial uptake of formal methods in the railway domain: A survey with stakeholders 2018 Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari
Requirement Engineering of Software Product Lines: Extracting Variability Using NLP 2018 Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini
Learning from Mistakes: An Empirical Study of Elicitation Interviews Performed by Novices 2018 Bano, Muneera; Bano, Muneera; Zowghi, Didar; Ferrari, Alessio; Spoletini, Paola; Donati, Beatrice
Adopting Formal Methods in an Industrial Setting: The Railways Case 2019 ter Beek, Maurice H.; Borälv, Arne; Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania; Löfving, Christer; Mazzanti, Franco
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers 2020 Basile D.; ter Beek M.H.; Fantechi A.; Ferrari A.; Gnesi S.; Masullo L.; Mazzanti F.; Piattino A.; Trentini D.
Mostrati risultati da 1 a 20 di 21
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