Some maintainability metrics for a communication protocol specified in Estelle

被引：0
|
作者：
Huang, SJ [1 ]
Lai, R [1 ]
机构：
[1] La Trobe Univ, Dept Comp Sci & Comp Engn, Bundoora, Vic 3083, Australia
来源：
TWENTY-SECOND ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE - PROCEEDINGS | 1998年
关键词：
D O I：
10.1109/CMPSAC.1998.716659
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
With the uses of Formal Description Techniques (FDTs) in the communication protocol area since the mid 80's, avenues have been opened vp for 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.
引用
收藏
页码：218 / 223
页数：6
相关论文
共 50 条
  • [21] Model-Based Metrics to Estimate Maintainability
    Almasri, Nada
    Tahat, Luay
    [J]. EMERGING TECHNOLOGIES IN COMPUTING, ICETIC 2018, 2018, 200 : 59 - 69
  • [22] MAINTAINABILITY METRICS FOR ASPECT-ORIENTED SOFTWARE
    Thongmak, Mathupayas
    Muenchaisri, Pornsiri
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2009, 19 (03) : 389 - 420
  • [23] Source code metrics and maintainability: A case study
    University of Szeged, Department of Software Engineering, Árpád tér 2, H-6720 Szeged, Hungary
    不详
    [J]. Commun. Comput. Info. Sci., (272-284):
  • [24] OBJECT-ORIENTED METRICS THAT PREDICT MAINTAINABILITY
    LI, W
    HENRY, S
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1993, 23 (02) : 111 - 122
  • [25] A Systematic Review of Software Maintainability Prediction and Metrics
    Riaz, Mehwish
    Mendes, Emilia
    Tempero, Ewan
    [J]. ESEM: 2009 3RD INTERNATIONAL SYMPOSIUM ON EMPIRICAL SOFTWARE ENGINEERING AND MEASUREMENT, 2009, : 368 - 378
  • [26] Experience in validating protocol integration using Estelle
    Jezequel, J.
    [J]. Proceedings of the IFIP TC/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, 1991,
  • [27] Design metrics for web application maintainability measurement
    Ghosheh, Emad
    Black, Sue
    [J]. 2008 IEEE/ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1-3, 2008, : 778 - +
  • [28] Source Code Metrics and Maintainability: A Case Study
    Hegedus, Peter
    Bakota, Tibor
    Illes, Laszlo
    Ladanyi, Gergely
    Ferenc, Rudolf
    Gyimothy, Tibor
    [J]. SOFTWARE ENGINEERING, BUSINESS CONTINUITY, AND EDUCATION, 2011, 257 : 272 - +
  • [29] An estelle-based incremental protocol design system
    Huang, CM
    Hsu, JM
    Lai, HY
    Huang, DT
    Pong, JC
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1997, 36 (02) : 115 - 135
  • [30] FORMAL SPECIFICATION, VALIDATION AND IMPLEMENTATION OF AN APPLICATION PROTOCOL WITH ESTELLE
    NGUYEN, CT
    HUNEL, P
    VIALATTE, MC
    [J]. IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 2 : 361 - 376
12345