DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.
Joy, rather than happiness, is the goal of life, for joy is the emotion which accompanies our fulfilling our natures as human beings. It is based on the experience of one's identity as a being of worth and dignity.
ISBN10: 3540761586, ISBN13: 9783540761587, [publisher: Springer] Softcover Most items will be dispatched the same or the next working day. [Rossendale, LANCS, United Kingdom] [Publication Year: 1998]
ISBN10: 3540761586, ISBN13: 9783540761587, [publisher: Springer] Softcover Most items will be dispatched the same or the next working day. [Rossendale, LANCS, United Kingdom] [Publication Year: 1998]
Palanque, Philippe (Editor), and Paterno, Fabio (Editor)
USD
51.65
Alibris /Alibris
London Springer 1997 Trade paperback New. Trade paperback (US). Glued binding. 376 p. Contains: Unspecified. Formal Approaches to Computing and Information Technology (F.
ISBN10: 3540761586, ISBN13: 9783540761587, [publisher: Springer London] Softcover Druck auf Anfrage Neuware - Printed after ordering - 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. [Einbeck, Germany] [Publication Year: 1998]
Palanque, Philippe (Editor), and Paterno, Fabio (Editor)
USD
59.49
booksXpress via Alibris /Alibris
London Springer 1997 Trade paperback New. Trade paperback (US). Glued binding. 376 p. Contains: Unspecified. Formal Approaches to Computing and Information Technology (F.
ISBN10: 3540761586, ISBN13: 9783540761587, [publisher: Springer London] Softcover Druck auf Anfrage Neuware - Printed after ordering - 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. [Einbeck, Germany] [Publication Year: 1998]
Paperback / softback. New. 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. ISBN 3540761586 9783540761587 [GB]
DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.