Formal Methods in Software Engineering (DIT.AD003.112)
Area tematica
Ingegneria, ICT e tecnologie per l'energia e i trasporti
Area progettuale
Internet del futuro (DIT.AD003)Struttura responsabile del progetto di ricerca
Istituto di scienza e tecnologie dell'informazione "Alessandro Faedo" (ISTI)
Responsabile di progetto
MAURICEHENRI TERBEEK
Telefono: 050-3153471
E-mail: maurice.terbeek@isti.cnr.it
Abstract
L'attività progettuale sarà orientata primariamente lungo alcune linee generali di studio, ricerca e sviluppo proprie del Laboratorio di ricerca "Formal Methods and Tools":
(a) Empirical Software Engineering
(b) Human factors in Software Engineering
(c) Formal approaches to medical image analysis
(d) Formal approaches to Software Product Line Engineering
(e) Formal modelling and verification of service-oriented systems
(f) Formal modelling and verification of spatially distributed systems
(g) Formal modelling of business processes
(h) Modelling and analysis of railway control systems
(i) Natural Language Processing
(j) Quantitative formal methods for Collective Adaptive Systems
(k) Requirements Engineering
(l) Verification tools and techniques
Obiettivi
L'obiettivo principale è svolgere formazione, ricerca e sviluppo su alcune tematiche generali del Laboratorio di ricerca "Formal Methods and Tools":
(a) Empirical Software Engineering
(b) Human factors in Software Engineering
(c) Formal approaches to medical image analysis
(d) Formal approaches to Software Product Line Engineering
(e) Formal modelling and verification of service-oriented systems
(f) Formal modelling and verification of spatially distributed systems
(g) Formal modelling of business processes
(h) Modelling and analysis of railway control systems
(i) Natural Language Processing
(j) Quantitative formal methods for Collective Adaptive Systems
(k) Requirements Engineering
(l) Verification tools and techniques
Pubblicare i risultati in convegni e riviste di alto livello scientifico è un altro obiettivo importante, così come il trasferimento tecnologico verso l'industria dei risultati raggiunti e la partecipazione a progetti di ricerca regionali, nazionali e internazionali.
Data inizio attività
01/01/2021
Parole chiave
Formal Methods, Software Engineering
Ultimo aggiornamento: 01/04/2025