Vdm 91: Formal Software Development Methods : 4th International Symposium of Vdm Europe Noordwijkerhout, the Netherlands October 21-25, 1991
Procee (Lecture Notes in Computer Science)
"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), 1988 (LNCS 328), and 1990 (LNCS 428). The VDM symposia have been organized by the VDM Europe, formed in 1985 as an advisory board sponsored by the Commission of the European Communities. The VDM Europe working group consisted of reasearchers, software engineers, and programmers, all interested in prommoting the industrial usage of formal methods for software development. The fourth VDM symposium presented not only VDM but also a large number of other methods for formal software development. Volume 1 contains the conference contributions. It has four parts: contributions of invited speakers, papers, project reports, and tools demonstration abstracts. The emphasis is on methods and calculi for development, verification and verification tools support, experiences from doing developments, and the associated theoretical problems. Volume2 contains four introductory tutorials (on LARCH, Refinement Calculus, VDM, and RAISE) and four advanced tutorials (on ABEL, PROSPECTRA, THE B Method, and The Stack). They present a comprehensive account of the state of theart."--PUBLISHER'S WEBSITE.
Beyond its central premise, the book can be read through the connected lenses of Nonfiction. Those themes offer useful points of attention as the characters, ideas, or world develop, especially where the book complicates the expectations of its primary category.
As an Amazon Associate I earn from qualifying purchases.
What the reading experience may hold
A fuller profile for choosing with more confidence—not just another copy of the preview.
Nonfiction
Use these as starting points rather than limits; the most memorable books often stretch beyond their catalog labels.
Catalog signals suggest warfare and conflict. These notes may not be complete; consult a publisher or reader-supplied guide when detailed warnings matter.
These notes are inferred from available catalog information and may not be complete. Check a publisher or reader-supplied guide if you need comprehensive warnings.
Dark tone · Steady pace
Best when you want to settle into a longer reading experience.
A good fit if…
Readers who want a thoughtful experience and enjoy noticing the connections beneath a book’s surface story.
This book's DNA
A visual estimate based on this edition's categories, description, and length. Select a star to explore the signals.
This signal is descriptive, not a rating. It helps compare the kind of reading experience this edition may offer.
Spoiler-Free Emotional Arc
A broad estimate of the book’s emotional rhythm, shown without story events or outcomes.
This visualization is an interpretive estimate based on catalog description, categories, tone, pace, and content signals. It does not describe specific scenes.
A quick reading snapshot
Edition facts and catalog signals to help you decide whether this book fits what you want to read next.
- ISBN-13
- 978-0-3875-4868-5
- Language
- English
- Edition record
- OL7446928M
A more thoughtful way into this book
This guide uses the edition details and category signals above to help you choose deliberately. It does not replace the author's work or a full review.
Best when you want to settle into a longer reading experience.
Begin with its place in Nonfiction, then notice where the book resists that label.
Read for connection, not completion.
Mark one passage that sharpens the book's central concern and one that complicates it. That tension often reveals more than a quick summary.
Three questions to carry with you
- Whose perspective organizes the story, and whose perspective remains outside it?
- Which sources or lived experiences carry the author’s central argument?
- How does the book change the way you understand its larger subject?
Editorial framework by Wesley Bryan, BookenDeX Founder and Editor.
More Nonfiction books
These matches combine shared categories with author, publication-era, and reading-length signals.
In Defense of Globalization
by Jagdish Bhagwati
Why it fits: shares Nonfiction, a similar reading length.
Political Thinking, Political Theory (3rd Edition)
by Steven M. DeLue, Timothy Dale
Why it fits: shares Nonfiction, a similar reading length.
