Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (26 papers)
-
Users, Tasks and Specification
-
Approaches to Formal Specification of User Interfaces
Keywords
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
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