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és
Origine : Fichiers produits par l'(les) auteur(s)