Integration of Time Issues into Component-Based Applications - Archive ouverte HAL Access content directly
Conference Papers Year : 2007

Integration of Time Issues into Component-Based Applications

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

Abstract

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)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : inria-00477509 , version 1

Cite

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⟩
162 View
117 Download

Share

Gmail Facebook Twitter LinkedIn More