Formal Methods in Software Engineering (DIT.AD003.112)
Thematic area
Engineering, ICT and technologies for energy and transportation
Project area
Internet del futuro (DIT.AD003)Structure responsible for the research project
Institute of information science and technologies "Alessandro Faedo" (ISTI)
Project manager
MAURICEHENRI TERBEEK
Phone number: 050-3153471
Email: 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
Goals
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.
Start date of activity
01/01/2021
Keywords
Formal Methods, Software Engineering
Last update: 30/03/2025