Asspegique: An Integrated Specification Environment