David Miles

Michael D. Harrison

Scheduled to work on Christmas Eve, a patrol cop is delighted to be relieved of working his beat by Sergeant Kringle making it possible for the policeman to be with his family at midnight.

Cop's Night Before Christmas

Juan C. Torres

An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. Techniques are being developed that facilitate the expression of user-oriented requirements and the refinement and checking of specifications of interactive systems. This book reflects the state of the art in this important area and also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study.

Michael D. Harrison

Books

Your next favorite book is out there