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

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

The art, craft, discipline, logic, practice and science of developing large-scale software produc...

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

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

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

The art, craft, discipline, logic, practice, and science of developing large-scale software produ...

This volume comprises the papers presented at the Third International Andrei Ershov Memorial Conf...

The art, craft, discipline, logic, practice and science of developing large-scale software produc...

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

This volume presents a substantial part of the results obtained in the last few years in the fiel...

The art, craft, discipline, logic, practice, and science of developing large-scale software produ...

The art, craft, discipline, logic, practice, and science of developing large-scale software produ...

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

The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Developm...

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...

The art, craft, discipline, logic, practice, and science of developing large-scale software produ...