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 条

[1] SOFTWARE-DEVELOPMENT GRAPHS - A UNIFYING CONCEPT FOR SOFTWARE-DEVELOPMENT
BJORNER, D
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 241 : 1 - 9
[2] STEPWISE SOFTWARE-DEVELOPMENT WITH ALGEBRAIC SPECIFICATIONS
BEIERLE, C
VOSS, A
TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1991, 10 (01): : 35 - 51
[3] SOFTWARE-DEVELOPMENT - A SMALL MATTER OF PROGRAMMING
SHUMAKER, RP
SEA TECHNOLOGY, 1995, 36 (05) : 10 - 14
[4] PROJECT GRAPHS AND META-PROGRAMS - TOWARDS A THEORY OF SOFTWARE-DEVELOPMENT
BJORNER, D
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 275 : 117 - 150
[5] AUTOMATED SOFTWARE-DEVELOPMENT ELIMINATES APPLICATION PROGRAMMING
JOHNSON, RC
ELECTRONICS, 1982, 55 (11): : 129 - 140
[6] EXTENDED PROGRAMMING IN THE LARGE IN A SOFTWARE-DEVELOPMENT ENVIRONMENT
LEWERENTZ, C
SIGPLAN NOTICES, 1989, 24 (02): : 173 - 182
[7] ADA PROGRAMMING LANGUAGE IMPROVES SOFTWARE-DEVELOPMENT
FEINBERG, DA
DATA MANAGEMENT, 1987, 25 (12): : 9 - 9
[8] SADL - A SOFTWARE-DEVELOPMENT ENVIRONMENT FOR SOFTWARE SPECIFICATION, DESIGN AND PROGRAMMING
PONCET, F
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 289 : 3 - 11
[9] ON SOFTWARE-DEVELOPMENT
CHERLIN, GY
ABACUS-NEW YORK, 1986, 3 (02): : 6 - 7
[10] SOFTWARE-DEVELOPMENT
GARDNER, T
HISTORICAL METHODS, 1995, 28 (01): : 59 - 62

← 1 2 3 4 5 →