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
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
Mining commonalities and variabilities from natural language documents 2013 Alessio Ferrari;Giorgio O. Spagnolo;Felice Dell'Orletta
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
Designing a Deadlock-Free Train Scheduler: A Model Checking Approach 2014 Franco Mazzanti;Giorgio Oronzo Spagnolo;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
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
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
Requirement Engineering of Software Product Lines: Extracting Variability Using NLP 2018 Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini
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
Hacking an Ambiguity Detection Tool to Extract Variation Points 2018 Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania; Semini, Laura
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
Comparing formal tools for system design: A judgment study 2020 Ferrari A.; Mazzanti F.; Basile D.; ter Beek M.H.; Fantechi A.
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