Publisher's Synopsis
The proceedings of the Workshop held in Como, Italy, October 1991, comprise 10 position papers and 22 regular papers in the areas of requirements, concurrency and distribution, real-time systems, formal methods, and design methods and process models. No index. Acidic paper. Annotation copyright Book News, Inc. Portland, Or.