977 search results - page 158 / 196 » Formal methods integration in software engineering |
123
Voted
IUI
1998
ACM
15 years 8 months ago
1998
ACM
Eliciting user-task models is a thorny problem in modelbased user interface design, and communicating domainspecific knowledge from an expert to a knowledge engineer is a continui...
143
Voted
PPPJ
2003
ACM
15 years 9 months ago
2003
ACM
Compared to imperative programming languages like Pascal or Basic, or functional programming languages like ML or Haskell learning Java is hampered by the fact that to get even th...
171
Voted
PAMI
2012
13 years 6 months ago
2012
—Attention is an integral part of the human visual system and has been widely studied in the visual attention literature. The human eyes fixate at important locations in the scen...
155
click to vote
KBSE
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we present a concept for automated testing of object-oriented applications and a tool called SeDiTeC that implements these concepts for Java applications. SeDiTeC us...
147
click to vote
COMPSAC
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper presents a methodology for setting up a Decision Support system for User Interface Design (DSUID). We first motivate the role and contributions of DSUID and then demons...