ACTION SYSTEM APPROACH TO THE SPECIFICATION AND DESIGN OF DISTRIBUTED SYSTEMS

被引：0

|

作者：

KURKISUONIO, R

JARVINEN, HM

机构：

来源：

SOFTWARE DEVELOPMENT TRENDS | 1989年 / 104卷

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：9 / 21

页数：13

相关论文

共 50 条

[1] SPECIFICATION-DRIVEN APPROACH FOR PROTOCOL DESIGN OF DISTRIBUTED COMPUTING SYSTEMS
AGRAWAL, VK
PATNAIK, LM
GOEL, PS
JOURNAL OF MICROCOMPUTER APPLICATIONS, 1989, 12 (02): : 107 - 126
[2] REQUIREMENT AND DESIGN SPECIFICATION FOR DISTRIBUTED SYSTEMS
BROY, M
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 335 : 33 - 62
[3] SPECIFICATION AND TOP DOWN DESIGN OF DISTRIBUTED SYSTEMS
BROY, M
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 4 - 28
[4] ON THE USE OF SPECIFICATION STYLES IN THE DESIGN OF DISTRIBUTED SYSTEMS
VISSERS, CA
SCOLLO, G
VANSINDEREN, M
BRINKSMA, E
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 352 : 60 - 60
[5] A formal approach for the specification of communications in distributed systems
Georgelin, P
Pierre, L
Nguyen, T
PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS, 2000, : 393 - 398
[6] Specification and Design of Cyber Physical Systems Based on System of Systems Engineering Approach
Zhang, Lichen
2018 17TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS FOR BUSINESS ENGINEERING AND SCIENCE (DCABES), 2018, : 300 - 303
[7] Quality of service specification in distributed object systems design
Frolund, S
Koistinen, J
PROCEEDINGS OF THE FOURTH USENIX CONFERENCE ON OBJECT-ORIENTED TECHNOLOGIES AND SYSTEMS: COOTS, 1998, : 1 - 18
[8] SPECIFICATION STYLES IN DISTRIBUTED SYSTEMS-DESIGN AND VERIFICATION
VISSERS, CA
SCOLLO, G
VANSINDEREN, M
BRINKSMA, E
THEORETICAL COMPUTER SCIENCE, 1991, 89 (01) : 179 - 206
[9] SPECIFICATION AND TOP-DOWN DESIGN OF DISTRIBUTED SYSTEMS
BROY, M
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1987, 34 (2-3) : 236 - 265
[10] A Calculus for the Specification, Design, and Verification of Distributed Concurrent Systems
Broy, Manfred
FORMAL ASPECTS OF COMPUTING, 2024, 36 (03)

← 1 2 3 4 5 →