3330 search results - page 116 / 666 » software 2010 |
ISPW
2010
IEEE
14 years 1 months ago
2010
IEEE
Abstract. Explicitly defining a software process model is widely recognized as a good software engineering practice. However, having a defined process does not necessarily mean tha...
CADE
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...
SIGIR
2011
ACM
13 years 2 days ago
2011
ACM
The Fourth International Workshop on Uncovering Plagiarism, Authorship, and Social Software Misuse (PAN 10) was held in conjunction with the 2010 Conference on Multilingual and Mu...
ANCS
2010
ACM
13 years 7 months ago
2010
ACM
:
KBSE
2010
IEEE
13 years 7 months ago
2010
IEEE
Scientists today conduct new research via software-based experimentation and validation in a host of disciplines, including materials science, life sciences, astronomy, and physic...