Composants avec Propriétés Temporelles
Abstract
Cet article propose une approche pour le développement d'applications mettant en avant le support de propriétés temporelles pour les composants logiciels. Notre processus s'adresse aux développeurs qui (1) construisent des applications à partir de composants avec des contraintes de temps et de performance et/ou (2) con{\c c}oivent des composants logiciels pour ce type d'applications. A partir des spécifications temporelles de l'application, le processus vérifie l'assemblage des composants et génère un connecteur en Giotto préservant les pro- priétés temporelles.
Domains
Software Engineering [cs.SE]| Origin | Files produced by the author(s) |
|---|
Loading...