Slide 1 Interface-based design Philippe Giabbanelli CMPT 894 – Spring 2008 Slide 2 Brief review of concepts and symbols Assume/guarantee interface We have seen a number…
