5228 search results - page 592 / 1046 » Case Studies for Software Engineers |
170
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
Traditional mutation testing considers only first order mutants, created by the injection of a single fault. Often these first order mutants denote trivial faults that are easil...
190
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a thorough study of Propositional Dynamic Logic over a variation of labeled transition systems, called accelerated labelled transition systems, which are transition sys...
170
click to vote
IWPC
2007
IEEE
16 years 1 months ago
2007
IEEE
Eye-tracking equipment is used to assess how well a subject comprehends UML class diagrams. The results of a study are presented in which eye movements are captured in a non-obtru...
186
click to vote
IUI
2005
ACM
16 years 19 days ago
2005
ACM
In this work, we present a study about adaptation on a mobile museum guide aiming at investigating the relationships between personality traits and the attitudes toward some basic...
185
click to vote
WADT
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...