Journal: IEEE Trans. Software Eng.

Volume 17, Issue 4

313 -- 319Nozer D. Singpurwalla. Determining an Optimal Time Interval for Testing and Debugging Software
320 -- 333Waleed A. Muhanna. Composite Programs: Hierarchical Construction, Circularity, and Deadlocks
334 -- 344Karama Kanoun, Marta Rettelbusch de Bastos Martini, Jorge Moreira de Souza. A Method for Software Reliability Analysis and Prediction Application to the TROPICO-R Switching System
345 -- 356Fatemeh Zahedi, Noushin Ashrafi. Software Reliability Allocation Based on Structure, Utility, Price, and Cost
357 -- 369Alessandro Braccini, Alberto Del Bimbo, Enrico Vicario. Interprocess Communication Dependency on Network Load
370 -- 382Jean-Claude Laprie, Karama Kanoun, Christian Béounes, Mohamed Kaâniche. The KAT (Knowledge-Action-Transformation) Approach to the Modeling and Evaluation of Reliability and Availability Growth
383 -- 384Richard A. DeMillo, Richard J. Lipton. Defining Software by Continuous, Smooth Functions