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 条

[41] SOFTWARE-DEVELOPMENT IN LDM
BALOGH, K
FARKAS, Z
SANTANETOTH, E
SZEREDY, P
LECTURE NOTES IN COMPUTER SCIENCE, 1983, 152 : 56 - 83
[42] INTUITION IN SOFTWARE-DEVELOPMENT
NAUR, P
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 186 : 60 - 79
[43] SOFTWARE-DEVELOPMENT STANDARDS
PASQUINI, A
AEI AUTOMAZIONE ENERGIA INFORMAZIONE, 1994, 81 (05): : 63 - 70
[44] SOFTWARE-DEVELOPMENT ENVIRONMENTS
DART, SA
ELLISON, RJ
FEILER, PH
HABERMANN, AN
COMPUTER, 1987, 20 (11) : 18 - 28
[45] A SUCCESSFUL SOFTWARE-DEVELOPMENT
WONG, C
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1984, 10 (06) : 714 - 727
[46] SOFTWARE-DEVELOPMENT WITH PCS
DUNN, WF
MACHINE DESIGN, 1985, 57 (01) : 134 - 134
[47] DSP SOFTWARE-DEVELOPMENT
JAGADEESH, JM
COMPUTER, 1993, 26 (10) : 75 - 77
[48] THE CENTER FOR SOFTWARE-DEVELOPMENT
SWAINE, M
DR DOBBS JOURNAL, 1994, 19 (01): : 48 - 48
[49] SOFTWARE-DEVELOPMENT FOR RELIABLE SOFTWARE SYSTEMS
JOSHI, RD
JOURNAL OF SYSTEMS AND SOFTWARE, 1983, 3 (02) : 107 - 121
[50] SOFTWARE PRIMER - MANAGING SOFTWARE-DEVELOPMENT
BEACH, LM
INFORMATION MANAGEMENT, 1984, 18 (01): : 20 - +

← 1 2 3 4 5 →