FORMAL MODELS OF STEPWISE REFINEMENT OF PROGRAMS

被引：0
|
作者：
MILI, A
DESHARNAIS, J
GAGNE, JR
机构：
[1] MCGILL UNIV,SCH COMP SCI,MONTREAL H3A 2K6,QUEBEC,CANADA
[2] UNIV LAVAL,DEPT INFORMAT,QUEBEC CITY G1K 7P4,QUEBEC,CANADA
来源：
COMPUTING SURVEYS | 1986年 / 18卷 / 03期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：231 / 276
页数：46
相关论文
共 50 条
  • [41] Stepwise Refinement of Software Development Problem Analysis
    Kobayashi, Tsutomu
    Ishikawa, Fuyuki
    Honiden, Shinichi
    [J]. CONCEPTUAL MODELING, ER 2016, 2016, 9974 : 488 - 495
  • [42] OBJECT-ORIENTED SPECIFICATION AND STEPWISE REFINEMENT
    SAAKE, G
    JUNGCLAUS, R
    EHRICH, HD
    [J]. IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 1 : 99 - 121
  • [43] Developing a Consensus Algorithm Using Stepwise Refinement
    Bryans, Jeremy W.
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, 2011, 6991 : 553 - 568
  • [44] A METHOD FOR STEPWISE REFINEMENT AND ABSTRACTION OF PETRI NETS
    SUZUKI, I
    MURATA, T
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1983, 27 (01) : 51 - 76
  • [45] A stepwise refinement approach to multimedia presentation designs
    Shih, TK
    Kuo, CH
    Chung, CM
    Pai, WC
    Keh, HC
    Wang, YH
    Jiang, DR
    [J]. SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 117 - 122
  • [46] A PROGRAMMING SYSTEM SUPPORTING THE STEPWISE REFINEMENT METHOD
    TABAKOV, VM
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1984, 10 (04) : 174 - 177
  • [47] Correct by Construction Networks using Stepwise Refinement
    Ryzhyk, Leonid
    Bjorner, Nikolaj
    Canini, Marco
    Jeannin, Jean-Baptiste
    Schlesinger, Cole
    Terry, Douglas B.
    Varghese, George
    [J]. PROCEEDINGS OF NSDI '17: 14TH USENIX SYMPOSIUM ON NETWORKED SYSTEMS DESIGN AND IMPLEMENTATION, 2017, : 683 - 698
  • [48] CONSTRUCTING FAULT-TREES BY STEPWISE REFINEMENT
    JOLLER, JM
    [J]. IEEE TRANSACTIONS ON RELIABILITY, 1982, 31 (04) : 333 - 338
  • [49] Adaptive slicing using stepwise uniform refinement
    Sabourin, Emmanuel
    Houser, Scott A.
    Bohn, Jan Helge
    [J]. RAPID PROTOTYPING JOURNAL, 1996, 2 (04) : 20 - 26
  • [50] A THEORETICAL BASIS FOR STEPWISE REFINEMENT AND THE PROGRAMMING CALCULUS
    MORRIS, JM
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 1987, 9 (03) : 287 - 306
12345