SIGSOFT
2008
ACM
13 years 7 months ago
2008
ACM
SIGSOFT
2008
ACM
13 years 7 months ago
2008
ACM
SIGSOFT
2008
ACM
13 years 7 months ago
2008
ACM
This paper describes the design of the unit testing framework JUnit v3.8. The documentation technique employed is an enhanced version of collaboration-based design, also known as ...
SIGSOFT
2008
ACM
13 years 7 months ago
2008
ACM
SIGSOFT
2008
ACM
13 years 7 months ago
2008
ACM
SIGSOFT
2008
ACM
13 years 7 months ago
2008
ACM
SIGSOFT
2008
ACM
13 years 7 months ago
2008
ACM
SIGSOFT
2008
ACM
13 years 7 months ago
2008
ACM
If an organization depends on the service quality provided by another organization it often enters into a bilateral service level agreement (SLA), which mitigates outsourcing risk...
AC
2005
Springer
13 years 7 months ago
2005
Springer
Artificial intelligence has been an active branch of research for computer scientists and psychologists for 50 years. The concept of mimicking human intelligence in a computer fue...
AC
2005
Springer
13 years 7 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...