5407 search results - page 413 / 1082 » The Software Engineering Global Model |
198
click to vote
SEFM
2008
IEEE
16 years 1 months ago
2008
IEEE
Formal models of rational user behaviour are essential for user-centred reasoning about interactive systems. At an level, planned behaviour and reactive behaviour are two importan...
172
click to vote
EMSOFT
2007
Springer
2007
Springer
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
16 years 1 months ago
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the...
160
click to vote
COMPSAC
2003
IEEE
16 years 5 days ago
2003
IEEE
Markov chains have been used to model web usages and served as the basis for statistical testing, performance evaluation, and reliability analysis. However, most of such applicati...
179
click to vote
ICSE
2003
IEEE-ACM
16 years 2 days ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
166
click to vote
AUIC
2002
IEEE
15 years 12 months ago
2002
IEEE
This paper presents user interface technology, using a glove based menuing system and 3D interaction techniques. It is designed to support applications that allow users to constru...