Design, Specification and Verification of Interactive Systems '98
Proceedings of the Eurographics Workshop in Abingdon, Uk, June 3-5, 1998
Report an issue
Tell us what's wrong and we'll take a look.
Thanks – we got it. We'll review and follow up if needed.
Does modelling, formal or otherwise, play a role in designing interactive systems? A proliferation of interactive devices and technologies is used in an ever increasing diversity of contexts and combinations in professional and every-day life. This development poses a significant challenge to modelling approaches used for the design of interactive systems. The papers in this volume discuss a range of modelling approaches, the representations they use, the strengths and weaknesses of their associated specification and analysis techniques and their role in supporting the design of interactive systems.
Peter Johnson
PETER JOHNSON is the author of more than 30 books, mainly about Welsh and narrow-gauge railways. His association with the Ffestiniog Railway, as editor of the Ffestiniog Railway Society’s quarterly magazine (1974-2003), as a director of the Ffestiniog Railway Society (1992-2003) and in drafting the company’s Welsh Highland Railway Transport & Works Order, and as the compiler of a narrow-gauge railway news column for one of the mainstream British railway magazines since 1995, has put him in a good position to compile this story of the Welsh Highland Railway’s history and its revival, his third title for Pen & Sword Transport.
Why Readwise Books?
Readwise Books is an ebook & audiobook platform that automatically logs how much you and your friends read, making it fun and easy to read more. Learn more →