SAIA : une utilisation conjointe du génie logiciel et des méthodes formelles
Résumé
The paper sketches how architectural styles can be used as a way to make a high abstraction level model suitable to analysis.
Cet article de vulgarisation montre comment utiliser des styles architecturaux afin de permettre l'analyse de modèles à haut niveau d'abstraction.
Domaines
Systèmes embarquésOrigine | Fichiers produits par l'(les) auteur(s) |
---|