دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods in Human-Computer Interaction
دانلود کتاب روش‌های رسمی در تعامل انسان و رایانه
مشخصات کتاب
Formal Methods in Human-Computer Interaction
ویرایش: 1 نویسندگان: Philippe Palanque, Fabio Paternò (auth.), Philippe Palanque, Fabio Paternò (eds.) سری: Formal Approaches to Computing and Information Technology (FACIT) ISBN (شابک) : 9783540761587, 9781447134251 ناشر: Springer-Verlag London سال نشر: 1998 تعداد صفحات: 381 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 12 مگابایت
قیمت کتاب (تومان) : 44,000
کلمات کلیدی مربوط به کتاب روش‌های رسمی در تعامل انسان و رایانه: منطق ریاضی و زبان های رسمی، رابط های کاربری و تعامل انسان با کامپیوتر
در صورت تبدیل فایل کتاب Formal Methods in Human-Computer Interaction به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش‌های رسمی در تعامل انسان و رایانه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش‌های رسمی در تعامل انسان و رایانه
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
Front Matter....Pages iii-xvii
Specifying History and Backtracking Mechanisms....Pages 1-23
How to Model a Web (Without Getting Tangled in Nets)....Pages 25-47
Software Architecture Modelling: Bridging Two Worlds Using Ergonomics and Software Properties....Pages 49-73
A Formal Approach to Consistency and Reuse of Links in World Wide Web Applications....Pages 75-92
Using Declarative Descriptions to Model User Interfaces with MASTERMIND....Pages 93-120
XTL: A Temporal Logic for the Formal Development of Interactive Systems....Pages 121-139
Interaction Object Graphs: An Executable Graphical Notation for Specifying User Interfaces....Pages 141-155
Specifying a Web Browser Interface Using Object-Z....Pages 157-174
Modelling Clients and Servers on the Web Using Interactive Cooperative Objects....Pages 175-194
Development of a WWW Browser Using TADEUS....Pages 195-223
Algebraic Specification of a World Wide Web Application Using GRALPLA....Pages 225-240
TLIM: A Systematic Method for the Design of Interactive Systems....Pages 241-259
Electronic Gridlock, Information Saturation and the Unpredictability of Information Retrieval over the World Wide Web....Pages 261-282
From Formal Models to Empirical Evaluation and Back Again....Pages 283-313
A Component-Based Approach Applied to a Netscape-Like Browser....Pages 315-346
Back Matter....Pages 347-376
نظرات کاربران
کتاب های تصادفی
دانلود کتاب HMS Victory
دانلود کتاب Designing Foods: Animal Product Options in the Marketplace
دانلود کتاب Texts from the Amarna period in Egypt
دانلود کتاب Alien Albion: Literature and Immigration in Early Modern England
