Thousands of different programming languages exist, and many more are being created each year, ye...

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

InhaltsangabeVDM: Origins, hopes, and achievements.- Experience using VDM in STC.- VDM in three g...

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

InhaltsangabeDiagrams and programming languages for programmable controllers.- Graphical specific...

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

InhaltsangabePreface. 1. Non-Interference Properties of a Concurrent Object-Based Language: Proof...

Thousands of different programming languages exist, and many more are being created each year, ye...

InhaltsangabeIntroduction: The role of structure: a dependability perspective.- The role of struc...

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

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