4695 search results - page 140 / 939 » Software Clustering Techniques and the Use of Combined Algor... |
179
click to vote
IJSEKE
2006
15 years 6 months ago
2006
tion and alteration of software models at different levels of abstraction. These modifications are usually performed independently, but the objects to which they are applied to, ar...
165
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
141
click to vote
MSR
2006
ACM
16 years 11 days ago
2006
ACM
In this paper we combine the results of our refactoring reconstruction technique with bug, mail and release information to perform process and bug analyses of the ARGOUML CVS arch...
162
click to vote
SCAM
2003
IEEE
15 years 11 months ago
2003
IEEE
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...
169
click to vote
CPAIOR
2010
Springer
15 years 11 months ago
2010
Springer
We introduce an approach which combines ACO (Ant Colony Optimization) and IBM ILOG CP Optimizer for solving COPs (Combinatorial Optimization Problems). The problem is modeled using...