4)Contract specification is an issue which we consider to be rather immature. In Eclipse, for example, component contracts are described as extension points and extensions in dedicated XML files, an approach that we found to be rather tedious. How can we make contract specification more effective and easier to maintain?