18 search results - page 2 / 4 » sigsoft 2000 |
SIGSOFT
2000
ACM
13 years 9 months ago
2000
ACM
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...
SIGSOFT
2000
ACM
13 years 9 months ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
SIGSOFT
2000
ACM
13 years 9 months ago
2000
ACM
Fuzzing is a well-known black-box approach to the security testing of applications. Fuzzing has many advantages in terms of simplicity and effectiveness over more complex, expensi...
SIGSOFT
2000
ACM
13 years 9 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
SIGSOFT
2000
ACM
13 years 9 months ago
2000
ACM
It is essential to manage versions of software products created during software development. There are various versioning tools actually used in these days, although most of them ...