VDM '88. VDM - The Way Ahead: 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings - Lecture Notes in Computer Science 328 (Paperback)
  • VDM '88. VDM - The Way Ahead: 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings - Lecture Notes in Computer Science 328 (Paperback)
zoom

VDM '88. VDM - The Way Ahead: 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings - Lecture Notes in Computer Science 328 (Paperback)

(editor), (editor), (editor)
£81.00
Paperback 504 Pages / Published: 30/08/1988
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
This volume presents the proceedings of the 2nd VDM-Europe Symposium held in Dublin, Ireland, September 12-16, 1988. VDM, the Vienna Development Method, is a formal method for software engineering. It is being applied to an increasing number of projects by companies throughout Europe and there is an active international research programme supporting this process. "VDM - The Way Ahead" is the second of a series of symposia sponsored by the Commission of the European Communities (CEC) and organised by VDM-Europe. The term "formal method" refers to mathematically formal software specification and production methods. These methods aim to increase the quality of software in two related ways: by improving the specification and by making verification during the software production process more effective and easier to audit. The symposium proceedings focus on five areas of interest: education and technology transfer, experience and use of VDM, tools and support environments, method development and foundation at work, the standardisation of VDM. The proceedings are of interest to all those concerned with the application of more rigorous approaches to software development and the associated theoretical foundations.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540502142
Number of pages: 504
Weight: 1580 g
Dimensions: 235 x 155 x 26 mm
Edition: 1988 ed.

You may also be interested in...

The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
Kanban
Added to basket
£33.55
Paperback
Designing Data-Intensive Applications
Added to basket
The Agile Culture
Added to basket
Essential Scrum
Added to basket
£36.99
Paperback
Test Driven Development
Added to basket
Domain-Driven Design
Added to basket
£55.49
Hardback
Beyond Software Architecture
Added to basket
Peopleware
Added to basket
£33.49
Paperback
The Agile Samurai
Added to basket
Agile Testing
Added to basket
£44.49
Paperback
The Mythical Man-Month
Added to basket
Continuous Delivery
Added to basket
£44.49
Hardback
Clean Code
Added to basket
£36.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.