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

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

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

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

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

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