The page of the project COSoDIS: Contract-Oriented Software Development for Internet Services, has been moved here.