Integration of Time Issues into Component-Based Applications - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Integration of Time Issues into Component-Based Applications

Résumé

Inthispaperwedescribeatechniqueforspecifyingtimerelatedprop- erties on traditional software components. We apply the separation of concerns paradigm to allow independent specification of timing and to integrate time- checking specialized tool support into conventional software design processes. We aim at helping the designer to specify time contracts and at simplifying the introduction of time properties in the component behaviour description. We pro- pose to handle timing issues in a separate and specific design activity, in order to provide means of formal computation of time properties for component assem- blies without modifying in depth existing design processes.
Fichier principal
Vignette du fichier
CBSE_2007_Saudrais_et_al_46080173.pdf (411.77 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00477509 , version 1 (29-04-2010)

Identifiants

  • HAL Id : inria-00477509 , version 1

Citer

Sébastien Saudrais, Noël Plouzeau, Olivier Barais. Integration of Time Issues into Component-Based Applications. CBSE, ACM, Jul 2007, Boston, United States. ⟨inria-00477509⟩
171 Consultations
143 Téléchargements

Partager

Gmail Facebook X LinkedIn More