ForMooZ: A hypertext-based environment to support object-oriented formal development

ForMooZ, an environment which supports the construction and management of object-oriented specifications written in MooZ, an extension of Z is presented. The main features and requirements for such an environment are discussed and an advanced prototype is presented. The environment is aimed at the specification of large software systems and provides a framework under which the documents generated during the various phases of development can be mutually related through a hypertext structure, from system requirements to prototype implementation.