DocumentCode
2787137
Title
Integrating three tool-based approaches to software engineering
Author
Nicholl, R.A.
Author_Institution
Dept. of Comput. Sci., Western Ontario Univ., London, Ont.
fYear
1988
fDate
5-7 Oct 1988
Firstpage
197
Lastpage
204
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 1988. COMPSAC 88. Proceedings., Twelfth International
Conference_Location
Chicago, IL
Print_ISBN
0-8186-0873-0
Type
conf
DOI
10.1109/CMPSAC.1988.17173
Filename
17173
Link To Document