Reflections on the Work of C.A.R. Hoare

ThisvolumehasitsoriginsinameetingheldatMicrosoftResearch,Cambridge,in April2009tocelebrateTonyHoa...

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

Computer-based systems are now essential to everyday life. They involve both tech- cal (hardware ...

VDM ’87.VDM - A Formal Method at Work

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

Dependable and Historic Computing

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

FME ’97 Industrial Applications and Strengthened Foundations of Formal Methods

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

Reflections on the Work of C.A.R.Hoare

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

Object Orientation with Parallelism and Persistence

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

Object Orientation with Parallelism and Persistence

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

Reflections on the Work of C.A.R.Hoare

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

Formal Methods and Hybrid Real-Time Systems

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

FM 2014: Formal Methods

Methods, Models and Tools for Fault Tolerance

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