Rich Interface Theories for Component-based Design - PowerPoint PPT Presentation
Title:
Rich Interface Theories for Component-based Design
Description:
Chess Review. May 10, 2004. Berkeley, CA. Rich Interface ... int foo(int bar) FooBaz 2 void ! void. foo. class Foo implements FooBazAble. public void FooBaz ... – PowerPoint PPT presentation
Number of Views:14
Avg rating:3.0/5.0
Title: Rich Interface Theories for Component-based Design
1
Rich Interface Theories for Component-based Design
- Arindam Chakrabarti
- Luca de Alfaro
- Thomas A. Henzinger
- Marcin Jurdzinski
- Freddy Y. C. Mang
- Mariëlle Stoelinga
2
What is an interface ?
Input assumption true
3
Simple interfaces we use all the time
Recommended
CrystalGraphics Presentations
