Integration of Time Issues into Component-Based Applications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

Integration of Time Issues into Component-Based Applications


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
Origin Files produced by the author(s)

Dates and versions

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


  • HAL Id : inria-00477509 , version 1


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 View
143 Download


Gmail Mastodon Facebook X LinkedIn More