162 search results - page 2 / 33 » A survey on search-based software design |
CSR
2010
Springer
13 years 2 months ago
2010
Springer
UIST
1994
ACM
13 years 9 months ago
1994
ACM
GECCO
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
TCAD
2008
13 years 4 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
PROFES
2007
Springer
13 years 11 months ago
2007
Springer
Most studies of software outsourcing focus on how to manage the outsourcing from the perspective of the outsourcer, i.e., a company issuing a subcontract. There are few studies of ...