Title :
ForMooZ: A hypertext-based environment to support object-oriented formal development
Author :
Meira, Silvio Lemos ; dos Santos, Cássio Souza
Author_Institution :
Dept. de Inf., Univ. Federal de Pernambuco, Brazil
Abstract :
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
Keywords :
formal specification; hypermedia; object-oriented methods; project support environments; software prototyping; system documentation; ForMooZ; MooZ; Z specification language; advanced prototype; documents; hypertext-based environment; large software systems; object-oriented formal development; object-oriented specifications; prototype implementation; system requirements; Application software; Computer industry; Electrical capacitance tomography; Environmental management; Formal specifications; Program processors; Programming; Prototypes; Software prototyping; Software systems;
Conference_Titel :
Computer-Aided Software Engineering, 1993. CASE '93., Proceeding of the Sixth International Workshop on
Print_ISBN :
0-8186-3480-4
DOI :
10.1109/CASE.1993.634813
