Title :
Some maintainability metrics for a communication protocol specified in Estelle
Author :
Huang, Sun-Jen ; Lai, Richard
Author_Institution :
Dept. of Comput. Sci. & Eng., La Trobe Univ., Bundoora, Vic., Australia
Abstract :
With the application of formal description techniques (FDTs) in the communication protocol area since the mid 1980s, avenues have been opened up to allow a system to be analyzed early in the specification phase. Quantitative measures on its maintainability can then be extracted from such a formal specification, so that we can develop easily maintainable communication software systems and further reduce the increasingly high cost of software maintenance. This paper describes some maintainability metrics for a communication protocol specified in Estelle
Keywords :
computer communications software; formal specification; software maintenance; software metrics; transport protocols; Estelle; communication protocol; communication software systems; early specification phase; formal description techniques; formal specification; maintainability metrics; software maintenance; Costs; Electronic mail; Phase measurement; Protocols; Software maintenance; Software measurement; Software metrics; Software quality; Software standards; Software systems;
Conference_Titel :
Computer Software and Applications Conference, 1998. COMPSAC '98. Proceedings. The Twenty-Second Annual International
Conference_Location :
Vienna
Print_ISBN :
0-8186-8585-9
DOI :
10.1109/CMPSAC.1998.716659
