630 search results - page 37 / 126 » Usability of E-learning tools |
ISSTA
2006
ACM
14 years 3 months ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
ITNG
2010
IEEE
14 years 2 months ago
2010
IEEE
—There are several institutions that accredit educational programs and require documentation to ensure that an educational program regularly meets certain criteria. This paper fo...
TACAS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
TOOLS
1999
IEEE
14 years 1 months ago
1999
IEEE
The development of large software systems demands intensive cooperation among multiple project team members with different responsibilities. The development process is often distr...
MM
2009
ACM
14 years 3 months ago
2009
ACM
There are still no established methods for the evaluation of browsing and exploratory search tools. In the (multimedia) information retrieval community evaluations following the C...