257 search results - page 52 / 52 » A Proposed Method for Release Planning from Use Case-based R... |
SIGSOFT
2006
ACM
14 years 5 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
The transfer of entire projects to offshore locations, the aging and renewal of core developers in legacy products, the recruiting in fast growing Internet companies, and the part...