Download presentation
Presentation is loading. Please wait.
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(); …} }
Similar presentations
© 2025 SlidePlayer.com. Inc.
All rights reserved.