loading...
Arrays and Contracts for the Specification and Analysis of Regular Systems
Hamilton, Ontario, Canada June 16-June 18
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSD.2004.1309116Fourth International Conference on Ap ...
 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, "Arrays and Contracts for the Specification and Analysis of Regular Systems," Application of Concurrency to System Design, International Conference on, pp. 57, Fourth International Conference on Application of Concurrency to System Design (ACSD'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/CSD.2004.1309116,
author = {Florence Maraninchi and Lionel Morel},
title = {Arrays and Contracts for the Specification and Analysis of Regular Systems},
journal ={Application of Concurrency to System Design, International Conference on},
volume = {0},
year = {2004},
isbn = {0-7695-2077-4},
pages = {57},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSD.2004.1309116},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Application of Concurrency to System Design, International Conference on
TI - Arrays and Contracts for the Specification and Analysis of Regular Systems
SN - 0-7695-2077-4
SP
EP
A1 - Florence Maraninchi,
A1 - Lionel Morel,
PY - 2004
KW - null
VL - 0
JA - Application of Concurrency to System Design, International Conference on
ER -
 
Florence Maraninchi, VERIMAG, France
Lionel Morel, VERIMAG, France
We explore a structuring mechanism for reactive systems, based on two ideas: array iterators allow the description of regular systems; logical-time contracts allow local or global specifications of components. We describe a toolbox of automatic program manipulations able to exploit the regular structures and the contracts in order to help validating the system.
Citation:
Florence Maraninchi, Lionel Morel, "Arrays and Contracts for the Specification and Analysis of Regular Systems," acsd, pp.57, Fourth International Conference on Application of Concurrency to System Design (ACSD'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.