dines bjørner

Logics of Specification Languages

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

Software Engineering 3

The final installment in this three-volume set is based on this maxim: 'Before software can be de...

Software Engineering 1

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

Software Engineering 2

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

Perspectives of System Informatics

This book constitutes the thoroughly refereed post-proceedings of the Third International Andrei ...

Perspectives of System Informatics

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

Domain Science and Engineering

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

The Structure of Pure Reason

Logics of Specification Languages

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

Baltic Computer Science

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

VDM ’87. VDM - A Formal Method at Work

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

Logics of Specification Languages

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