3066 search results - page 139 / 614 » On Facilitating Automated Evaluation |
LPAR
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We describe a novel decision procedure for Quantified Boolean Formulas (QBFs) which aims to unleash the hidden potential of quantified reasoning in applications. The Sk...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
We are investigating an integrated design method for a device driver and a device in order to efficiently develop device drivers used in embedded systems. This paper evaluates wh...
ICCBR
2003
Springer
14 years 2 months ago
2003
Springer
: One of the perceived benefits of Case-Based Reasoning (CBR) is the potential to use retrieved cases to explain predictions. Surprisingly, this aspect of CBR has not been much res...
CSEE
2006
Springer
14 years 26 days ago
2006
Springer
A fifteen week module on software engineering management exposed graduate students to practical aspects of the management of software development: emphasizing the recording and an...
AOSE
2008
Springer
13 years 11 months ago
2008
Springer
A central problem in software maintenance is change propagation: given a set of primary changes that have been made to software, what additional secondary changes are needed? Altho...