This book explores the application of formal methods in software development, focusing on the VDM (Vienna Development Method) and Z notation. It presents a collection of papers and contributions from the VDM '90 conference, showcasing advancements and discussions in the field. The work aims to consolidate knowledge and foster further research into rigorous approaches for specifying, designing, and verifying software systems, particularly those requiring high levels of reliability and correctness.

This collection is recognized within the computer science community as a significant contribution to the field of formal methods in software development. It serves as a valuable resource for researchers and practitioners interested in VDM and Z notation. The papers likely offer rigorous analysis and practical insights, reflecting the state of the art at the time of the VDM '90 conference.