Sciweavers

173 search results - page 9 / 35
» Uncovering elements of style
Sort
View
ICCAD
1993
IEEE
111views Hardware» more  ICCAD 1993»
15 years 1 months ago
Unifying synchronous/asynchronous state machine synthesis
We present a design style and synthesis algorithm that encompasses both asynchronous and synchronous state machines. Our proposed design style not only supports generalized “bur...
Kenneth Y. Yun, David L. Dill
CBSE
2006
Springer
15 years 1 months ago
Verification of Component-Based Software Application Families
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
Fei Xie, James C. Browne
CHI
1992
ACM
15 years 1 months ago
Coupling Application Design and User Interface Design
Building an interactive application requires, amongst other activities, the design of both a data model and a user interface. These two designs are often done separately, frequent...
Dennis J. M. J. de Baar, James D. Foley, Kevin E. ...
JCD
2002
70views more  JCD 2002»
14 years 9 months ago
Quality technical information: paving the way for usable print and web interface design
Principles of information style and design have been around for years. Look at the shelf life of Strunk and White's classic Elements of Style, published in 1959 and still a b...
Theo Mandel
ACMDIS
2006
ACM
15 years 3 months ago
Storyboarding: an empirical determination of best practices and effective guidelines
Storyboarding is a common technique in HCI and design for demonstrating system interfaces and contexts of use. Despite its recognized benefits, novice designers still encounter ch...
Khai N. Truong, Gillian R. Hayes, Gregory D. Abowd