Rich Interface Theories for Componentbased Design

1
Rich Interface Theories for Component-based Design
Arindam Chakrabarti , Luca de Alfaro , Thomas
A Henzinger , Marcin Jurdzinski , Freddy Mang
, Mariëlle Stoelinga U C
Berkeley U C Santa Cruz
Synopsys
Chic 1.0 is available as a plug-in for Ptolemy
and JBuilder ( Thanks to Eleftherios
Matsikoudis)
Download Chic 1.0 today !!
http//www.eecs.berkeley.edu/tah/Chic/
10 May 2004