Related Books
Language: en
Pages: 452
Pages: 452
Type: BOOK - Published: 1991-10-14 - Publisher: Springer Science & Business Media
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
Language: en
Pages: 724
Pages: 724
Type: BOOK - Published: 1991-10-14 - Publisher: Springer Science & Business Media
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)
Language: en
Pages: 388
Pages: 388
Type: BOOK - Published: - Publisher: Springer Nature
Language: en
Pages: 403
Pages: 403
Type: BOOK - Published: 2021-11-08 - Publisher: Springer Nature
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
Language: en
Pages: 398
Pages: 398
Type: BOOK - Published: 2004-03-31 - Publisher: Springer Science & Business Media
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
