loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth International Conference on Application of Concurrency to System Design (ACSD'04)
Arrays and Contracts for the Specification and Analysis of Regular Systems
Hamilton, Ontario, Canada
June 16-June 18
ISBN: 0-7695-2077-4
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.