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
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;
Conference_Titel :
Software Maintenance and Reengineering, 1998. Proceedings of the Second Euromicro Conference on
Conference_Location :
Florence
Print_ISBN :
0-8186-8421-6
DOI :
10.1109/CSMR.1998.665781
