SAIA : une utilisation conjointe du génie logiciel et des méthodes formelles
Abstract
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.
Domains
Embedded Systems
Origin : Files produced by the author(s)