Record Beta

Design, Specification, and Verification of Interactive Systems (DSV-IS)

https://id.confref.org/data/confref-portal/event/dsvis2004

rdf:type	portal:Conference
schema:location	Hamburg (wd:Q1055)
rdfs:label	Design, Specification, and Verification of Interactive Systems (DSV-IS)
portal:acronym	DSVIS
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Hamburg
portal:country	Germany
portal:endDate	2004-07-13
portal:keyword	CASE tools
portal:keyword	Context
portal:keyword	Design process
portal:keyword	Ethnography
portal:keyword	Formal methods
portal:keyword	Interactive Systems Engineering
portal:keyword	Modality independence
portal:keyword	browser design and evaluation
portal:keyword	communication-centered design
portal:keyword	context-sensitive user interface
portal:keyword	controlled experimentation
portal:keyword	development processes
portal:keyword	digital photographs
portal:keyword	formal description techniques
portal:keyword	language extended lexicon
portal:keyword	model-based design of human-computer interaction
portal:keyword	model-based user interface design
portal:keyword	model-driven architecture
portal:keyword	model-to-model transformation
portal:keyword	multi-path development
portal:name	Design, Specification, and Verification of Interactive Systems (DSV-IS)
portal:portalPage	http://portal.confref.org/list/dsvis2004
portal:series	https://id.confref.org/data/confref-portal/series/dsvis
portal:startDate	2004-07-11
portal:submissionExtended	false
portal:year	2004
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAs	https://dblp.org/db/conf/ehci/ehci2004

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.