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 条
[11]  
BREUER PT, 1993 P UKUUG SUKUG J, P167
[12]  
BREUER PT, 1992, PRG2092 OXF U COMP L
[13]  
BREUER PT, 1992, PRGTR1192 OXF U COMP
[14]  
BREUER PT, 1992, JOURNEES TRAVA BIGRE, V81
[15]  
BREUER PT, 1993, J SOFTWARE MAINTENAN, V5, P13
[16]  
BREUER PT, 1992, 5TH INT C SOFTW ENG
[17]  
BREUER PT, 1993, REDO COMPENDIUM REVE, P195
[18]  
Cohn A., 1989, Journal of Automated Reasoning, V5, P127, DOI 10.1007/BF00243000
[19]  
COUTURIER P, 1990, ESPRIT 90, P242
[20]  
FOSTER J, 1992, NEWSLETTER JUN, P5
1234567