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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Japan and China
$84.99
Rising Voices Library: Celebrating Girls of Color, Grade K
$634.95
Infrared and Raman Spectroscopy of Biological Molecules
$54.99
The Generator
$39.99
Die politische Deutungskultur im Spiegel des Historikerstreits
$64.99
Knochentumoren
$54.99
Reading Alcoholisms
$39.99
Insect Conservation and Urban Environments
$169.99
Biosyntheses
$109.99
Dentine Hypersensitivity
$139.99
Liberal Trade and Japan
$109.99
Verdauung und Verdauungsapparat
$59.99
Heinrich Heine and the World Literary Map
$64.99
Home before Dark by Riley Sager
$19.00
Qualittssicherung in Steuerberatung und Wirtschaftsprfung
$59.99
Sound Practices in the Global South
$89.00
Einfhrung in die Wahrscheinlichkeitsrechnung und mathematische Statistik
$59.99
Model-Driven Organizational and Business Agility
$59.99
Electron Correlation and Magnetism in Narrow-Band Systems
$84.99
Simulacro de incendio
$5.21
Solar and Stellar Flares
$39.99
Diagnosis and the DSM
$54.99
Molecular Hydrogen in Health and Disease
$169.99
Programmierte Einfhrung in die Betriebswirtschaftslehre
$39.99
Adjusting to EMU
$84.99
Advances in National Brand and Private Label Marketing
$179.99
The United States and Iran
$54.99
Lehrbuch der Mathematik fr Realanstalten
$59.99
Artificial Intelligence Applications and Innovations
$109.99
Damage and Fracture of Disordered Materials
$109.99
NATO and the War in Ukraine
$139.99
Kommunikation im Change
$44.99
From Education Policy to Education Practice
$59.99
Equilibrium and Evolution
$54.99
Evolution in Action: Past, Present and Future
$249.99
Handbuch Ethik
$84.99
The Double Binds of Ethics after the Holocaust
$39.99
Adjectives Grade 5 Differentiation Pack
$5.99
Nic Bishop: Big Cats
$5.21
Existence as Dialectical Tension
$54.99
