3527 search results - page 515 / 706 » Test Automation in Practice |
ERLANG
2004
ACM
15 years 4 months ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
SAC
2004
ACM
15 years 4 months ago
2004
ACM
There is still no standardization of software measures and metrics extraction tools have to be updated frequently to handle the changes. A possible solution is represented by usin...
SIGCSE
2004
ACM
15 years 4 months ago
2004
ACM
This paper presents an innovative multiagent system to support cooperative learning among students both in the real classrooms and in distance education. The system, called I-MIND...
CSL
2004
Springer
15 years 4 months ago
2004
Springer
Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighborhood of its free variables. Such n...
GECCO
2004
Springer
15 years 3 months ago
2004
Springer
Verifying the published results of algorithms is part of the usual research process. This helps to both validate the existing literature, but also quite often allows for new insigh...