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

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

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

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 book explains how the idea of there being no ultimate, universal truth is in itself a contra...

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