1327 search results - page 146 / 266 » Cost-Benefit Analysis of Software Development Techniques and... |
102
click to vote
AADEBUG
2005
Springer
15 years 3 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
OOPSLA
2007
Springer
15 years 4 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...
PLDI
2003
ACM
15 years 3 months ago
2003
ACM
As more complex DSP algorithms are realized in practice, an increasing need for high-level stream abstractions that can be compiled without sacrificing efficiency. Toward this en...
108
click to vote
ICSE
2012
IEEE-ACM
13 years 12 days ago
2012
IEEE-ACM
Abstract—Key program interfaces are sometimes documented with usage examples: concrete code snippets that characterize common use cases for a particular data type. While such doc...
VMCAI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...