skip to content
Design, Specification and Verification of Interactive Systems '95 : Proceedings of the Eurographics Workshop in Toulouse, France, June 7-9, 1995 Preview this item
ClosePreview this item
Checking...

Design, Specification and Verification of Interactive Systems '95 : Proceedings of the Eurographics Workshop in Toulouse, France, June 7-9, 1995

Author: Philippe Palanque; R Bastide
Publisher: Vienna : Springer Vienna, 1995.
Series: Eurographics (Series)
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
Twenty-one contributions cover the different aspects of interactive systems, from formal user modelling to formal techniques for prototyping, and describe the state-of-the-art on these topics, also giving new directions for future research. The book is an obligatory piece of literature for all scientists working in the formal aspects of the interactive systems field, but it is also valuable for the practitioner  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Palanque, Philippe.
Design, Specification and Verification of Interactive Systems '95 : Proceedings of the Eurographics Workshop in Toulouse, France, June 7-9, 1995.
Vienna : Springer Vienna, ©1995
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Philippe Palanque; R Bastide
ISBN: 9783709194379 3709194377
OCLC Number: 840303149
Description: 1 online resource.
Contents: Invited Talks --
Interaction, Cognition and Visualization --
Formal Specification Techniques for Interactive Systems --
Interacting with Information --
User-Side Modeling and Co-Modeling --
A User Interface Evaluation Mapping Physical User Actions to Task-Driven Formal Specifications --
Interaction and Task Requirements --
Revising Mental Models to Accomodate Expectation Failures in Human-Computer Dialogues --
The Application of Petri Nets to Represent and Reason about Human Factors Problems during Accident Analyses --
Requirements for Formal Specification --
Requirements for the Next Generation of User Interface Specification Languages --
Exploring Design Options Rationally --
Moving between Contexts --
Prototyping, Generation and Evaluation --
Combining Formal Techniques and Prototyping in User Interface Construction and Verification --
Modelling and Generation of Graphical User Interfaces in the TADEUS Approach --
Four Different Measures to Quantify Three Usabiliy Attributes: 'Feedback', Interface Directness' and 'Flexibility' --
Design and Verification --
Proving the Correctness of Formal User Interface Specifications --
A Software Demonstrator of Modality Theory --
Towards a Systematic Building of Software Architecture: The TRIDENT Methodological Guide --
The Design of Narrative Virtual Environments --
On the Expression of Interaction Properties within an Interactor Model --
Applying a Structured Method for Usability Engineering To Recreational Facilities Booking User Requirements: A Successful Case Study --
A Formal Design for Mutually Composed Multiple Media in Presentations --
Reports from Working Groups --
Role of Verification --
The Challenge of Time --
Working Group Report: User and Task Modeling --
Towards a Taxonomy for Interactive Graphics Systems.
Series Title: Eurographics (Series)
Responsibility: edited by Philippe Palanque, Rémi Bastide.

Abstract:

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.  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/840303149> # Design, Specification and Verification of Interactive Systems '95 : Proceedings of the Eurographics Workshop in Toulouse, France, June 7-9, 1995
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "840303149" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/au> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/865008803#Place/vienna> ; # Vienna
    schema:about <http://dewey.info/class/006.6/e23/> ;
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://id.worldcat.org/fast/866237> ; # Coding theory
    schema:about <http://id.worldcat.org/fast/872119> ; # Computer graphics
    schema:about <http://id.worldcat.org/fast/872687> ; # Computer vision
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/52788041> ; # Rémi Bastide
    schema:creator <http://viaf.org/viaf/114839554> ; # Philippe Palanque
    schema:datePublished "1995" ;
    schema:description "Invited Talks -- Interaction, Cognition and Visualization -- Formal Specification Techniques for Interactive Systems -- Interacting with Information -- User-Side Modeling and Co-Modeling -- A User Interface Evaluation Mapping Physical User Actions to Task-Driven Formal Specifications -- Interaction and Task Requirements -- Revising Mental Models to Accomodate Expectation Failures in Human-Computer Dialogues -- The Application of Petri Nets to Represent and Reason about Human Factors Problems during Accident Analyses -- Requirements for Formal Specification -- Requirements for the Next Generation of User Interface Specification Languages -- Exploring Design Options Rationally -- Moving between Contexts -- Prototyping, Generation and Evaluation -- Combining Formal Techniques and Prototyping in User Interface Construction and Verification -- Modelling and Generation of Graphical User Interfaces in the TADEUS Approach -- Four Different Measures to Quantify Three Usabiliy Attributes: 'Feedback', Interface Directness' and 'Flexibility' -- Design and Verification -- Proving the Correctness of Formal User Interface Specifications -- A Software Demonstrator of Modality Theory -- Towards a Systematic Building of Software Architecture: The TRIDENT Methodological Guide -- The Design of Narrative Virtual Environments -- On the Expression of Interaction Properties within an Interactor Model -- Applying a Structured Method for Usability Engineering To Recreational Facilities Booking User Requirements: A Successful Case Study -- A Formal Design for Mutually Composed Multiple Media in Presentations -- Reports from Working Groups -- Role of Verification -- The Challenge of Time -- Working Group Report: User and Task Modeling -- Towards a Taxonomy for Interactive Graphics Systems."@en ;
    schema:description "Twenty-one contributions cover the different aspects of interactive systems, from formal user modelling to formal techniques for prototyping, and describe the state-of-the-art on these topics, also giving new directions for future research. The book is an obligatory piece of literature for all scientists working in the formal aspects of the interactive systems field, but it is also valuable for the practitioner involved in the design of reliable interactive systems."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/865008803> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/865008803#Series/eurographics_0946_2767> ; # Eurographics, 0946-2767
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/865008803#Series/eurographics_series> ; # Eurographics (Series)
    schema:isSimilarTo <http://worldcat.org/entity/work/data/865008803#CreativeWork/design_specification_and_verification_of_interactive_systems_95_proceedings_of_the_eurographics_workshop_in_toulouse_france_june_7_9_1995> ;
    schema:name "Design, Specification and Verification of Interactive Systems '95 : Proceedings of the Eurographics Workshop in Toulouse, France, June 7-9, 1995"@en ;
    schema:productID "840303149" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/840303149#PublicationEvent/vienna_springer_vienna_1995> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/865008803#Agent/springer_vienna> ; # Springer Vienna
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3100640> ;
    schema:url <http://link.springer.com/10.1007/978-3-7091-9437-9> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-211-82739-0> ;
    schema:url <http://dx.doi.org/10.1007/978-3-7091-9437-9> ;
    schema:workExample <http://worldcat.org/isbn/9783709194379> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/840303149> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/865008803#Agent/springer_vienna> # Springer Vienna
    a bgn:Agent ;
    schema:name "Springer Vienna" ;
    .

<http://experiment.worldcat.org/entity/work/data/865008803#Series/eurographics_0946_2767> # Eurographics, 0946-2767
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/840303149> ; # Design, Specification and Verification of Interactive Systems '95 : Proceedings of the Eurographics Workshop in Toulouse, France, June 7-9, 1995
    schema:name "Eurographics, 0946-2767" ;
    .

<http://experiment.worldcat.org/entity/work/data/865008803#Series/eurographics_series> # Eurographics (Series)
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/840303149> ; # Design, Specification and Verification of Interactive Systems '95 : Proceedings of the Eurographics Workshop in Toulouse, France, June 7-9, 1995
    schema:name "Eurographics (Series)" ;
    .

<http://id.worldcat.org/fast/866237> # Coding theory
    a schema:Intangible ;
    schema:name "Coding theory"@en ;
    .

<http://id.worldcat.org/fast/872119> # Computer graphics
    a schema:Intangible ;
    schema:name "Computer graphics"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science"@en ;
    .

<http://id.worldcat.org/fast/872687> # Computer vision
    a schema:Intangible ;
    schema:name "Computer vision"@en ;
    .

<http://link.springer.com/10.1007/978-3-7091-9437-9>
    rdfs:comment "from Springer" ;
    rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/114839554> # Philippe Palanque
    a schema:Person ;
    schema:familyName "Palanque" ;
    schema:givenName "Philippe" ;
    schema:name "Philippe Palanque" ;
    .

<http://viaf.org/viaf/52788041> # Rémi Bastide
    a schema:Person ;
    schema:familyName "Bastide" ;
    schema:givenName "Rémi" ;
    schema:givenName "R." ;
    schema:name "Rémi Bastide" ;
    .

<http://worldcat.org/entity/work/data/865008803#CreativeWork/design_specification_and_verification_of_interactive_systems_95_proceedings_of_the_eurographics_workshop_in_toulouse_france_june_7_9_1995>
    a schema:CreativeWork ;
    rdfs:label "Design, Specification and Verification of Interactive Systems '95 : Proceedings of the Eurographics Workshop in Toulouse, France, June 7-9, 1995." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/840303149> ; # Design, Specification and Verification of Interactive Systems '95 : Proceedings of the Eurographics Workshop in Toulouse, France, June 7-9, 1995
    .

<http://worldcat.org/isbn/9783709194379>
    a schema:ProductModel ;
    schema:isbn "3709194377" ;
    schema:isbn "9783709194379" ;
    .

<http://www.worldcat.org/title/-/oclc/840303149>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/840303149> ; # Design, Specification and Verification of Interactive Systems '95 : Proceedings of the Eurographics Workshop in Toulouse, France, June 7-9, 1995
    schema:dateModified "2018-07-29" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.