Title :
Specifying static analysis tools using formal methods
Author_Institution :
Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
Abstract :
The paper describes experience of a large-scale application of the Z specification language to the formalisation of parts of the transformation and analysis functionality contained in a static analysis toolset for COBOL. Aspects of the development described in the paper are: the combination of `diagrammatic´ analysis and design techniques with formal specification, in order to obtain well-structured and comprehensible specifications; techniques to utilise object-oriented structure in the domain in order to structure a specification; benefits of using formal specifications in an industrial environment in which expertise in formal methods was restricted, and which was predominately within a traditional database and imperative programming culture
Keywords :
formal specification; object-oriented methods; software tools; specification languages; structured programming; system monitoring; systems software; COBOL; Z specification language; analysis functionality; comprehensible specifications; database culture; diagrammatic analysis techniques; diagrammatic design techniques; formal methods; formal specification; imperative programming culture; industrial environment; object-oriented structure; static analysis tool specification; static analysis toolset; transformation functionality; well-structured specifications; Data models; Educational institutions; Formal specifications; Information analysis; Large-scale systems; Object oriented databases; Object oriented programming; Software maintenance; Software tools; Specification languages;
Conference_Titel :
Engineering of Complex Computer Systems, 1995. Held jointly with 5th CSESAW, 3rd IEEE RTAW and 20th IFAC/IFIP WRTP, Proceedings., First IEEE International Conference on
Conference_Location :
Ft. Lauderdale, FL
Print_ISBN :
0-8186-7123-8
DOI :
10.1109/ICECCS.1995.479338
