2212 search results - page 136 / 443 » Automated software wrapping |
131
click to vote
FORMATS
2009
Springer
15 years 10 months ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
149
click to vote
CAV
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. A minimum satisfying assignment of a formula is a minimumcost partial assignment of values to the variables in the formula that guarantees the formula is true. Minimum sa...
107
click to vote
ISPW
2009
IEEE
15 years 10 months ago
2009
IEEE
It is usual for work completed at one point in a software development process to be revisited, or reworked, at a later point. Such rework is informally understood, but if we hope t...
144
click to vote
CBSE
2004
Springer
15 years 9 months ago
2004
Springer
: In distributed and mobile environments, the connections among the hosts on which a software system is running are often unstable. As a result of connectivity losses, the overall ...
131
click to vote
COMPSAC
2008
IEEE
15 years 4 months ago
2008
IEEE
Software evolution is characterized by inevitable changes of software and increasing software complexities, which in turn may lead to huge costs unless rigorously taking into acco...