If you are interested in understanding how the systematic use of task models in the design, development, and usability evaluation of interactive software applications can open new opportunities and possibilities then this book will help you do just that. Fabio Paterno also discusses related issues relevant to designing user interfaces and provides a state-of-the-art review of the field, including recently developed methods, current results and problems and trends. Details of the notation and analysis discussed, including case studies of industrial interest, are available for those who want to...

What are Multimedia Systems? This book is intended to expose you to multimedia in its widest sense. The popular understanding of this subject is that it is the integration and delivery of text, images and sound, usually on a desktop Pc. We are all familiar with examples from the extensive range of multimedia titles available on CD-ROM. These give us a rich set of sensory experiences, and, perhaps more important, we are free to navigate our way through the information as we choose. However, this is only half of the story since these titles can only deliver information. A recent IEEE...

System design has conventionally been the province of engineers, and the approaches taken to the design of systems have conventionally led to formal specification of the system. The past decade or two has seen the rise of another approach, that of human-computer interaction (HCI). Given the number of incidents and accidents which are attributed to 'human error', it is sensible to develop an approach to system design which views humans as an essential element in the system. Thus, an important aspect of designing systems is the study of the interaction between humans and the technology that...

This book addresses issues concerning the engineering of system prod ucts that make use of computing technology. These systems may be prod ucts in their own right, for example a computer, or they may be the computerised control systems inside larger products, such as factory automation systems, transportation systems and vehicles, and personal appliances such as portable telephones. In using the term engineering the authors have in mind a development process that operates in an integrated sequence of steps, employing defined techniques that have some scientific basis. Furthermore we expect...

Machine translation (MT) is the area of computer science and applied linguistics dealing with the translation of human languages such as English and German.
MT on the Internet has become an important tool by providing fast, economical and useful translations. With globalisation and expanding trade, demand for translation is set to grow.
Translation Engines covers theoretical and practical aspects of MT, both classic and new, including:
- Character sets and formatting languages
- Translation memory
- Linguistic and computational foundations
- Basic computational...

This book has two audiences: the practising Requirements Engineer and the advanced student of software engineering or computer science. The book is unique because it introduces latest research results and, at the same time, presents highly practical and useful techniques. This book is complementary to texts on software requirements and system Requirements Engineering because of its focus on the problems caused by the fact that Requirements Engineering involves people. Throughout this book the author has sought to introduce the reader to a number of techniques which have not previously been...

but when we state that A 'equals' B, as well having to know what we mean by A and B we also have know what we mean by 'equals'. This section explores the role of observers; how different types of observ er see different things as being equal, and how we can produce algo rithms to decide on such equalities. It also explores how we go about writing specifications to which we may compare our SCCS designs. The final section is the one which the students like best. Once enough of SCCS is grasped to decide upon the component parts of a design, the 'turning the handle' steps of composition and check...