An Approach to Distributed Computing System Software Design
暂无分享,去创建一个
[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.