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

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

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

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

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

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

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

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

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

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