An Integrated Platform for Contract-oriented Development