AutoFocus: A tool for distributed systems specification

被引：0

|

作者：

机构：

来源：

Lect Notes Comput Sci | / 467期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[41] The specification and testing of quantified progress properties in distributed systems
Krishnamurthy, P
Sivilotti, PAG
PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2001, : 201 - 210
[42] DISTRIBUTED SYSTEMS - METHODS AND TOOLS FOR SPECIFICATION - ACQUISITION ENVIRONMENT
MULLERY, GP
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 190 : 45 - 130
[43] SPECIFICATION AND TOP-DOWN DESIGN OF DISTRIBUTED SYSTEMS
BROY, M
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1987, 34 (2-3) : 236 - 265
[44] QoS specification and management in a middleware for distributed multimedia systems
Lopes, Adilson
Amaro, Frederico
Elias, Gledson
Lemos, Guido
Magalhaes, Mauricio F.
20TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 1, PROCEEDINGS, 2006, : 959 - +
[45] A Calculus for the Specification, Design, and Verification of Distributed Concurrent Systems
Broy, Manfred
FORMAL ASPECTS OF COMPUTING, 2024, 36 (03)
[46] On the specification and implementation of distributed systems using NMDS and LIPS
Bavan, AS
Abeysinghe, G
INFORMATION AND SOFTWARE TECHNOLOGY, 2005, 47 (11) : 721 - 734
[47] Boundary output specification in certain distributed parameter systems
Russell, DL
DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2002, 9 (03): : 335 - 346
[48] APPLICATION SPECIFICATION FOR DISTRIBUTED DATA BASE SYSTEMS.
Hebalkar, Prakash G.
1978, : 442 - 449
[49] Formal methods integration for the specification of dependable distributed systems
Mazzocca, N
Russo, S
Vittorini, V
JOURNAL OF SYSTEMS ARCHITECTURE, 1997, 43 (10) : 671 - 685
[50] Object-oriented specification and open distributed systems
Johnsen, EB
Owe, O
FROM OBJECT-ORIENTATION TO FORMAL METHODS: ESSAYS IN MEMORY OF OLE-JOHAN DAHL, 2004, 2635 : 137 - 164

← 1 2 3 4 5 →