DocumentCode
2140434
Title
System specification reengineering using the SpecView tool
Author
Kirner, Tereza G. ; Gratão, Rogéria C.
Author_Institution
Dept. of Comput. Sci., Fed. Univ. of Sao Carlos, Brazil
fYear
1998
fDate
8-11 Mar 1998
Firstpage
135
Lastpage
141
Abstract
The main goal of the paper is to present the SpecView tool, stressing its usefulness for the reengineering of system specifications. It describes how the SpecView can be applied in situations wherein the system has to be reengineered to the (almost) same requirements, but the company is interested in specifying and documenting the requirements via a different method or technique. The characteristics of the tool are described and the results obtained in the reengineering of a traffic monitoring/light controlling system are presented
Keywords
formal specification; systems analysis; systems re-engineering; traffic control; SpecView tool; light controlling system; system specification reengineering; traffic monitoring; Chromium; Computer science; Control systems; Electrical capacitance tomography; Lighting control; Monitoring; Software systems; Software tools; System testing; Telephony;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Maintenance and Reengineering, 1998. Proceedings of the Second Euromicro Conference on
Conference_Location
Florence
Print_ISBN
0-8186-8421-6
Type
conf
DOI
10.1109/CSMR.1998.665781
Filename
665781
Link To Document