6197 search results - page 256 / 1240 » Sandbridge Software Tools |
166
click to vote
ISSTA
2006
ACM
16 years 17 days ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
224
Voted
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
The Prometheus Design Tool is a graphical editor which supports the design tasks specified within the Prometheus methodology for designing agent systems. The tool propagates info...
145
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
End-user programming tools for creating spreadsheets and webforms offer no data types except "string" for storing many kinds of data, such as person names and street add...
162
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Using the application programming interfaces (API) of large software systems requires developers to understand details about the interfaces that are often not explicitly defined. ...
165
click to vote
SEW
2007
IEEE
16 years 26 days ago
2007
IEEE
We revisit the automatic tool composition feature of the Electronic Tool Integration platform under the perspective of planning. It turns out that in todays terminology, ETIs temp...