Advances in Computers, Volume 43

Volume 43, 1996

• David Binkley, Keith Brian Gallagher: Program Slicing. 1-50
• Renate Motschnig-Pitrik, Roland Mittermeir: Language Features for the Interconnection of Software Components. 51-139
• Joanne M. Atlee, Marsha Chechik, John D. Gannon: Using Model Checking to Analyze Requirements and Designs. 141-178
• Erik Brynjolfsson, Shinkyu Yang: Information Technology and Productivity: A Review of the Literature. 179-214
• William I. Gasarch: The Complexity of Problems. 215-241
• Fred W. DePiero, Mohan M. Trivedi: 3-D Computer Vision Using Structured Light: Design, Calibration, and Implementation Issues. 243-278