APPLYING FORMAL SOFTWARE SYNTHESIS

被引：5
|
作者：
JULLIG, RK
机构：
来源：
IEEE SOFTWARE | 1993年 / 10卷 / 03期
关键词：
D O I：
10.1109/52.210596
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
[No abstract available]
引用
收藏
页码：11 / 22
页数：12
相关论文
共 50 条
  • [41] Software engineering and formal methods
    Hinchey, Mike
    Jackson, Michael
    Cousot, Patrick
    Cook, Byron
    Bowen, Jonathan P.
    Margaria, Tiziana
    COMMUNICATIONS OF THE ACM, 2008, 51 (09) : 54 - 59
  • [42] FORMAL METHODS IN SOFTWARE ENGINEERING
    LEVESON, NG
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) : 929 - 931
  • [43] Formal framework for communication software
    Kim, TY
    1997 IEEE PACIFIC RIM CONFERENCE ON COMMUNICATIONS, COMPUTERS AND SIGNAL PROCESSING, VOLS 1 AND 2: PACRIM 10 YEARS - 1987-1997, 1997, : 434 - 437
  • [44] A formal approach for software maintenance
    Waqar, U
    Khendek, F
    Vincent, D
    INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 2002, : 608 - 617
  • [45] A formal method for software maintenance
    Chu, WC
    Yang, HJ
    Luker, P
    INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 1996, : 206 - 216
  • [46] Formal Methods for Software Testing
    Gaudel, Marie-Claude
    PROCEEDINGS 11TH 2017 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2017, : 1 - 3
  • [47] A FORMAL APPROACH TO SOFTWARE ARCHITECTURES
    ALLEN, R
    GARLAN, D
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 134 - 141
  • [48] FORMAL VERIFICATION OF CONCURRENT SOFTWARE
    SCHNEIDER, FB
    PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1989, : 59 - 59
  • [49] FORMAL DESIGN MEDIUM FOR SOFTWARE
    ROBINSON, L
    COMPUTER, 1975, 8 (06) : 66 - 66
  • [50] Formal software development in MAYA
    Hutter, D
    Autexier, S
    MECHANIZING MATHEMATICAL REASONING: ESSAYS IN HONOUR OF JORG H SIEKMANN ON THE OCCASION OF HIS 60TH BIRTHDAY, 2005, 2605 : 407 - 432
12345