Component Contracts in Eclipse - A Case Study. - Jens Dietrich 001; Lucia Stewart (CBSE, 2010)