ALESSIO FERRARI
- Type
- Persona (Classe)
- Label
- ALESSIO FERRARI (literal)
- ALESSIO FERRARI (literal)
- Http://www.w3.org/2002/07/owl#sameAs
- Alessio Ferrari (Unità di personale esterno)
- Persona in rapporto
- Employment relationship with CNR of DOTT. ALESSIO FERRARI (Rapporto con CNR)
- Autore CNR di
- Software requirements elicitation in the context of a collaborative research project : technical report (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Model-based development and formal methods in the railway industry (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Pragmatic ambiguity detection in natural language requirements (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Context transformations for goal models (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- CBTC preliminary report (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Model-based evaluation of the availability of a CBTC system. (Contributo in atti di convegno) (Prodotto della ricerca)
- Using clustering to improve the structure of natural language requirements documents (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Mining commonalities and variabilities from natural language documents (Contributo in atti di convegno) (Prodotto della ricerca)
- Product line engineering applied to CBTC systems development. (Contributo in atti di convegno) (Prodotto della ricerca)
- CBTC.ATS.0003_00_03 ATS Specifica dei requisiti di Sistema (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Evaluation of the IBM rhapsody tool for modeling automatic train protection (ATP) systems: the restrictive signal confirmation (RSC) button (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Automatic analysis of multimodal requirements: a research preview. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A clustering-based approach for discovering flaws in requirements specifications (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Lessons learnt from the adoption of formal model-based development. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Using collective intelligence to detect pragmatic ambiguities. (Contributo in atti di convegno) (Prodotto della ricerca)
- CBTC.ATS.006_00_03 Documentazione prototipo ATS (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Deadlock avoidance in train scheduling: A model checking approach (Contributo in atti di convegno) (Prodotto della ricerca)
- CBTC.ATS.0001_00_05 Specifica preliminare di sistema (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- The Metro Rio case study (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Designing a deadlock-free train scheduler: A model checking approach (Contributo in atti di convegno) (Prodotto della ricerca)
- Coautore
- Giorgio Oronzo Spagnolo (Unità di personale esterno)
- Massimiliano Leone Itria (Unità di personale esterno)
- GABRIELE TOLOMEI (Unità di personale esterno)
- FELICE DELL'ORLETTA (Persona)
- ALESSANDRO FANTECHI (Persona)
- FRANCO MAZZANTI (Persona)
- SILVANO CHIARADONNA (Persona)
- GIORGIO ORONZO SPAGNOLO (Persona)
- GUGLIELMO DE ANGELIS (Unità di personale interno)
- STEFANIA GNESI (Unità di personale interno)
- ANDREA POLINI (Unità di personale interno)
- Nome
- ALESSIO (literal)
- Cognome
- FERRARI (literal)
- Afferisce a
Incoming links:
- Coautore
- FRANCO MAZZANTI (Persona)
- SILVANO CHIARADONNA (Persona)
- GUGLIELMO DE ANGELIS (Unità di personale interno)
- STEFANIA GNESI (Unità di personale interno)
- GABRIELE TOLOMEI (Unità di personale esterno)
- Giorgio Oronzo Spagnolo (Unità di personale esterno)
- http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID22681
- Massimiliano Leone Itria (Unità di personale esterno)
- ALESSANDRO FANTECHI (Persona)
- http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID23400
- ANDREA POLINI (Unità di personale interno)
- FELICE DELL'ORLETTA (Persona)
- GIORGIO ORONZO SPAGNOLO (Persona)
- Ha afferente
- Rapporto con persona
- Employment relationship with CNR of DOTT. ALESSIO FERRARI (Rapporto con CNR)
- Autore CNR
- CBTC preliminary report (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Evaluation of the IBM rhapsody tool for modeling automatic train protection (ATP) systems: the restrictive signal confirmation (RSC) button (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Product line engineering applied to CBTC systems development. (Contributo in atti di convegno) (Prodotto della ricerca)
- Automatic analysis of multimodal requirements: a research preview. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Using collective intelligence to detect pragmatic ambiguities. (Contributo in atti di convegno) (Prodotto della ricerca)
- A clustering-based approach for discovering flaws in requirements specifications (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Model-based evaluation of the availability of a CBTC system. (Contributo in atti di convegno) (Prodotto della ricerca)
- Lessons learnt from the adoption of formal model-based development. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Mining commonalities and variabilities from natural language documents (Contributo in atti di convegno) (Prodotto della ricerca)
- CBTC.ATS.0001_00_05 Specifica preliminare di sistema (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Model-based development and formal methods in the railway industry (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Using clustering to improve the structure of natural language requirements documents (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Deadlock avoidance in train scheduling: A model checking approach (Contributo in atti di convegno) (Prodotto della ricerca)
- The Metro Rio case study (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Designing a deadlock-free train scheduler: A model checking approach (Contributo in atti di convegno) (Prodotto della ricerca)
- Software requirements elicitation in the context of a collaborative research project : technical report (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- CBTC.ATS.006_00_03 Documentazione prototipo ATS (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Pragmatic ambiguity detection in natural language requirements (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Context transformations for goal models (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- CBTC.ATS.0003_00_03 ATS Specifica dei requisiti di Sistema (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
