Exploring Design Options Rationally (English)
- New search for: Bramwell, Chris
- New search for: Fields, Bob
- New search for: Harrison, Michael
- New search for: Bramwell, Chris
- New search for: Fields, Bob
- New search for: Harrison, Michael
In:
Design, Specification and Verification of Interactive Systems ’95
;
134-148
;
1995
-
ISSN:
- Article/Chapter (Book) / Electronic Resource
-
Title:Exploring Design Options Rationally
-
Contributors:
-
Published in:Eurographics ; 134-148
-
Publisher:
- New search for: Springer Vienna
-
Place of publication:Vienna
-
Publication date:1995-01-01
-
Size:15 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Interaction, Cognition and VisualizationDuce, D. A. / Duke, D. J. et al. | 1995
- 21
-
Formal Specification Techniques for Interactive SystemsGaudel, Marie-Claude et al. | 1995
- 27
-
Interacting With InformationOlsen, Dan R. Jr. et al. | 1995
- 35
-
A User Interface Evaluation Mapping Physical User Actions to Task-Driven Formal SpecificationsPaterno, Fabio / Sciacchitano, Maria Sabrina / Lowgren, Jonas et al. | 1995
- 54
-
Interaction and Task RequirementsDuke, D. J. / Harrison, M. D. et al. | 1995
- 76
-
Revising mental models to accommodate expectation failures in human-computer dialoguesMoher, Thomas G. / Dirda, Victor et al. | 1995
- 93
-
The Application Of Petri Nets To Represent And Reason About Human Factors Problems During Accident AnalysesJohnson, Chris et al. | 1995
- 113
-
Requirements For The Next Generation Of User Interface Specification LanguagesGray, Phil / Johnson, Chris et al. | 1995
- 134
-
Exploring Design Options RationallyBramwell, Chris / Fields, Bob / Harrison, Michael et al. | 1995
- 149
-
Moving Between ContextsDix, Alan et al. | 1995
- 174
-
Combining Formal Techniques and Prototyping in User Interface Construction and VerificationBumbulis, Peter / Alencar, P. S. C. / Cowan, D. D. / Lucena, C. J. P. et al. | 1995
- 193
-
Modelling and Generation of Graphical User Interfaces in the TADEUS ApproachElwert, Thomas / Schlungbaum, Egbert et al. | 1995
- 209
-
Four different measures to quantify three usability attributes: ‘feedback’, ‘interactive directness’ and ‘flexibility’Rauterberg, Matthias et al. | 1995
- 224
-
Proving the Correctness of Formal User Interface SpecificationsBauer, Bernhard et al. | 1995
- 242
-
A software demonstrator of modality theoryBernsen, N. O. / Lu, S. et al. | 1995
- 262
-
Towards a Systematic Building of Software Architecture: the TRIDENT Methodological GuideBodart, François / Hennebert, Anne-Marie / Leheureux, Jean-Marie / Provot, Isabelle / Sacré, Benoît / Vanderdonckt, Jean et al. | 1995
- 279
-
The Design of Narrative Virtual EnvironmentsGreen, Mark et al. | 1995
- 294
-
On The Expression Of Interaction Properties Within An Interactor ModelMarkopoulos, Panos et al. | 1995
- 311
-
Applying A Structured Method For Usability Engineering To Recreational Facilities Booking User Requirements: A Successful Case StudyMiddlemass, James / Stork, Adam / Long, John et al. | 1995
- 329
-
A Formal Design for Mutually Composed Multiple Media in PresentationsTook, Roger et al. | 1995
- 342
-
Role of VerificationHarrison, M. D. et al. | 1995
- 345
-
The Challenge Of TimeJohnson, Chris et al. | 1995
- 358
-
Working group report: user and task modelingMoher, Thomas G. et al. | 1995
- 362
-
Towards a taxonomy for interactive graphics systemsPierra, G. et al. | 1995