THE STEPWISE DEVELOPMENT OF SOFTWARE-DEVELOPMENT GRAPHS - META-PROGRAMMING VDM DEVELOPMENTS

被引：0
|
作者：
BJORNER, D [1 ]
机构：
[1] DANSK DATAMAT CTR,DK-2800 LYNGBY,DENMARK
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 252卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：77 / 96
页数：20
相关论文
共 50 条
  • [21] THE SOFTWARE-DEVELOPMENT ASSISTANT
    HAYDEN, CC
    MITCHELL, JC
    MUKERJI, J
    SCHMIDT, FA
    AT&T TECHNICAL JOURNAL, 1990, 69 (02): : 76 - 90
  • [22] SOFTWARE-DEVELOPMENT SYSTEM
    HACK, TG
    HUANG, T
    STECHER, LC
    BELL SYSTEM TECHNICAL JOURNAL, 1983, 62 (03): : 859 - 884
  • [23] SOFTWARE-DEVELOPMENT STANDARDS
    HALL, PAV
    SOFTWARE ENGINEERING JOURNAL, 1989, 4 (03): : 143 - 147
  • [24] CONTRACTING FOR SOFTWARE-DEVELOPMENT
    WHANG, SJ
    MANAGEMENT SCIENCE, 1992, 38 (03) : 307 - 324
  • [25] SOFTWARE-DEVELOPMENT FOR LIBRARIES
    PHANEUF, RD
    LIBRARY SOFTWARE REVIEW, 1984, 3 (04): : 501 - 505
  • [26] CHALLENGES IN SOFTWARE-DEVELOPMENT
    FLECKENSTEIN, WO
    COMPUTER, 1983, 16 (03) : 60 - 64
  • [27] SOFTWARE-DEVELOPMENT SYSTEM
    ROWLAND, BR
    WELSCH, RJ
    BELL SYSTEM TECHNICAL JOURNAL, 1983, 62 (01): : 275 - 289
  • [28] SOFTWARE-DEVELOPMENT TOOLS
    DECUYPERE, HJM
    MICROPROCESSING AND MICROPROGRAMMING, 1989, 27 (1-5): : 625 - 625
  • [29] CAD SOFTWARE-DEVELOPMENT
    CHERRY, J
    FRANKE, D
    NEWTON, R
    SEAQUIST, C
    WOLF, W
    RADKE, C
    KUKULA, J
    IEEE DESIGN & TEST OF COMPUTERS, 1988, 5 (04): : 49 - 58
  • [30] SOFTWARE-DEVELOPMENT IN BIOMECHANICS
    WOLTRING, HJ
    JOURNAL OF BIOMECHANICS, 1987, 20 (02) : 219 - 219
12345