REQUIREMENT AND DESIGN SPECIFICATION FOR DISTRIBUTED SYSTEMS

被引：0

|

作者：

BROY, M

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 335卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：33 / 62

页数：30

相关论文

共 50 条

[1] SPECIFICATION AND TOP DOWN DESIGN OF DISTRIBUTED SYSTEMS
BROY, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 4 - 28
[2] ON THE USE OF SPECIFICATION STYLES IN THE DESIGN OF DISTRIBUTED SYSTEMS
VISSERS, CA
SCOLLO, G
VANSINDEREN, M
BRINKSMA, E
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 352 : 60 - 60
[3] SPECIFICATION STYLES IN DISTRIBUTED SYSTEMS-DESIGN AND VERIFICATION
VISSERS, CA
SCOLLO, G
VANSINDEREN, M
BRINKSMA, E
[J]. THEORETICAL COMPUTER SCIENCE, 1991, 89 (01) : 179 - 206
[4] ACTION SYSTEM APPROACH TO THE SPECIFICATION AND DESIGN OF DISTRIBUTED SYSTEMS
KURKISUONIO, R
JARVINEN, HM
[J]. SOFTWARE DEVELOPMENT TRENDS, 1989, 104 : 9 - 21
[5] Quality of service specification in distributed object systems design
Frolund, S
Koistinen, J
[J]. PROCEEDINGS OF THE FOURTH USENIX CONFERENCE ON OBJECT-ORIENTED TECHNOLOGIES AND SYSTEMS: COOTS, 1998, : 1 - 18
[6] SPECIFICATION AND TOP-DOWN DESIGN OF DISTRIBUTED SYSTEMS
BROY, M
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1987, 34 (2-3) : 236 - 265
[7] DESIGN, SPECIFICATION AND VALIDATION OF HIERARCHIES OF PROTOCOLS IN DISTRIBUTED SYSTEMS
DIAZ, M
COURTIAT, JP
PEDROZA, A
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 224 : 208 - 265
[8] SPECIFICATION IN DISTRIBUTED SYSTEMS
VONBOCHMANN, G
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 184 : 470 - 497
[9] Incremental requirement specification for evolving systems
Jonsson, B
Margaria, T
Naeser, G
Nyström, J
Steffen, B
[J]. FEATURE INTERACTIONS IN TELECOMMUNICATIONS AND SOFTWARE SYSTEMS VI, 2000, : 145 - 162
[10] SPECIFICATION LANGUAGES FOR DISTRIBUTED SYSTEMS
DEGANO, P
MONTANARI, U
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 29 - 51

← 1 2 3 4 5 →