486 search results - page 19 / 98 » Sound Methods and Effective Tools for Engineering Modeling a... |
C3S2E
2008
ACM
13 years 9 months ago
2008
ACM
In the last decade, a great many code clone detection tools have been proposed. Such a large number of tools calls for a quantitative comparison, and there have been several attem...
IUI
2003
ACM
14 years 23 days ago
2003
ACM
Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of...
BIRTHDAY
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
WSC
2001
13 years 8 months ago
2001
Discrete-event simulation is a common tool for the analysis of semiconductor manufacturing systems. With the aid of a simulation model, and in conjunction with sensitivity analysi...
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
It is difficult to determine the cost effectiveness of program analysis tools because we cannot evaluate them in the same environment where we will be using the tool. Tool evalua...