by François Régis Bastide, Philippe Palanque
Twenty-one contributions cover the different aspects of interactive systems, from formal user modelling to formal techniques for prototyping, and describe the state-of-the-art on these topics, also…