rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Interactive Systems. Design, Specification, and Verification
    sub title: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers
  name:
    name part: Jorge, Joaquim.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: Jardim Nunes, Nuno.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: Falcao e Cunha, Joao.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2003
    edition: 1st ed. 2003.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XIII, 427 p. online resource.
  abstract: This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2003, held in Funchal, Madeira Island, Portugal, in June 2003. The 26 revised full papers and 5 revised short papers presented together with an invited paper have passed through two rounds of reviewing, selection, and improvement. The papers are organized in topical sections on test and evaluation, Web and groupware, tools and technologies, task modeling, model-based design, mobile and multiple devices, UML, and specification languages.
  table of contents: Invited Paper -- Canonical Abstract Prototypes for Abstract Visual and Interaction Design -- Test and Evaluation -- Designing and Evaluating Interaction as Conversation: A Modeling Language Based on Semiotic Engineering -- Applying Extended Finite State Machines in Software Testing of Interactive Systems -- An Empirical Study of Personal Document Spaces -- Web & Groupware -- StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications -- Identification of Web Usability Problems and Interaction Patterns with the RealEYES-iAnalyzer -- Workspaces: A Multi-level Architectural Style for Synchronous Groupware -- Tools and Technologies -- Functionally Modeled User Interfaces -- Architectures for Widget-Level Plasticity -- Specification-Based Testing of User Interfaces -- Calligraphic Interfaces: Mixed Metaphors for Design -- Task Modeling -- Using Task Knowledge to Guide Interactor Specifications Analysis -- Higher-Order Task Models -- Derivation of a Dialog Model from a Task Model by Activity Chain Extraction -- Describing Just-UI Concepts Using a Task Notation -- Model-Based Design -- Model-Based Design of Speech Interfaces -- Model-Based Design of Adaptive User Interfaces through Connectors -- Model-Based Electronic Performance Support -- Mobile and Multiple Devices -- Improving User Interface Usability Using Mobile Agents -- Reasoning about Dynamic Information Displays -- Bridging the Gap: Developing 2D and 3D User Interfaces with the IDEAS Methodology -- UML -- Usability Design-Extending Rational Unified Process with a New Discipline -- Addressing Marketing Requirements in User-Interface Design for Multiple Platforms -- Dialog Modelling with Interactors and UML Statecharts - A Hybrid Approach -- Specification Languages -- ISML: An Interface Specification Meta-language -- A Review of XML-compliant User Interface Description Languages -- Contextual Design of a Computer-Supported Film Set: A Case Study -- Short Papers -- Evaluating…
  note: edited by Joaquim Jorge, Nuno Jardim Nunes, Joao Falcao e Cunha.
  subject:
    topic: Computers
  subject:
    topic: User interfaces (Computer systems)
  subject:
    topic: Computer communication systems
  subject:
    topic: Software engineering
  subject:
    topic: Computer logic
  subject:
    topic: Information storage and retrieval
  subject:
    topic: Theory of Computation
  subject:
    topic: User Interfaces and Human Computer Interaction
  subject:
    topic: Computer Communication Networks
  subject:
    topic: Software Engineering
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Information Storage and Retrieval
  classification: QA75.5-76.95
  classification: QA76.63
  classification: 004.0151
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 2844
  identifier: 9783540399292
  identifier: https://doi.org/10.1007/b13960
  record info:
    record creation date: 121227
    record change date: 20191024031814.0
    record identifier: 978-3-540-39929-2