Copied Formal Methods in Human-Computer Interaction
Formal Methods in Human-Computer Interaction
Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. This volume examines whether these benefits also apply to the field of human-computer interface design and implementation, and whether formal methods can offer useful support in usability evaluation and obtaining more reliable implementations of user requirements. Its main aim is to compare the different approaches and examine which particular type of implementation and problem each one is best suited to. To enable the reader to compare and contrast the approaches as easily as possible, each one is applied to the same case study: the specification of an ideal Netscape-like web browser and html page server. The resulting volume will provide invaluable reading for final year undergraduate and postgraduate courses on user interfaces, user interface design, and applications of formal methods.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Stability Analysis, Flexible Control and Optimal Operation of Microgrid
$129.00
Context-Aware Pervasive Systems and Applications
$99.99
Goosebumps SlappyWorld: Judy and the Beast (#15)
$5.24
Handelbare SO2-Zertifikate fr Europa
$59.99
A Course in Combinatorics and Graphs
$54.99
Proceedings of the ICR22 International Conference on Innovations in Computing Research
$249.99
Basiswissen Rechtsmedizin
$29.99
Labor Union Mergers
$54.99
Advances in Depth Images Analysis and Applications
$39.99
Kompendium der Rntgen-Therapie (Oberflchen- und Tiefenbestrahlung)
$59.99
Topics in Orbit Equivalence
$34.99
Biomembranes
$54.99
Received Signal Strength Based Target Localization and Tracking Using Wireless Sensor Networks
$159.99
Combinatorial Peptide Library Protocols
$84.99
Fundamentals of the Physics of Solids
$259.00
Rookie Toddler-First Concepts: Can You Find Colors?
$5.21
Transformationsprozesse am Fluchtort Stadt
$79.99
Plasma Charging Damage
$169.00
End-User Development
$54.99
Beziehungsgestaltung in der Pflege von Menschen mit Demenz
$39.99
Vorbereitungskurs Staatsexamen Mathematik
$54.99
Crisis in the Global Mediasphere
$54.99
Dude Crafts
$17.89
Chinese Economic Statecraft from 1978 to 1989
$179.99
Psychiatrische Syndrome nach Hirnfunktionsstrungen
$49.99
Cloud Computing for Logistics
$39.99
Widerstand keramischer Oberflchen gegen Verschlei
$69.99
Transformational Human Resources Management in Zimbabwe
$109.99
Projektmanagement Schnell erfasst
$29.99
Chinese Rural Households in Relative Poverty and Their Economic Activities
$119.99
Nonstandard Methods of Analysis
$109.99
Environmental Resilience
$119.99
Fasciolosis: Causes, Challenges and Controls
$109.99
Internet of Things for Smart Environments
$109.99
Molecular and Functional Insights Into the Pulmonary Vasculature
$139.00
Artificial Intelligence and Innovations 2007: From Theory to Applications
$84.99
Political Culture and Post-Communism
$54.99
Philosophical Analysis in Latin America
$129.00
Was Greek Thought Religious?
$54.99
A Computer-Assisted Analysis System for Mathematical Programming Models and Solutions
$129.00
