Composants avec Propriétés Temporelles - Archive ouverte HAL Access content directly
Conference Papers Year : 2006

Composants avec Propriétés Temporelles

(1) , (1) , (1)
1

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.
Fichier principal
Vignette du fichier
Saudrais06a.pdf (112.57 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00512552 , version 1 (30-08-2010)

Identifiers

  • HAL Id : inria-00512552 , version 1

Cite

Sébastien Saudrais, Olivier Barais, Noël Plouzeau. Composants avec Propriétés Temporelles. Proceedings of the CAL 2006, 2006, Nantes, France, France. ⟨inria-00512552⟩
78 View
44 Download

Share

Gmail Facebook Twitter LinkedIn More