Journal: Bell Labs Technical Journal

Volume 3, Issue 2

3 -- 21Weider D. Yu. A software fault prevention approach in coding and root cause analysis
22 -- 31Gerard J. Holzmann, Margaret H. Smith. Interval reduction through requirements analysis
32 -- 46Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan. Systematic software testing using VeriSoft - An analysis of the 4ESS™ heart-beat monitor
47 -- 57Taosong He, Stephen G. Eick. Constructing interactive network visual interfaces
58 -- 75Shankar Narayanaswamy, Jianying Hu, Ramanujan S. Kashi. Using data on digital cellular and PCS voice networks
76 -- 92Pratyush Moghé, Asawaree Kalavade. Terminal QoS of adaptive applications
93 -- 108Kristin F. Kocan, Patricia Riley, Robert J. Zurawski. Universal premises access to voice band and ATM networks using a broadband interworking gateway
109 -- 123Menno H. Nagel. Environmental supply-line engineering: Eco-supplier development coupled to eco-design - A new approach
124 -- 135Ewald C. Anderl, Craig S. Batzel, Gurmeet Lamba, John M. Leikness, Bhaskar N. Sanakkayala. An enhanced message networking topology: Multimedia messaging with the Intuity™ interchange server