An Approach to Distributed Computing System Software Design

Distributed computing systems represent a wide variety of computer systems, ranging from a centralized star network to a completely decentralized computer system. The design of software for distributed computing systems is more complicated due to many design constraints and interactions of software components of the system.

[1]  M. A. Jackson,et al.  Information systems: Modelling, sequencing and transformations , 1978, ICSE '78.

[2]  Niklaus Wirth,et al.  Toward a discipline of real-time programming , 1977, CACM.

[3]  Jean-Pierre Verjus,et al.  Toward Autonomous Descriptions of Synchronization Modules , 1977, IFIP Congress.

[4]  David Lee,et al.  A distributed processing system for naval data communication networks , 1899, AFIPS National Computer Conference.

[5]  Edsger W. Dijkstra,et al.  Co-operating sequential processes , 1968 .

[6]  J. William Atwood Concurrency in Operating Systems , 1976, Computer.

[7]  Stephen N. Zilles,et al.  Programming with abstract data types , 1974, SIGPLAN Symposium on Very High Level Languages.

[8]  P. C. Belford,et al.  Specifications a key to effective software development , 1976, ICSE '76.

[9]  Eric D. Carlson,et al.  Practical problems in a distributed application , 1978, AFIPS National Computer Conference.

[10]  Michael Marcotty,et al.  A genealogy of control structures , 1975, CACM.

[11]  S. Rao Kosaraju Analysis of Structured Programs , 1974, J. Comput. Syst. Sci..

[12]  James Leslie Keedy On structuring operating systems with monitors , 1979, OPSR.

[13]  M. W. Shields,et al.  Abstract specification of resource accessing disciplines: adequacy, starvation, priority and interrupts , 1978, SIGP.

[14]  C. V. Ramamoorthy,et al.  Software requirements and specifications: status and perspectives , 1978 .

[15]  Stephen W. Smoliar,et al.  A framework for distributed data processing requirements , 1979, COMPSAC.

[16]  Per Brinch Hansen,et al.  The programming language Concurrent Pascal , 1975, IEEE Transactions on Software Engineering.

[17]  C. A. R. Hoare,et al.  Monitors: an operating system structuring concept , 1974, CACM.

[18]  Roy H. Campbell,et al.  The specification of process synchronization by path expressions , 1974, Symposium on Operating Systems.

[19]  Peter J. Denning,et al.  Operating Systems Theory , 1973 .

[20]  K. Mani Chandy,et al.  On the Design of Elementary Distributed Systems , 1979, Comput. Networks.

[21]  Sik-Sang Yau,et al.  METHODOLOGY FOR REPRESENTING THE FORMAL SPECIFICATION OF DISTRIBUTED COMPUTING SYSTEM SOFTWARE DESIGN. , 1979 .

[22]  David Lorge Parnas,et al.  Concurrent control with “readers” and “writers” , 1971, CACM.

[23]  C. V. Ramamoorthy,et al.  Software Reliability—Status and Perspectives , 1982, IEEE Transactions on Software Engineering.

[24]  Leon Presser Multiprogramming Coordination , 1975, CSUR.