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 条
  • [21] SPECS - FORMAL METHODS AND TECHNIQUES FOR TELECOMMUNICATIONS SOFTWARE-DEVELOPMENT
    DAUPHIN, M
    MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 117 - 124
  • [22] A Survey of Formal Techniques for Hardware/Software Co-Verification
    Liu, Kun
    Kong, Weiqiang
    Hou, Gang
    Fukuda, Akira
    2018 7TH INTERNATIONAL CONGRESS ON ADVANCED APPLIED INFORMATICS (IIAI-AAI 2018), 2018, : 125 - 128
  • [23] Integration of software analysis & design methods with formal description techniques
    Sureerat, S
    Saeki, M
    1998 ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 1998, : 46 - 53
  • [24] PANEL CHAIRS COMMENTS ON ADVANCES IN FORMAL SOFTWARE ASSURANCE TECHNIQUES
    CHERNIAVSKY, JC
    COMPASS 89 : PROCEEDINGS OF THE FOURTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE: SYSTEMS INTEGRITY, SOFTWARE SAFETY AND PROCESS SECURITY, 1989, : 60 - 60
  • [25] Special issue on "Intelligent Formal Techniques for Software Design: IFTSD"
    Fujita, Hamido
    KNOWLEDGE-BASED SYSTEMS, 2010, 23 (07) : 643 - 644
  • [26] Applying formal proof techniques to avionics software: A pragmatic approach
    Randimbivololona, F
    Souyris, J
    Baudin, P
    Pacalet, A
    Raguideau, J
    Schoen, D
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1798 - 1815
  • [27] A New Software Maintenance Scenario Based on Refactoring Techniques
    Villavicencio, Gustavo
    2012 16TH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING (CSMR), 2012, : 341 - 346
  • [28] Teaching software maintenance with ludic techniques supported by Robotics
    Serodio Thomazinho, Hellen Christine
    L'Erario, Alexandre
    Fabri, Jose Augusto
    2017 IEEE FRONTIERS IN EDUCATION CONFERENCE (FIE), 2017,
  • [29] Evaluation of Feature Selection Techniques for Software Maintenance Prediction
    Nanda, Sheena
    Bala, Anju
    Saxena, Sharad
    2017 2ND INTERNATIONAL CONFERENCE ON COMPUTATIONAL SYSTEMS AND INFORMATION TECHNOLOGY FOR SUSTAINABLE SOLUTION (CSITSS-2017), 2017, : 76 - 81
  • [30] A COMPENDIUM OF MEDICAL SOFTWARE FOR MICROCOMPUTERS
    POLACSEK, RA
    M D COMPUTING, 1984, 1 (06): : 28 - 55
12345