June 1988 - Vol. 31 No. 6
Features
Tablet: personal computer of the year 2000
Computer graphics tools for the study of minimal surfaces
Introduction to special section on software testing
The evaluation of program-based software test data adequacy criteria
The category-partition method for specifying and generating fuctional tests
The growth of software testing
Self-timing programs and the quantum scheduler
Model management and structured modeling: the role of an information resource dictionary system
Garbarge collection for Prolog based on WAM
Efficient and portable combined random number generators
Graphics and managerial decision making: research-based guidelines