Trends in esign for Distributed Computing Systems
暂无分享,去创建一个
[1] Dennis G. Kafura,et al. Inheritance in Actor Based Concurrent Object-Oriented Languages , 1989, Comput. J..
[2] Narain H. Gehani,et al. The concurrent C programming language , 1989 .
[3] Ira R. Forman,et al. Using Raddle to design distributed systems , 1988, Proceedings. [1989] 11th International Conference on Software Engineering.
[4] Stephen S. Yau,et al. An approach to verification of communication in distributed computing system software , 1989, [1989] Proceedings. The 9th International Conference on Distributed Computing Systems.
[5] Douglas T. Ross,et al. Applications and Extensions of SADT , 1985, Computer.
[6] Douglas T. Ross,et al. Structured Analysis (SA): A Language for Communicating Ideas , 1977, IEEE Transactions on Software Engineering.
[7] Mack W. Alford. SREM at the Age of Eight; The Distributed Computing Design System , 1985, Computer.
[8] D. Decouchant,et al. A synchronization mechanism for typed objects in a distributed system , 1988, OOPSLA/ECOOP '88.
[9] Virginia Mary Lo,et al. Heuristic Algorithms for Task Assignment in Distributed Systems , 1988, IEEE Trans. Computers.
[10] Grady Booch,et al. Object-oriented development , 1986, IEEE Transactions on Software Engineering.
[11] Willy Zwaenepoel,et al. Distributed process groups in the V Kernel , 1985, TOCS.
[12] Akinori Yonezawa,et al. Inheritance and Synchronization in Concurrent OOP , 1987, ECOOP.
[13] Stephen S. Yau,et al. Distributed Software System Design Representation Using Modified Petri Nets , 1983, IEEE Transactions on Software Engineering.
[14] Stephen S. Yau,et al. An Approach to Distributed Computing System Software Design , 1981, IEEE Transactions on Software Engineering.
[15] Stephen S. Yau,et al. On Communication in the Design of Software Components of Distributed Computer Systems , 1982, ICDCS.
[16] Paul Ward,et al. Structured Development for Real-Time Systems , 1986 .
[17] Giorgio Bruno,et al. Process-translatable Petri nets for the rapid prototyping of process control systems , 1986, IEEE Transactions on Software Engineering.
[18] S.S. Yau,et al. Control flow analysis of distributed computing system software using structured Petri net model , 1988, [1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s.
[19] Stephen S. Yau,et al. Verification of Concurrent Control Flow in Distributed Computer Systems , 1988, IEEE Trans. Software Eng..