| 695 | -- | 696 | Kassem Saleh, Robert L. Probert. Communications software engineering (CSE) |
| 697 | -- | 713 | Rachida Dssouli, Stéphane S. Somé, Jean G. Vaucher, Aziz Salah. A service creation environment based on scenarios |
| 715 | -- | 727 | Shing-Chi Cheung, Samuel T. Chanson. A model-based authorware for the construction of distributed multimedia systems |
| 729 | -- | 743 | Rachida Dssouli, Kamel Karoui, Kassem Saleh, Omar Cherkaoui. Communications software design for testability: specification transformations and testability measures |
| 745 | -- | 754 | Kenji Ishida, Yoshiaki Kakuda, Masahide Nakamura, Tohru Kikuno, Kitsutaro Amano. A protocol synthesis method for fault-tolerant multipath routing |
| 755 | -- | 765 | Yibin Yang, Junfeng He, Ming T. Liu. A medium access control protocol for voice and data integration in receiver-oriented DS-CDMA PCNs |
| 767 | -- | 780 | Leo Cacciari, Omar Rafiq. Controllability and observability in distributed testing |
| 781 | -- | 798 | Thomas Walter, Jens Grabowski. A framework for the specification of test cases for real-time distributed systems |
| 799 | -- | 812 | K. Inan, Hasan Ural. Efficient checking sequences for testing finite state machines |
| 813 | -- | 821 | Marine Tabourier, Ana R. Cavalli. Passive testing and application to the GSM-MAP protocol |
| 823 | -- | 837 | Richard Lai, France Cheong. Extending EASE with new ASN.1 encoding rules |
| 839 | -- | 852 | Kassem Saleh, Robert L. Probert, Khaled Al-Saqabi. Recovery of CFSM-based protocol and service design from protocol execution traces |