This third volume examines the basic principles and techniques of overall software development, f...

This second volume looks at the principles and techniques of modeling spatial and simple temporal...

This well written first volume covers the basic principles and techniques of abstraction and mode...

This volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Met...

By a specification language we understand a formal system of syntax, semantics and proof rules. T...

This volume presents recent computer science work from the Baltic Republics of Estonia, Latvia an...

VDM: Origins, hopes, and achievements.- Experience using VDM in STC.- VDM in three generations of...

This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Er...

This book constitutes the refereed post-conference proceedings of the Second International Andrei...

This volume comprises the papers selected for presentationat the international conference on Form...

In this book the author explains domain engineering and the underlying science, and he then shows...

This book explains how the idea of there being no ultimate, universal truth is in itself a contra...