Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 36
Titolo Data di pubblicazione Autore(i) File
A logical framework to deal with variability 2010 P. Asirelli; M. H. ter Beek; S. Gnesi; A. Fantechi
Modelling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research) 2010 M.H. ter Beek; S. Gnesi; A. Fantechi; G. Zavattaro
A state/event-based model-checking approach for the analysis of abstract system properties. 2011 M. H. ter Beek; A. Fantechi; S. Gnesi; F. Mazzanti
Model Checking, cos'è e come si applica 2011 A. Fantechi; S. Gnesi
Design and validation of variability in product lines 2011 Patrizia Asirelli;Maurice H. ter Beek;Alessandro Fantechi;Stefania Gnesi;Franco Mazzanti
On the Adoption of Model Checking in Safety-Related Software Industry 2011 A. Fantechi; S. Gnesi
Variability and Rigour in Service Computing Engineering 2011 Maurice H. ter Beek;Stefania Gnesi;Alessandro Fantechi;Jose L. Fiadeiro
A model-checking tool for families of services. 2011 P. Asirelli; M. H. ter Beek; S. Gnesi; A. Fantechi;
Formal Description of Variability in Product Families 2011 Patrizia Asirelli;Maurice H. ter Beek;Stefania Gnesi;Alessandro Fantechi
Model-Based Development and Formal Methods in the Railway Industry 2013 Alessio Ferrari;Alessandro Fantechi;Stefania Gnesi;Gianluca Magnani
Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning 2013 Felicita Giandomenico;Alessandro Fantechi;Stefania Gnesi;Massimiliano Leone Itria
Formal methods for railway control systems 2014 Alessandro Fantechi; Francesco Flammini; Stefania Gnesi
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems 2015 Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
Using FMC for family-based analysis of software product lines 2015 Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
Formal methods and safety certification: Challenges in the railways domain 2016 Fantechi, Alessandro; Ferrari, Alessio; Gnesi, Stefania
Refinement of Behavioural Models for Variability Description 2016 Fantechi, Alessandro; Gnesi, Stefania
Variability-based design of services for smart transportation systems 2016 ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Semini, Laura
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints 2016 ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco
Ambiguity defects as variation points in requirements 2017 Fantechi, Alessandro; Gnesi, Stefania; Semini, Laura
Optimizing Feature Interaction Detection 2017 Fantechi, Alessandro; Gnesi, Stefania; Semini, Laura
Mostrati risultati da 1 a 20 di 36
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