Title :
Integrating three tool-based approaches to software engineering
Author_Institution :
Dept. of Comput. Sci., Western Ontario Univ., London, Ont.
Abstract :
The author describes a software tool that supports transformation and verification activities, as well as some more widely used dynamic analysis activities. How the design of this tool supports not only the different activities but also their interaction is explained and the advantages of integrating these activities are briefly discussed. The author reports on the current status of the implementation and on enhancements that are being implemented
Keywords :
high level languages; program verification; programming; software tools; dynamic analysis; software engineering; software tool; tool-based approaches; transformation; verification activities; Computer languages; Information analysis; Monitoring; Performance analysis; Programming profession; Software engineering; Software tools; Testing;
Conference_Titel :
Computer Software and Applications Conference, 1988. COMPSAC 88. Proceedings., Twelfth International
Conference_Location :
Chicago, IL
Print_ISBN :
0-8186-0873-0
DOI :
10.1109/CMPSAC.1988.17173
