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