The proceedings of the fourth Vienna Development Method Symposium, VDM '91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252

In this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for computing sys

This book is dedicated to the memory of Ole-Johan Dahl who passed away in June 2002 at the age of 70, shortly after he had received, together with his colleague

What is this Book About? At the beginning of the 21st century, computer systems—and especially so- ware—play an important role in our society. Software is c