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: 388
Pages: 388
Type: BOOK - Published: - Publisher: Springer Nature
Language: en
Pages: 401
Pages: 401
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
Language: en
Pages: 221
Pages: 221
Type: BOOK - Published: 2011-06-27 - Publisher: Springer Science & Business Media
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
