2832 search results - page 396 / 567 » Flexible Modelling for Requirements Engineering |
165
click to vote
CSCWD
2005
Springer
15 years 8 months ago
2005
Springer
We propose an analytic method to evaluate groupware design. The method was inspired by GOMS, a well-known approach to analyze usability problems with single-user interfaces. GOMS h...
168
click to vote
WEBNET
2000
15 years 7 months ago
2000
: This paper presents the design criteria for an Intelligent User Interface to a search engine of an on-line document data base. The Interface is aimed at users that have little or...
167
click to vote
UAI
1993
15 years 7 months ago
1993
I introduce a temporal belief-network representation of causal independence that a knowledge engineer can use to elicit probabilistic models. Like the current, atemporal belief-ne...
163
click to vote
CERA
2005
15 years 6 months ago
2005
In order to accurately cost the new product manufacture, and to assess a `what if' scenario in a rapid manner, requires an information system which can integrate the process ...
178
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...