loading...
Logical-Time Contracts for Reactive Embedded Components
Rennes, France August 31-September 03
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EURMIC.2004.133335530th EUROMICRO Conference (EUROMICRO'04)
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Florence Maraninchi, Lionel Morel, "Logical-Time Contracts for Reactive Embedded Components," EUROMICRO Conference, pp. 48-55, 30th EUROMICRO Conference (EUROMICRO'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/EURMIC.2004.1333355,
author = {Florence Maraninchi and Lionel Morel},
title = {Logical-Time Contracts for Reactive Embedded Components},
journal ={EUROMICRO Conference},
volume = {0},
year = {2004},
issn = {1089-6503},
pages = {48-55},
doi = {http://doi.ieeecomputersociety.org/10.1109/EURMIC.2004.1333355},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - EUROMICRO Conference
TI - Logical-Time Contracts for Reactive Embedded Components
SN - 1089-6503
SP48
EP55
A1 - Florence Maraninchi,
A1 - Lionel Morel,
PY - 2004
KW - null
VL - 0
JA - EUROMICRO Conference
ER -
 
Florence Maraninchi, VERIMAG, France
Lionel Morel, VERIMAG, France
The "Design by contract" principle has been applied successfully in the context of object-oriented designs, since it was first proposed by B. Meyer for Eiffel. We claim that a simple pre-post specification is not sufficient for reactive software. We introduce a model of reactive components suitable for reactive embedded software, and a notion of logical-time contract for the specification and use of these components in synchronous compositions.
Citation:
Florence Maraninchi, Lionel Morel, "Logical-Time Contracts for Reactive Embedded Components," euromicro, pp.48-55, 30th EUROMICRO Conference (EUROMICRO'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.