6197 search results - page 941 / 1240 » Sandbridge Software Tools |
178
click to vote
SLE
2009
Springer
16 years 1 months ago
2009
Springer
As domain-specific modeling begins to attract widespread acceptance, pressure is increasing for the development of new domainspecific languages. Unfortunately these DSLs typicall...
167
click to vote
FDG
2009
ACM
16 years 1 months ago
2009
ACM
As the interactive entertainment industry matures, a better understanding of what makes software entertaining is needed. A natural starting point is the application of traditional...
226
click to vote
FOAL
2009
ACM
16 years 1 months ago
2009
ACM
Aspect-oriented programming (AOP) fosters the coding of tangled concerns in separated units that are then woven together in the executable system. Unfortunately, the oblivious nat...
171
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
139
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—Writing correct multithreaded programs is difficult. Existing tools for finding bugs in multithreaded programs primarily focus on finding generic concurrency problems such as...