Publisher's Synopsis
This volume originates from a workshop organized by ESPRIT project no.432 METEOR in Mierlo, the Netherlands, September 1989. It contains five invited lectures and 10 papers from the METEOR team in the areas of requirements and design, COLD, and algebraic specification. Annotation copyright Book News, Inc. Portland, Or.