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 条
  • [1] Stepwise construction and refinement of dependability models
    Betous-Almeida, C
    Kanoun, K
    [J]. INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2002, : 515 - 524
  • [2] Construction and stepwise refinement of dependability models
    Betous-Almeida, C
    Kanoun, K
    [J]. PERFORMANCE EVALUATION, 2004, 56 (1-4) : 277 - 306
  • [3] A formal transformation and refinement method for concurrent programs
    Younger, EJ
    Bennett, KH
    Luo, Z
    [J]. INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 1997, : 287 - 294
  • [4] AN EXAMPLE OF STEPWISE REFINEMENT OF DISTRIBUTED PROGRAMS - QUIESCENCE DETECTION
    CHANDY, M
    MISRA, J
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1986, 8 (03): : 326 - 343
  • [5] Validation of formal models by refinement animation
    Hallerstede, Stefan
    Leuschel, Michael
    Plagge, Daniel
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (03) : 272 - 292
  • [6] Developing logic programs from specifications using stepwise refinement
    Colvin, R
    Groves, L
    Hayed, IJ
    Hemer, D
    Nickson, R
    Strooper, P
    [J]. PROGRAM DEVELOPMENT IN COMPUTATIONAL LOGIC: A DECADE OF RESEARCH ADVANCES IN LOGIC-BASED PROGRAM DEVELOPMENT, 2004, 3049 : 66 - 89
  • [7] Validation of Stepwise Refinement with Test Cases Generated from Formal Specification
    Yamada, Shinya
    Keijiro, Araki
    Kusakabe, Shigeru
    Omori, Yoichi
    [J]. TENCON 2010: 2010 IEEE REGION 10 CONFERENCE, 2010, : 2449 - 2453
  • [8] Automatic Refinement Checking for Formal System Models
    Seiter, Julia
    Wille, Robert
    Kuehne, Ulrich
    Drechsler, Rolf
    [J]. PROCEEDINGS OF THE 2014 FORUM ON SPECIFICATION & DESIGN LANGUAGES (FDL), 2014,
  • [9] Stepwise development of simulink models using the refinement calculus framework
    Bostrom, Pontus
    Morel, Lionel
    Walden, Marina
    [J]. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2007, PROCEEDINGS, 2007, 4711 : 79 - +
  • [10] STEPWISE REFINEMENT REVISITED
    RAJLICH, V
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1985, 5 (01) : 81 - 88
12345