1492 search results - page 172 / 299 » Automatic Software Model Checking Using CLP |
NJC
2006
14 years 9 months ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
MAGS
2008
14 years 9 months ago
2008
This paper reports on experiments in (human) multi-issue negotiation and their analysis, and presents a generic software environment supporting such an analysis. First, the paper p...
GPCE
2009
Springer
14 years 7 months ago
2009
Springer
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
ICSE
2005
IEEE-ACM
15 years 10 months ago
2005
IEEE-ACM
Data structure repair is a promising technique for enabling programs to execute successfully in the presence of otherwise fatal data structure corruption errors. Previous research...
CHI
2007
ACM
15 years 10 months ago
2007
ACM
If applications were able to detect a user's expertise, then software could automatically adapt to better match expertise. Detecting expertise is difficult because a user...