skip to content
Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers Preview this item
ClosePreview this item
Checking...

Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers

Author: Philippe Palanque; Fabio Paternò
Publisher: Berlin ; New York : Springer, ©2001.
Series: Lecture notes in computer science, 1946.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS 2000, held in Limerick, Ireland in June 2000. The 14 revised full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on designing interactive distributed systems, designing user  Read more...
Rating:

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

Subjects
More like this

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Online resources
Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
DSV-IS 2000 (2000 : Limerick, Ireland).
Interactive systems.
Berlin ; New York : Springer, ©2001
(OCoLC)45835561
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Philippe Palanque; Fabio Paternò
ISBN: 9783540446750 3540446753
OCLC Number: 213933141
Description: 1 online resource (x, 250 pages) : illustrations.
Contents: Designing interactive distributed systems --
Designing user interfaces --
Tools for user interfaces --
Formal methods for human-computer interaction --
Model-based design of interactive systems.
Series Title: Lecture notes in computer science, 1946.
Responsibility: Philippe Palanque, Fabio Paternò (eds.).

Abstract:

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  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/213933141> # Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "213933141" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/5377760154#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/5377760154#Topic/interactive_computer_systems> ; # Interactive computer systems
    schema:about <http://dewey.info/class/004/e21/> ;
    schema:about <http://id.worldcat.org/fast/975980> ; # Interactive computer systems
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/85539375> ; # Fabio Paternò
    schema:contributor <http://viaf.org/viaf/114839554> ; # Philippe Palanque
    schema:copyrightYear "2001" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/5377760154#Meeting/dsv_is_2000_2000_limerick_ireland> ; # DSV-IS 2000 (2000 : Limerick, Ireland)
    schema:datePublished "2001" ;
    schema:description "This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS 2000, held in Limerick, Ireland in June 2000. The 14 revised full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on designing interactive distributed systems, designing user interfaces, tools for user interfaces, formal methods for human-computer interaction, and model-based design of interactive systems."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5377760154> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Online resources"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/45835561> ;
    schema:name "Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers"@en ;
    schema:productID "213933141" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/213933141#PublicationEvent/berlin_new_york_springer_2001> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/5377760154#Agent/springer> ; # Springer
    schema:url <http://link.springer.com/10.1007/3-540-44675-3> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-41663-0> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=1946> ;
    schema:url <http://uclibs.org/PID/8996> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-41663-0> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/3540446753> ;
    schema:url <http://dx.doi.org/10.1007/3-540-44675-3> ;
    schema:workExample <http://worldcat.org/isbn/9783540446750> ;
    schema:workExample <http://dx.doi.org/10.1007/3-540-44675-3> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/213933141> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/5377760154#Place/limerick_ireland> # Limerick, Ireland)
    a schema:Place ;
    schema:name "Limerick, Ireland)" ;
    .

<http://id.worldcat.org/fast/975980> # Interactive computer systems
    a schema:Intangible ;
    schema:name "Interactive computer systems"@en ;
    .

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

<http://viaf.org/viaf/85539375> # Fabio Paternò
    a schema:Person ;
    schema:birthDate "1960" ;
    schema:familyName "Paternò" ;
    schema:givenName "Fabio" ;
    schema:name "Fabio Paternò" ;
    .

<http://worldcat.org/isbn/9783540446750>
    a schema:ProductModel ;
    schema:isbn "3540446753" ;
    schema:isbn "9783540446750" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/213933141> ; # Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/45835561>
    a schema:CreativeWork ;
    rdfs:label "Interactive systems." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/213933141> ; # Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers
    .

<http://www.worldcat.org/title/-/oclc/213933141>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/213933141> ; # Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers
    schema:dateModified "2018-09-09" ;
    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.