Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

DSVIS
1995
Springer

favoriteEmaildiscussreport

80views Human Computer Interaction» more DSVIS 1995»

Exploring Design Options Rationally

13 years 8 months ago

Exploring Design Options Rationally

Download www.eis.mdx.ac.uk

Abstract. This paper describes a design technique for interactive systems that allows designs to be speciﬁed and reﬁned formally, using a notation based on Action Systems. The rationale underlying the choices made by designers is recorded in a style based on the “Questions, Options, Criteria” notation. The means of capturing formal speciﬁcations and the reasoning behind design decisions are presented as parts of a uniform framework; a formal account is given of how design options satisfy criteria and how design options can be combined to answer larger design questions.

Chris Bramwell, Bob Fields, Michael D. Harrison

Real-time Traffic

Design | Design Options | DSVIS 1995 | Human Computer Interaction | Options Satisfy Criteria |

claim paper

Related Content

» Exploring Processor Design Options for JavaBased Middleware

» Exploring an Option Space to Engineer a Ubiquitous Computing System

» Balancing design options with Sherpa

» Design as traversal and consequences an exploration tool for experimental designs

» A real options framework to value network protocol and service architecture

» Agent Logics as Program Logics Grounding KARO

» Scheduling optional computations in faulttolerant realtime systems

» Efficient Processing of RDF Queries with Nested Optional Graph Patterns in an RDBMS

» Early detection of insider trading in option markets

Post Info
More Details (n/a)

Added	26 Aug 2010
Updated	26 Aug 2010
Type	Conference
Year	1995
Where	DSVIS
Authors	Chris Bramwell, Bob Fields, Michael D. Harrison

Comments (0)