Formal Methods for Interactive Systems - Couverture rigide

Dix, Alan

 
9780122183157: Formal Methods for Interactive Systems
Couverture rigide
ISBN 10 : 0122183150 ISBN 13 : 9780122183157
Editeur : Academic Press Inc, 2000

Synopsis

Intended for professional, research-level and advanced undergraduates in human-computer interaction and formal methods for software engineering, this book addresses the problems governing the usability of computer interfaces. These problems are approached from the angle of the mathematical modelling of intertive systems. By modelling various facets of the system - such as windows, real time phenomena, and dynamic pointers - the book demonstrates how formal methods of software engineering (particularly functional programming) can be used to enhance the efficiency and usability of interactive systems.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Academic Press Inc
Date d'édition
2000
Langue
anglais
ISBN 10 
0122183150
ISBN 13 
9780122183157
Reliure
Relié
Nombre de pages
384
Coordonnées du fabricant
non disponible
Personne responsable
Yeepin GmbH
492000000000
sunshine12232@outlook.com

Alleestr.11
Kaiserslautern
Rheinland-Pfalz
67655
Allemagne