Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (26 papers)
-
Front Matter
-
Invited Presentations and Discussions
-
Front Matter
-
Working Group Discussions
-
-
Modelling in Architectural Design of Interactive Systems
-
Front Matter
-
-
Users, Tasks and Specification
-
Front Matter
-
About this book
The purpose of this proceedings of the first (1994) Eurographics workshop on this area is to review the state of the art. It compares the different existing approaches in order to identify the principal requirements and the most suitable notations and methods, and indicates the relevant results.
Editors and Affiliations
-
Istituto Consiglio Nazionale delle Ricerche, Pisa, Italy
Fabio Paternó
Bibliographic Information
Book Title: Interactive Systems: Design, Specification, and Verification
Book Subtitle: 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994
Editors: Fabio Paternó
Series Title: Focus on Computer Graphics
DOI: https://doi.org/10.1007/978-3-642-87115-3
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: EUROGRAPHICS The European Association for Computer Graphics 1995
Softcover ISBN: 978-3-642-87117-7Published: 18 February 2012
eBook ISBN: 978-3-642-87115-3Published: 06 December 2012
Edition Number: 1
Number of Pages: X, 447
Topics: Computer Graphics, Software Engineering, Logics and Meanings of Programs