5407 search results - page 306 / 1082 » The Software Engineering Global Model |
171
click to vote
IUI
1997
ACM
15 years 11 months ago
1997
ACM
This paper describes ActionStreams, a system for inducing task models from observations of user activity. The model can represent several task structures: hierarchy, variable sequ...
136
click to vote
IUI
1993
ACM
15 years 10 months ago
1993
ACM
Researchers in the field of intelligent interfaces have concentrated on building architectures, and have placed little emphasis on defining appropriate models. As a result, this...
153
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper investigates model checking Object-Z classes via their translation to the input notation of the CSP model checker FDR. Such a translation must not only be concerned wit...
169
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
We present a Tool Suite which supports the (re-)construction of a behavioral model of a legacy component based on a learning approach by exploiting knowledge of known models of th...
151
click to vote
EWSPT
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. Interact Intermediate supports goal-directed process modeling in such a way as to maximize the concurrency of activities and to minimize the direct control of humans in t...