Search Results for: Fme 93 Industrial Strength Formal Methods

The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and rea

Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industr

This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of i

Perhaps nothing characterizes the inherent heterogeneity in embedded sys tems than the ability to choose between hardware and software implementations of a give

In this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for computing sys