Tags
Language
Tags
December 2024
Su Mo Tu We Th Fr Sa
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31 1 2 3 4

Design, Specification and Verification of Interactive Systems ’98: Proceedings of the Eurographics Workshop in Abingdon, UK, Ju

Posted By: insetes
Design, Specification and Verification of Interactive Systems ’98: Proceedings of the Eurographics Workshop in Abingdon, UK, Ju

Design, Specification and Verification of Interactive Systems ’98: Proceedings of the Eurographics Workshop in Abingdon, UK, June 3–5, 1998 By Dan R. Olsen Jr. (auth.), Dr. Panos Markopoulos, Prof. Dr. Peter Johnson (eds.)
1998 | 326 Pages | ISBN: 3211832122 | PDF | 10 MB


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.

By Buying/Renewing Premium From My Blog Links, You Invest in Our Community's Future