English
Deutsch
Français
简体中文
繁體中文
Categories
Study
Novel
Nonfiction
Health
Tutorial
Entertainment
Business
Magazine
Arts & Design
Audiobooks & Video Training
Cultures & Languages
Family & Home
Law & Politics
Lyrics & Music
Software Related
eBook Torrents
Uncategorized
Share With Friends
Archive by Date
2012-08-05
2012-08-04
2012-08-03
2012-08-02
2012-08-01
2012-07-31
2012-07-30
2012-07-29
2012-07-28
Search Tag
Newest
Methods for Finding Zeros in Polynomials
Lectures on Stochastic Flows and Applications
Educational Psychology by Edward L. Thorndike
The Last Days of Tolstoy by V. G. Chertkov
Globalization and Responsibility
Lectures on Siegel Modular Forms and Representation by Quadratic Forms
Lectures on Topics In One-Parameter Bifurcation Problems
History of the Incas by Pedro Sarmiento de Gamboa
Linear Algebra: Theorems and Applications
Lectures on Stochastic Differential Equations and Malliavin Calculus
A Short Biographical Dictionary of English Literature
Lectures on Sieve Methods and Prime Number Theory
Dollars and Sense by William Crosbie Hunter
The Theory of the Theatre by Clayton Hamilton
The Mathematics of Investment
Occupiers of Wall Street: Losers or Game Changers
The Solution of the Pyramid Problem
Lectures on Moduli of Curves
Walden by Henry David Thoreau
Useful Links
Interactive Systems. Design, Specification, and Verification
Posted on 2010-05-23
|  |
More Gavin Doherty, Ann Blandford, «» This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Interactive Systems, DSVIS 2006, held in Dublin, Ireland in July 2006. The 19 revised full papers presented together with 1 keynote paper, and 2 working group reports were carefully reviewed and selected from 57 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on HCI research, critical systems, model based development, cognitive aspects of interaction, use of models, haptics and multimodality, prototyping and evaluation, supporting user interface development, and group discussions.
Rating:
2.5 out of 5 by Book123 |
| Download Links | |
| Server | Status |
|---|---|
| Direct Download Link 1 | Alive |
| Direct Download Link 2 | Alive |
| >>> Download <<< | Alive |
| >>> Mirror <<< | Alive |
|
Buy This Book at Best Price >> | |
Related Articles
 | Science/Engineering Advances in Design and Specification Languages for Embedded Systems ===Embedded System相关链接===[2007/0908][2007/0905][2007/0811][2007/0720][2007/0713]Advances in Design and Specification Languages for Embedded Systems Publisher: SpringerNumber Of Pages: 358Publication Date: 2007-06-25Sales Rank: I ... |
 | Science/Engineering Real-Time Systems: Formal Specification and Automatic Verification Real-Time Systems: Formal Specification and Automatic VerificationCambridge University Press | ISBN: 0521883334 | 2008-10-06 | PDF | 344 pages | 6 Mb Real-time systems need to react to certain input stimuli within given time bounds. For exa ... |
 | Science/Engineering Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08 (Lecture Notes in Electrical Engineering)Publisher: Springer; 1 edition (April 28, 2009) | ISBN-10: 1402097 ... |
 | Programming Reactive Systems: Modelling, Specification and Verification Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srbag, «Reactive Systems: Modelling, Specification and Verification»Cambridge University Press | ISBN: 0521875463 | 2007 | PDF | 300 pages | 1.92 MB“Formal methods is the ... |
 | Tutorial Embedded Systems Specification and Design Languages: Eugenio Villar “Embedded Systems Specification and Design Languages: Selected Contributions from FDL07"Springer | 2008-06-01 | ISBN: 1402082967 | 288 pages | PDF | 2,3 MbFDL is the most important European and, probably, worldwide foru ... |
 | Technical SAVCBS’07 Specification and Verification of Component-Based Systems
|
Comments (0)
