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

This volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Met...

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

This volume presents recent computer science work from the Baltic Republics of Estonia, Latvia an...

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

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

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

This volume comprises the papers selected for presentationat the international conferen...

Algebraic Specifications.- The Common Framework Initiative for Algebraic Specification and Develo...

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