1. Chess Review May 10, 2004 Berkeley, CA Rich Interface Theories for Component-based Design Arindam Chakrabarti Luca de Alfaro Thomas A. Henzinger Marcin Jurdziński Freddy Y. C. Mang Mariëlle Stoelinga

2. Chess Review, May 10, 2004 2 What is an interface ? Input assumption true x y z true Output guarantee true x=0  y=0 x y z true y = 0  x. ( true  ( x=0  y=0 ))

3. Chess Review, May 10, 2004 3 Simple interfaces we use all the time in  int out  int foo int foo(int bar) { … } FooBaz 2 void ! void foo class Foo implements FooBazAble { public void FooBaz(){ …} } FooBaz 2 void ! void foo Bar 2 void ! void class Foo implements FooBazAble { public void FooBaz(){ …; Bar(); …} }