37 search results - page 8 / 8 » Process maturity for software project outsourcing |
SIGSOFT
2003
ACM
14 years 5 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
UML
2005
Springer
13 years 10 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...