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 条
  • [1] A formal approach for software maintenance
    Waqar, U
    Khendek, F
    Vincent, D
    INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 2002, : 608 - 617
  • [2] A formal method for software maintenance
    Chu, WC
    Yang, HJ
    Luker, P
    INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 1996, : 206 - 216
  • [3] TECHNIQUES FOR APPLICATION SOFTWARE MAINTENANCE
    GORLA, N
    INFORMATION AND SOFTWARE TECHNOLOGY, 1991, 33 (01) : 65 - 73
  • [4] SOFTWARE MANUFACTURING TECHNIQUES AND MAINTENANCE
    BASSETT, P
    AFIPS CONFERENCE PROCEEDINGS, 1984, 53 : 357 - &
  • [5] Formal techniques for OO software development
    de, Champeaux, Dennis
    America, Pierre
    Derek, Coleman
    Duke, Roger
    Lea, Doug
    Leavens, Gary
    SIGPLAN Notices (ACM Special Interest Group on Programming Languages), 1991, 26 (11):
  • [6] Maintenance of formal software developments by stratified verification
    Autexier, S
    Hutter, D
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2002, 2514 : 36 - 52
  • [7] Integrating semi-formal and formal software specification techniques
    Wieringa, R
    Dubois, E
    INFORMATION SYSTEMS, 1998, 23 (3-4) : 159 - 178
  • [8] Formal techniques in software engineering: Correct software and safe systems
    Liggesmeyer, Peter
    Theorem Proving in Higher Order Logics, Proceedings, 2007, 4732 : 3 - 4
  • [9] FORMAL TECHNIQUES FOR OO SOFTWARE-DEVELOPMENT
    DECHAMPEAUX, D
    AMERICA, P
    COLEMAN, D
    DUKE, R
    LEA, D
    LEAVENS, G
    SIGPLAN NOTICES, 1991, 26 (11): : 166 - 170
  • [10] Application of formal methods to the development of a software maintenance tool
    Blazy, S
    Facon, P
    AUTOMATED SOFTWARE ENGINEERING, 12TH IEEE INTERNATIONAL CONFERENCE, PROCEEDINGS, 1997, : 162 - 171
12345