A COMPENDIUM OF FORMAL TECHNIQUES FOR SOFTWARE MAINTENANCE

被引：8
|
作者：
BOWEN, J
BREUER, P
LANO, K
机构：
[1] UNIV OXFORD, COMP LAB, PROGRAMING RES GRP, OXFORD OX1 3QD, ENGLAND
[2] UNIV POLTECH MADRID, ESCUELA TECN SUPER INGN TELECOMMUN, E-28040 MADRID, SPAIN
[3] LLOYDS REGISTER SHIPPING, CROYDON CR0 2AJ, ENGLAND
来源：
SOFTWARE ENGINEERING JOURNAL | 1993年 / 8卷 / 05期
关键词：
D O I：
10.1049/sej.1993.0031
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Software maintenance is an important area in practical software engineering that has been largely overlooked by many theoretical computer scientists. This paper gives an overview of formal techniques developed recently to aid the software maintenance process, and in particular reverse engineering and re-engineering. In the future, it is suggested that specifications, rather than programs, should be maintained. The described work provides a mathematical basis for a large collaborative project, which has also been investigating many other aspects of software maintenance.
引用
收藏
页码：253 / 262
页数：10
相关论文
共 50 条
  • [41] A COMPENDIUM OF GC TERMS AND TECHNIQUES
    HINSHAW, JV
    LC GC-MAGAZINE OF SEPARATION SCIENCE, 1992, 10 (07): : 516 - &
  • [42] Toward a software maintenance methodology using semantic web techniques
    Hyland-Wood, David
    Carrington, David
    Kaplan, Simon
    SECOND INTERNATIONAL IEEE WORKSHOP ON SOFTWARE EVOLVABILITY, PROCEEDINGS, 2006, : 23 - +
  • [43] DYNAMIC MONITORING OF AN URBAN PARK WITH GEOMATIC TECHNIQUES AND SOFTWARE FOR MAINTENANCE
    Dardanelli, Gino
    Paliege, Silvia
    Allegra, Massimo
    GEOMEDIA, 2014, 18 (04) : 6 - 10
  • [44] USING AUTOMATIC PROGRAM DECOMPOSITION TECHNIQUES IN SOFTWARE MAINTENANCE TOOLS
    GOPAL, R
    SCHACH, SR
    CONFERENCE ON SOFTWARE MAINTENANCE - 1989, PROCEEDINGS, 1989, : 132 - 141
  • [45] Formal verification and software product lines - Using formal verification techniques to verify designs within a product line
    Kishi, Tomoji
    Noda, Natsuko
    COMMUNICATIONS OF THE ACM, 2006, 49 (12) : 73 - 77
  • [46] EXPERIENCE IN USING FORMAL DESCRIPTION TECHNIQUES (FDT) FOR SWITCHING SOFTWARE-DESIGN
    DINSENMEYER, I
    LOUVET, O
    GROZ, R
    ANNALES DES TELECOMMUNICATIONS-ANNALS OF TELECOMMUNICATIONS, 1987, 42 (7-8): : 448 - 460
  • [47] Hardware/Software Formal Co-Verification using Hardware Verification Techniques
    Nguyen, Minh D.
    Kunz, Wolfgang
    2012 FOURTH INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND ELECTRONICS (ICCE), 2012, : 465 - 470
  • [48] A Compendium of Techniques for the Analysis of Pharmaceutical Impurities
    Kamboj, Sonia
    Kamboj, Naveen
    Rawal, Ravindra K.
    Thakkar, Arti
    Bhardwaj, T. R.
    CURRENT PHARMACEUTICAL ANALYSIS, 2014, 10 (02) : 145 - 160
  • [49] The Impact of Ensemble Techniques on Software Maintenance Change Prediction: An Empirical Study
    Alsolai, Hadeel
    Roper, Marc
    APPLIED SCIENCES-BASEL, 2022, 12 (10):
  • [50] A COMPENDIUM ON WEB SERVICE PREDICTION TECHNIQUES
    Arunachalam, N.
    Amuthan, A.
    Shanmughapriya, M.
    Kavya, C.
    Gandhi, Letchumi Devi
    2017 INTERNATIONAL CONFERENCE ON COMPUTATION OF POWER, ENERGY INFORMATION AND COMMUNICATION (ICCPEIC), 2017, : 290 - 294
12345