A FORMAL APPROACH TO SOFTWARE ERROR REMOVAL

被引：5
|
作者：
DYER, M [1 ]
机构：
[1] IBM,FED SYST DIV,BETHESDA,MD 20817
来源：
JOURNAL OF SYSTEMS AND SOFTWARE | 1987年 / 7卷 / 02期
关键词：
D O I：
10.1016/0164-1212(87)90015-X
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：109 / 114
页数：6
相关论文
共 50 条
  • [1] A FORMAL APPROACH TO SOFTWARE ARCHITECTURES
    ALLEN, R
    GARLAN, D
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 134 - 141
  • [2] A formal approach for software maintenance
    Waqar, U
    Khendek, F
    Vincent, D
    INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 2002, : 608 - 617
  • [3] A FORMAL APPROACH TO LARGE SOFTWARE CONSTRUCTION
    ABRIAL, JR
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 375 : 1 - 20
  • [4] A formal approach to distributed software architecture
    He, J
    Fang, DY
    Qin, Z
    2002 IEEE REGION 10 CONFERENCE ON COMPUTERS, COMMUNICATIONS, CONTROL AND POWER ENGINEERING, VOLS I-III, PROCEEDINGS, 2002, : 342 - 346
  • [5] A formal approach to designing anonymous software
    Kawabe, Yoshinobu
    Sakurada, Hideki
    SERA 2007: 5TH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH, MANAGEMENT, AND APPLICATIONS, PROCEEDINGS, 2007, : 203 - +
  • [6] A formal approach to heterogeneous software modeling
    Egyed, A
    Medvidovic, N
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 2000, 1783 : 178 - 192
  • [7] Formal modeling of controlling software for systems with manual error recovery
    Troubitsyna, E
    PROCEEDINGS OF THE FIFTH IASTED INTERNATIONAL CONFERENCE ON MODELLING, SIMULATION, AND OPTIMIZATION, 2005, : 175 - 180
  • [8] A Formal Approach to Software Synthesis for Architectural Platforms
    Bagheri, Hamid
    2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2011, : 1143 - 1145
  • [9] A Formal Approach to Checking Consistency in Software Refactoring
    Hong Anh Le
    Thi-Huong Dao
    Ninh-Thuan Truong
    Mobile Networks and Applications, 2017, 22 : 356 - 366
  • [10] A formal approach to designing secure software architectures
    Yu, HQ
    He, XD
    Deng, Y
    Mo, L
    EIGHTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2004, : 289 - 290
12345