Title :
Assessment of maintainability in object-oriented software
Author :
Alagar, V.S. ; Li, Qiaoyun ; Ormandjieva, Olga S.
Author_Institution :
Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
Abstract :
In software industrial practice, the high cost of the maintenance process for large-scale software has placed emphasis on the need to manage the maintainability in earlier phases of the software life-cycle. This paper discusses the applicability of architectural complexity measures to managing the complexity in the software maintenance phase and the reliability of the maintenance process. It also discusses the theoretical validity of the architectural complexity measures, as has been established using PVS, a formal verification system
Keywords :
information theory; object-oriented programming; program verification; reliability; software architecture; software maintenance; software metrics; PVS; cost; formal verification system; information theory; large-scale software; object-oriented software maintainability assessment; reliability; software architectural complexity measures; software design complexity measurement; software industrial practice; software life-cycle; software maintenance process; Computer industry; Computer science; Costs; Formal verification; Information theory; Laboratories; Phase measurement; Software maintenance; Software measurement; Software systems;
Conference_Titel :
Technology of Object-Oriented Languages and Systems, 2001. TOOLS 39. 39th International Conference and Exhibition on
Conference_Location :
Santa Barbara, CA
Print_ISBN :
0-7695-1251-8
DOI :
10.1109/TOOLS.2001.941673
