439 search results - page 59 / 88 » Program Generators and the Tools to Make Them |
139
click to vote
VAMOS
2008
Springer
15 years 5 months ago
2008
Springer
Software Product Lines aim at capturing the variability and commonality of a family of related programs that share a common set of assets. Variation points capture variability on ...
167
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
127
click to vote
W4A
2006
ACM
15 years 10 months ago
2006
ACM
Developing Web pages following established standards can make the information more accessible, their rendering more efficient, and their processing by computer applications easier...
133
click to vote
SIGSOFT
2004
ACM
15 years 9 months ago
2004
ACM
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easi...
144
click to vote
CAV
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...