Skip to main content
SpringerLink
Log in

Interactive Systems. Design Specification, and Verification

12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Stephen W. Gilroy

    1. School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michael D. Harrison

    1. School of Computing Science, Newcastle University, Newcastle upon Tyne, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3941)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: DSV-IS 2005.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 papers)

  1. Model-Based Design Processes and Tools

    1. Mapping ConcurTaskTrees into UML 2.0

      • Leonel Nóbrega, Nuno Jardim Nunes, Helder Coelho
      Pages 237-248

    2. Goal-Oriented Design of Domain Control Panels

      • Christophe Ponsard, Nadiya Balych, Philippe Massonet, Jean Vanderdonckt, Axel van Lamsweerde
      Pages 249-260

  2. Group Discussions

    1. Future Challenges of Model-Based Design

      • Sandra Basnyat, Joan De Boeck, Erwin Cuppens, Leonel Nóbrega, Francisco Montero, Fabio Paternò et al.
      Pages 261-261

    2. Supporting Values Other Than Usability and Performance Within the Design Process

      • Nick Chozos, Jennifer G. Sheridan, Özcan Mehmet, Amir Naghsh, Kwang Chun Lee, Ann Blandford
      Pages 262-263

    3. Ambience and Mobility

      • Gavin J. Doherty, Lydie du Bousquet, José Creissac Campos, El Mustapha El Atifi, Gilles Falquet, Mieke Massink et al.
      Pages 264-264

    4. Outdated Ideas of the Design Process and the Future of Formal Models, Methods and Notations

      • Dominic Furniss, Alan Dix, Christophe Ponsard, Guo-Qiang Zhang
      Pages 265-265

  3. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Interactive Systems. Design, Specification, and Verification

Keywords

Editors and Affiliations

  • School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne, UK

    Stephen W. Gilroy

  • School of Computing Science, Newcastle University, Newcastle upon Tyne, UK

    Michael D. Harrison

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation