. It includes both the engineering of distributed software and the process of distributed development of software, such as cooperative work. This paper concentrates on the former, giving an indication of the special needs and rewards in distributed computing. In essence, we argue that the structure of these systems as interacting components is a blessing which forces software engineers towards compositional techniques which offer the best hope for constructing scalable and evolvable systems in an incremental manner. We offer some guidance and recommendations as to the approaches which seem most appropriate, particularly in languages for distributed programming, specification and analysis techniques for modelling and distributed paradigms for guiding design.
|
2678
|
Communicating Sequential Processes
– Hoare
- 1985
|
|
1524
|
Object-Oriented Modeling and Design
– Rumbaugh, Blaha, et al.
- 1991
|
|
806
|
The Byzantine generals problem
– Lamport, Shostak, et al.
- 1982
|
|
694
|
Parallel Program Design: A Foundation
– Chandy, Misra
- 1988
|
|
592
|
the Ordering of Events in a Distributed System
– Time
- 1978
|
|
477
|
The process group approach to reliable distributed computing
– Birman
- 1993
|
|
262
|
The V distributed system
– Cheriton
- 1988
|
|
227
|
Distributed programming in argus
– Liskov
- 1988
|
|
204
|
Programming languages for distributed computing systems
– Bal, Steiner, et al.
- 1989
|
|
161
|
Inconsistency Handling In MultiPerspective Specifications
– Finkelstein, Gabbay, et al.
- 1994
|
|
138
|
Constructing distributed systems in conic
– Magee, Kramer, et al.
- 1989
|
|
119
|
Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends
– Pnueli
- 1986
|
|
117
|
Conjunction as composition
– Zave, Jackson
- 1993
|
|
116
|
Byzantine Generals in Action: Implementing Fail-Stop Processors
– Schneider
- 1984
|
|
115
|
Configuring distributed systems
– Kramer, Magee, et al.
- 1992
|
|
100
|
Paradigms for process interaction in distributed programs
– Andrews
- 1991
|
|
89
|
An Introduction to Estelle: A Specification Language for Distributed Systems
– Budkowski, Dembinski
- 1987
|
|
76
|
Software Design Methods for Concurrent and Real-Time Systems
– Gomaa
- 1996
|
|
66
|
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems
– Gabbay
- 1987
|
|
53
|
Configuration Programming – a framework for the development of distributable systems
– Kramer
- 1990
|
|
45
|
Durra: a structure description language for developing distributed applications
– Barbacci, Weinstock, et al.
- 1993
|
|
32
|
Distributed Algorithms and Protocols
– Raynal
- 1988
|
|
32
|
What good are models and what models are good
– Schneider
- 1993
|
|
26
|
The polyadic p-calculus: a tutorial
– Milner
- 1991
|
|
25
|
ViewPoint Oriented Software Development
– Finkelstein, Kramer, et al.
- 1990
|
|
25
|
From RIG to Accent to Mach: The Evolution of a Network Operating System
– Rashid
- 1986
|
|
18
|
Facilitating Mixed Language Programming in Distributed Systems
– Hayes, Schlichting
- 1987
|
|
18
|
Configuring Object-Based Distributed Programs in REX
– Kramer, Magee, et al.
- 1992
|
|
15
|
The Polylith Software Toolbus
– Purtilo
- 1994
|
|
14
|
The System Architect's Assistant for Design and Construction of Distributed Systems
– Kramer, Magee, et al.
- 1993
|
|
13
|
et al. "Mach: A New Kernel Foundation for Unix Development
– Accetta
- 1986
|
|
12
|
The Chorus Distributed Operating System: Some Design Issues
– Rozier, Legatheaux-Martins
- 1987
|
|
11
|
An Integrated Method For Effective Behaviour Analysis of Distributed Systems
– Cheung, Kramer
- 1994
|
|
8
|
Object Oriented Design with Applications," The Benjamin/Cummings
– Booch
- 1991
|
|
7
|
On the Distribution of an Assertion
– Carvalho, Roucairol
- 1982
|
|
7
|
Tractable and Compositional Techniques for Behaviour Analysis of Concurrent Systems
– Cheung
- 1994
|
|
7
|
Entering the World-Wide Web: A Guide to Cyberspace
– Hughes
- 1993
|
|
6
|
A Configurable Framework for Method and Tool Integration
– Kramer, Finkelstein
- 1991
|
|
5
|
Preserving abstraction in concurrent programming
– Cooper, Hamilton
- 1988
|
|
3
|
et al, "An Overview of the SR Language and Implementation
– Andrews
- 1988
|
|
3
|
Project Athena as a Distributed Computer System
– Chanpine, Geer, et al.
- 1990
|
|
2
|
et al.: "Amoeba, A Distributed Operating System for the 1990s
– Mullender
- 1990
|
|
2
|
Specifications of Concurrent and Distributed Systems
– Weihl
- 1993
|
|
1
|
Algebra of C o mm u n i c a i n g P r o c e s s e s w i t h A b s t r a c t i o n " , Theoretical computer Science 37
– Bergstra, Klop
- 1985
|
|
1
|
Sistla A.P., "Automatic Verification of Finite State Concurrent Systems using Temporal Logic Specifications
– Clarke, Emerson
- 1986
|
|
1
|
Matchmaker: An Interface Specification Language fro Distributed Processing
– Jones, Rashid, et al.
- 1985
|
|
1
|
A Temporal Logic of Actions", Dec Systems Research Center
– Lamport
|
|
1
|
i l n e r R . , " C o mm u n i c a t i o n a n d Concurrency
– unknown authors
- 1989
|
|
1
|
Loosely-Coupled Processes", Proc. of P a r a l l e A r c h e c u r e s a n d L a n g u a g e s E u r o p e (PARLE'91
– Misra
- 1991
|
|
1
|
Andrew: A Distributed Personal Computing Environment
– MorrisJ
- 1986
|
