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

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

Carlos, Norvis whispered as he stood as still as possible so as not to cause the big old cat to a...

Written in honor of Sir Tony Hoare's 75th Birthday, this book provides a discussion of the influe...

The Living History Anthology brings together twenty-six practical essays on the craft of establis...

Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to...

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

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

We find ourselves in a very strange place.Technology is embedded so deeply in our lives that it n...

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

This volume is published in honor of Professor Chaochen Zhou's 80th birthday. The Festschrift con...

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