Vers un développement sûr d'applications interactives
Résumé
Pour développer des applications interactives sûres, deux approches peuvent aujourd'hui être mises en parallèle : les Systèmes Basés sur Modèles (Model-Based Systems) d'une part, et les approches formelles d'autre part. Malgré des avancées intéressantes, aucune d'elles n'est encore parvenue à s'imposer. Nous explorons dans ce travail une voie qui peut être qualifiée d'intermédiaire, puisqu'elle associe un développement formel d'application non interactive à un système de conception interactif, dans le but de conjuguer les apports de ces deux classes d'approches.
Origine : Accord explicite pour ce dépôt