3066 search results - page 18 / 614 » On Facilitating Automated Evaluation |
139
click to vote
LPAR
2010
Springer
15 years 9 days ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...
111
click to vote
CTW
2006
15 years 1 months ago
2006
Cognitive task analysis (CTA) approaches are currently needed in many domains to provide explicit guidance on redesigning existing systems. This study used goal-directed task analy...
106
Voted
FDL
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents work in progress to explore the possibility of combining model-driven and domain modeling techniques to facilitate support for reuse and automation. The approa...
161
click to vote
IWPC
2010
IEEE
15 years 10 days ago
2010
IEEE
—A tool supporting the automatic identification of programming idioms specific to the construction of C++ generic libraries is presented. The goal is to assist developers in unde...
105
Voted
LOPSTR
2009
Springer
15 years 8 months ago
2009
Springer