11172 search results - page 330 / 2235 » Testing Physical Systems |
182
click to vote
ADAEUROPE
2001
Springer
15 years 11 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
244
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
148
click to vote
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents two new algorithms, Redundant Vector Elimination(RVE) and Essential Fault Reduction (EFR), for generating compact test sets for combinational circuits under th...
175
click to vote
CISSE
2008
Springer
15 years 8 months ago
2008
Springer
: Knowledge assessment is inseparable part of current e-learning technologies. It can be used for self-assessment of students to give them feedback about their progress in a study ...
145
click to vote
HCI
2007
15 years 8 months ago
2007
This paper analyzes and discusses the ways tasks are described and perceived in a remote Think Aloud (TA) usability tests session. The paper includes reports from a study and the p...