X

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
  • 1
    Buch
    Buch
    Interactive systems : design, specification, and verification ; 10th international workshop ; revised papers (2003)
    Berlin : Springer
    Details
    UID:
    gbv_371287154
    Umfang: XIII, 427 S. , Ill., graph. Darst.
    ISBN: 3540201599
    Serie: Lecture notes in computer science 2844
    Inhalt: 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
    Anmerkung: Literaturangaben
    Weitere Ausg.: Erscheint auch als Online-Ausgabe Jorge, Joaquim Interactive Systems. Design, Specification, and Verification Berlin, Heidelberg : Springer Berlin Heidelberg, 2003 ISBN 9783540201595
    Sprache: Englisch
    Schlagwort(e): Mensch-Maschine-Kommunikation ; Benutzeroberfläche ; Softwarespezifikation ; Systementwurf ; Mensch-Maschine-Kommunikation ; Mobile Computing ; Konferenzschrift ; Kongress ; Konferenzschrift
    URL: Cover
    URL: Einführung/Vorwort
    URL: Inhaltsverzeichnis
    URL: Inhaltstext
    URL: http://www.loc.gov/catdir/enhancements/fy0813/2003062022-d.html
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Buch
    UB Potsdam get availability status
    Berlin VÖBB/ZLB get availability status
  • 2
    Online-Ressource
    Online-Ressource
    Interactive Systems. Design, Specification, and Verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003. Revised Papers (2003)
    Berlin : Springer
    Details
    UID:
    gbv_749152168
    Umfang: Online-Ressource (XIII, 429 p. Also available online) , digital
    Ausgabe: Reproduktion Springer eBook Collection. Computer Science
    ISBN: 9783540399292 , 3540201599 , 9783540201595
    Serie: Lecture Notes in Computer Science 2844
    Inhalt: 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
    Anmerkung: Literaturangaben
    Weitere Ausg.: ISBN 9783540201595
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 9783662171707
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 9783540201595
    Sprache: Englisch
    Schlagwort(e): Konferenzschrift
    DOI: 10.1007/b13960
    URL: lizenzpflichtig
    URL: Volltext  (lizenzpflichtig)
    URL: Inhaltstext
    URL: Inhaltsverzeichnis
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Online Zugang
    Open Access Wunsch
    UB Potsdam
  • 3
    Online-Ressource
    Online-Ressource
    Interactive Systems. Design, Specification, and Verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003. Revised Papers (2003)
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    Dazugehörige Titel
    Details
    UID:
    almahu_9947920528302882
    Umfang: XIII, 427 p. , online resource.
    ISBN: 9783540399292
    Serie: Lecture Notes in Computer Science, 2844
    Inhalt: 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.
    Anmerkung: 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 and Comparing Interaction Styles -- A Navigation and Registration System for Mobile and Augmented Environments -- MIKE: A Multimodal Cinematographic Editor for Virtual Worlds -- An Approach to Develop User Interfaces with Plasticity -- Multimedia Environments and Interactive Scientific Presentation of Industrially-Based Data Sets.
    In: Springer eBooks
    Weitere Ausg.: Printed edition: ISBN 9783540201595
    Sprache: Englisch
    DOI: 10.1007/b13960
    URL: http://dx.doi.org/10.1007/b13960
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Open Access Wunsch
    HU Berlin
  • 4
    Online-Ressource
    Online-Ressource
    Interactive Systems. Design, Specification, and Verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers (2003)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Dazugehörige Titel
    Details
    UID:
    almahu_9948621697902882
    Umfang: XIII, 427 p. , online resource.
    Ausgabe: 1st ed. 2003.
    ISBN: 9783540399292
    Serie: Lecture Notes in Computer Science, 2844
    Inhalt: 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.
    Anmerkung: 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 and Comparing Interaction Styles -- A Navigation and Registration System for Mobile and Augmented Environments -- MIKE: A Multimodal Cinematographic Editor for Virtual Worlds -- An Approach to Develop User Interfaces with Plasticity -- Multimedia Environments and Interactive Scientific Presentation of Industrially-Based Data Sets.
    In: Springer Nature eBook
    Weitere Ausg.: Printed edition: ISBN 9783662171707
    Weitere Ausg.: Printed edition: ISBN 9783540201595
    Sprache: Englisch
    DOI: 10.1007/b13960
    URL: https://doi.org/10.1007/b13960
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Open Access Wunsch
    HU Berlin
Nichts oder nicht das Richtige gefunden? Für eine Suche/Fernleihbestellung aus dem Ausland nutzen Sie das Suche-Set "KOBV-International" im alten KOBV-Portal.
Meinten Sie 3540201149?
Meinten Sie 3540001999?
Meinten Sie 3540200592?
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz