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 in the library

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

Details

Genre/Form: Online resources
Electronic books
Conference papers and proceedings
Electronic book
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-11-11" ;
   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.