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
相关论文
共 62 条
  • [1] ASHWORTH C, 1990, SSADM PRACTICAL APPR
  • [2] BAUER FL, 1985, LECT NOTES COMPUT SC, V183, pR1
  • [3] AUTOMATED SUPPORT OF SOFTWARE MAINTENANCE
    BENNETT, KH
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1991, 33 (01) : 74 - 85
  • [4] Bowen J., 1992, Code Generation - Concepts, Tools, Techniques. Proceedings of the International Workshop, P173
  • [5] BOWEN JP, 1991, PRGR2391 OXF U COMP
  • [6] BOWEN JP, 1993, 1992 Z US WORKSH LON, P309
  • [7] BOWEN JP, 1992, 5TH INT C SOFTW ENG
  • [8] BOWEN JP, 1993, REDO COMPENDIUM REVE, P131
  • [9] Breuer P. T., 1991, Journal of Software Maintenance: Research and Practice, V3, P145, DOI 10.1002/smr.4360030303
  • [10] BREUER PT, 1992, LECT NOTES ARTIF INT, V636, P290
1234567