A FORMAL MODEL FOR DISTRIBUTED INFORMATION-SYSTEMS

被引：0

|

作者：

HOUBEN, GJ ^{[1
]}

PAREDAENS, J ^{[1
]}

机构：

[1] UNIV INSTELLING ANTWERP,DEPT MATH COMP SCI,B-2610 WILRIJK,BELGIUM

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 305卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：128 / 158

页数：31

相关论文

共 50 条

[1] FORMAL SPECIFICATION OF INFORMATION-SYSTEMS REQUIREMENTS
KAMPFNER, RR
[J]. INFORMATION PROCESSING & MANAGEMENT, 1985, 21 (05) : 401 - 414
[2] A FORMAL TREATMENT OF DOCUMENT INFORMATION-SYSTEMS
MAEDA, T
[J]. INFORMATION PROCESSING & MANAGEMENT, 1981, 17 (06) : 319 - 328
[3] DISTRIBUTED MULTIMEDIA INFORMATION-SYSTEMS
ADIE, C
[J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1993, 25 : S49 - S57
[4] DISTRIBUTED INTELLIGENT EXECUTIVE INFORMATION-SYSTEMS
CHI, RT
TURBAN, E
[J]. DECISION SUPPORT SYSTEMS, 1995, 14 (02) : 117 - 130
[5] DISTRIBUTED INFORMATION-SYSTEMS - AN ADVANCED METHODOLOGY
AUE, A
BRUE, M
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (08) : 594 - 605
[6] EXECUTABLE SPECIFICATIONS FOR DISTRIBUTED INFORMATION-SYSTEMS
VANHEE, KM
SOMERS, LJ
VOORHOEVE, M
[J]. INFORMATION SYSTEM CONCEPTS : AN IN-DEPTH ANALYSIS, 1989, : 139 - 156
[7] METHODOLOGY FOR THE DESIGN OF DISTRIBUTED INFORMATION-SYSTEMS
BUCCI, G
STREETER, DN
[J]. COMMUNICATIONS OF THE ACM, 1979, 22 (04) : 233 - 251
[8] OBJECT MANAGEMENT IN DISTRIBUTED INFORMATION-SYSTEMS
LYNGBAEK, P
MCLEOD, D
[J]. ACM TRANSACTIONS ON OFFICE INFORMATION SYSTEMS, 1984, 2 (02): : 96 - 122
[9] A FORMAL APPROACH TO TIMING ANALYSIS AND DESIGN OF INFORMATION-SYSTEMS
OLIVE, A
[J]. INFORMATION SYSTEMS, 1987, 12 (01) : 1 - 10
[10] SPECIFICATION AND DESIGN OF TRANSACTIONS IN INFORMATION-SYSTEMS - A FORMAL APPROACH
BABIN, G
LUSTMAN, F
SHOVAL, P
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (08) : 814 - 829

← 1 2 3 4 5 →