Design, Specification and Verification of Interactive Systems ’97 PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Design, Specification and Verification of Interactive Systems ’97 PDF full book. Access full book title Design, Specification and Verification of Interactive Systems ’97 by Michael D. Harrison. Download full books in PDF and EPUB format.
Author: Michael D. Harrison
Publisher: Springer Science & Business Media
ISBN: 3709168783
Category : Computers
Languages : en
Pages : 328
Get Book Here
Book Description
An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. Techniques are being developed that facilitate the expression of user-oriented requirements and the refinement and checking of specifications of interactive systems. This book reflects the state of the art in this important area and also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study.
Author: Michael D. Harrison
Publisher: Springer Science & Business Media
ISBN: 3709168783
Category : Computers
Languages : en
Pages : 328
Get Book Here
Book Description
An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. Techniques are being developed that facilitate the expression of user-oriented requirements and the refinement and checking of specifications of interactive systems. This book reflects the state of the art in this important area and also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study.
Author: Philippe Palanque
Publisher: Springer Science & Business Media
ISBN: 3709194377
Category : Computers
Languages : en
Pages : 384
Get Book Here
Book Description
This book is the final outcome of the Eurographics Workshop on Design, Specification and Verification of Interactive Systems, that was held in Bonas, from June 7 to 9, 1995. This workshop was the second of its kind, following the successful first edition in Italy in 1994. The goal of this ongoing series of meetings is to review the state of the art in the domain of tools, notations and methodologies supporting the design of Interactive Systems. This acknowledges the fact that making systems that are friendlier to the user makes the task ever harder to the designers of such systems, and that much research is still needed to provide the appropriate conceptual and practical tools. The workshop was located in the Chateau de Bonas, in the distant countryside of Toulouse, France. Tms location has been selected to preserve the quiet and studious atmosphere that was established in the monastery of Santa Croce at Bocca di Magra for the first edition, and that was much enjoyed by the participants. The conversations initiated during the sessions often lasted till late at night, in the peaceful atmosphere of the Gers landscape.
Author: Philippe Palanque
Publisher: Springer
ISBN: 3540446753
Category : Computers
Languages : en
Pages : 253
Get Book Here
Book Description
The wait for the year 2000 was marked by the fear of possible bugs that might have arisen at its beginning. One additional fear we had during this wait was whether - ganising this event would have generated a boon or another bug. The reasons for this fear originated in the awareness that the design of interactive systems is a fast moving area. The type of research work presented at this unique event has received limited support from funding agencies and industries making it more difficult to keep up with the rapid technological changes occurring in interaction technology. However, despite our fear, the workshop was successful because of the high-quality level of participation and discussion. Before discussing such results, let us step back and look at the evolution of DSV-IS (Design, Specification and Verification of Interactive Systems), an international wo- shop that has been organised every year since 1994. The first books that addressed this issue in a complete and thorough manner were the collection of contributions edited by Harrison and Thimbleby and the book written by Alan Dix, which focused on abstractions useful to highlight important concepts in the design of interactive systems. Since then, this area has attracted the interest of a wider number of research groups, and some workshops on related topics started to be organised. DSV-IS had its origins in this spreading and growing interest. The first workshop was held in a monastery located in the hills above Bocca di Magra (Italy).
Author: Stéphane Chatty
Publisher: Springer
ISBN: 0387353496
Category : Computers
Languages : en
Pages : 378
Get Book Here
Book Description
The aim of IFIP Working Group 2.7 (13.4) for User Interface Engineering is to investigate the nature, concepts and construction of user interfaces for software systems. The group's scope is: • developing user interfaces based on knowledge of system and user behaviour; • developing frameworks for reasoning about interactive systems; and • developing engineering models for user interfaces. Every three years, the group holds a "working conference" on these issues. The conference mixes elements of a regular conference and a workshop. As in a regular conference, the papers describe relatively mature work and are thoroughly reviewed. As in a workshop, the audience is kept small, to enable in-depth discussions. The conference is held over 5-days (instead of the usual 3-days) to allow such discussions. Each paper is discussed after it is presented. A transcript of the discussion is found at the end of each paper in these proceedings, giving important insights about the paper. Each session was assigned a "notes taker", whose responsibility was to collect/transcribe the questions and answers during the session. After the conference, the original transcripts were distributed (via the Web) to the attendees and modifications that clarified the discussions were accepted.
Author: Alistair G. Sutcliffe
Publisher: Springer
ISBN: 0387353704
Category : Computers
Languages : en
Pages : 210
Get Book Here
Book Description
Designing Effective and Usable Multimedia Systems presents research and development and industrial experience of usability engineering for multimedia user interfaces. The book discusses the methods, tools and guidelines for multimedia use and implementation and covers the following topics in detail: Design methods for multimedia (MM) systems; Social and cognitive models for MM interaction; Empirical studies of the effects of MM on learning and behavior; Design and prototyping support tools; Intelligent MM Systems and Design support; Usability evaluation. £/LIST£ Designing Effective and Usable Multimedia Systems contains the proceedings of the International Working Conference on Designing Effective and usable Multimedia Systems, sponsored by the International Federation for Information Processing (IFIP), held in Stuttgart, Germany, in September 1998. It is essential reading for computer scientists, software developers, information systems managers and human scientists, especially those working in the applied disciplines such as human factors and interface design.
Author: Karin Coninx
Publisher: Springer
ISBN: 3540708162
Category : Computers
Languages : en
Pages : 365
Get Book Here
Book Description
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design, TAMODIA 2006, held in Hasselt, Belgium. More than 20 papers cover such topics as tool support, model-based interface development, user interface patterns, task-centered design, multi-modal user interfaces, reflections on tasks and activities in modeling, as well as context and plasticity.
Author: Robert J.K. Jacob
Publisher: Springer Science & Business Media
ISBN: 1402033044
Category : Computers
Languages : en
Pages : 384
Get Book Here
Book Description
Computer-Aided Design of User Interfaces IV gathers the latest research of experts, research teams and leading organisations involved in computer-aided design of user interactive applications supported by software, with specific attention for platform-independent user interfaces and context-sensitive or aware applications. This includes: innovative model-based and agent-based approaches, code-generators, model editors, task animators, translators, checkers, advice-giving systems and systems for graphical and multimodal user interfaces. It also addresses User Interface Description Languages. This books attempts to emphasize the software tool support for designing user interfaces and their underlying languages and methods, beyond traditional development environments offered by the market. It will be of interest to software development practitioners and researchers whose work involves human-computer interaction, design of user interfaces, frameworks for computer-aided design, formal and semi-formal methods, web services and multimedia systems, interactive applications, and graphical user and multi-user interfaces.
Author: Miguel-Angel Sicilia
Publisher: Springer Science & Business Media
ISBN: 0387777458
Category : Computers
Languages : en
Pages : 546
Get Book Here
Book Description
This is an edited volume based on the 2007 Conference on Metadata and Semantics Research (MTSR), now in its second meeting. Metadata research is a pluri-disciplinary field that encompasses all aspects of the definition, creation, assessment, management and use of metadata. The volume brings together world class leaders to contribute their research and up-to-date information on metadata and semantics applied to library management, e-commerce, e-business, information science and librarianship, to name a few. The book is designed for a professional audience composed of researchers and practitioners in industry.
Author: Christophe Kolski
Publisher: Springer Science & Business Media
ISBN: 9401004218
Category : Computers
Languages : en
Pages : 397
Get Book Here
Book Description
Advances in electronics, communications, and the fast growth of the Internet have made the use of a wide variety of computing devices an every day occurrence. These computing devices have different interaction styles, input/output techniques, modalities, characteristics, and contexts of use. Furthermore, users expect to access their data and run the same application from any of these devices. Two of the problems we encountered in our own work [2] in building VIs for different platforms were the different layout features and screen sizes associated with each platform and device. Dan Ol sen [13], Peter Johnson [9], and Stephen Brewster, et al. [4] all talk about problems in interaction due to the diversity of interactive platforms, devices, network services and applications. They also talk about the problems associ ated with the small screen size of hand-held devices. In comparison to desk top computers, hand-held devices will always suffer from a lack of screen real estate, so new metaphors of interaction have to be devised for such de vices. It is difficult to develop a multi-platform user interface (VI) without duplicating development effort. Developers now face the daunting task to build UIs that must work across multiple devices. There have been some ap proaches towards solving this problem of multi-platform VI development in cluding XWeb [14]. Building "plastic interfaces" [5,20] is one such method in which the VIs are designed to "withstand variations of context of use while preserving usability".
Author: Ray Paton
Publisher: Springer Science & Business Media
ISBN: 144710563X
Category : Computers
Languages : en
Pages : 407
Get Book Here
Book Description
The value of multi-disciplinary research and the exchange of ideas and methods across traditional discipline boundaries are well recognised. Indeed, it could be justifiably argued that many of the advances in science and engineering take place because the ideas, methods and the tools of thought from one discipline become re applied in others. Sadly, it is also the case that many subject areas develop specialised vocabularies and concepts and can consequently approach more general problems in fairly narrow, subject-specific ways. Consequently barriers develop between disciplines that prevent the free flow of ideas and the collaborations that on Visual Representations could often bring success. VRI'98, a workshop focused & Interpretations, was intended to break down such barriers. The workshop was held in the Foresight Conference Centre, which occupies part of the former Liverpool Royal Infirmary, a Grade 2 listed building, which has been recently restored. The building combines a majestic architecture with the latest in new conference facilities and technologies and thus provided a very suitable setting for a workshop aimed at bringing the Arts and the Sciences together. of the workshop was to promote inter-disciplinary awareness across The main aim a range of disciplines where visual representations and interpretations are exploited. Contributions to the workshop were therefore invited from researchers who are actively investigating visual representations and interpretations: - artists, architects, biologists, chemists, clinicians, cognitive scientists, computer scientists, educationalists, engineers, graphic designers, linguists, mathematicians, philosophers, physicists, psychologists and social scientists.
