Authors: Dennis Dams, Ulrich Hannemann, Martin Steffen
Type: BOOK - Published: 2010-02-24 - Publisher: Springer Science & Business Media
This Festschrift volume, published in honor of Willem-Paul de Roever, contains 19 detailed papers written by the friends and colleagues of the honoree, all eminent scientists in their own right. These are preceded by a detailed bibliography and rounded off, at the end of the book, with a gallery of
Authors: VDM Europe. International Symposium, Soren Prehn, W. J. Toetenel, Hans Toetenel
Type: BOOK - Published: 1991-10-14 - Publisher: Springer Science & Business Media
The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.
Type: BOOK - Published: 2014-05-20 - Publisher: Butterworth-Heinemann
The Software Life Cycle deals with the software lifecycle, that is, what exactly happens when software is developed. Topics covered include aspects of software engineering, structured techniques of software development, and software project management. The use of mathematics to design and develop computer systems is also discussed. This book is
Type: BOOK - Published: 2007-06-01 - Publisher: Springer Science & Business Media
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches. Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling.