G. Lüttgen, M. von der Beeck, und R. Cleaveland. SIGSOFT '00/FSE-8: Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering, 25, Seite 120--129. New York, NY, USA, ACM Press, (November 2000)
M. von der Beeck. FORTE/PSTV 2000: Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), Seite 335--350. Deventer, The Netherlands, The Netherlands, Kluwer, B.V., (2000)
Y. Wang, J. Talpin, A. Benveniste, und P. Guernic. Object-Oriented Real-Time Distributed Computing, 2000. (ISORC 2000) Proceedings. Third IEEE International Symposium on, Seite 96--103. (2000)
P. Noe, P. Noe, T. Hartrum, und T. Hartrum. National Aerospace and Electronics Conference, 2000. NAECON 2000. Proceedings of the IEEE 2000, Seite 43--50. (2000)
J. Whittle, und J. Schumann. ICSE '00: Proceedings of the 22nd international conference on Software engineering, Seite 314--323. New York, NY, USA, ACM Press, (2000)
A. Simons. Electronic Workshops in Computing: Rigorous Object-Oriented Methods 2000, series ed. C J van Rijsbergen, British Computer Society, 2000, Seite 8--1. (2000)
R. Eshuis, und R. Wieringa. Fourth International Conference on Formal methods for open object-based distributed systems IV, Seite 121--140. Norwell, MA, USA, Kluwer Academic Publishers, (2000)
M. Nanda, und S. Ramesh. ISSTA '00: Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis, Seite 180--190. New York, NY, USA, ACM Press, (2000)
M. Dias, und M. Vieira. IWSSD '00: Proceedings of the 10th International Workshop on Software Specification and Design, Seite 133--137. Washington, DC, USA, IEEE Computer Society, (2000)
N. Mehta, N. Medvidovic, und S. Phadke. ICSE '00: Proceedings of the 22nd international conference on Software engineering, Seite 178--187. New York, NY, USA, ACM Press, (2000)