. . . . . . . 33 SamsonAbramsky 3 OnMereologiesinComputingScience. . . . . . . . . . . . . . . . ...

Both object orientation and parallelism are modern programmingparadigms which have gained much ...

This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical...

This book constitutes the refereed proceedings of the 19th International Symposium on Formal Meth...

Refinement is the term used to describe systematic and formal methods of specifying hard- and sof...

This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Com...

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

This Festschrift volume, published in honor of Brian Randell on the occasion of his 75th birthday...

This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasi...

Many software systems have reached a level of complication, mainly because of their size, heterog...

Both object orientation and parallelism are modern programmingparadigms which have gained much ...

The growing complexity of modern software systems increases the di?culty of ensuring the overall ...