2132 search results - page 243 / 427 » Automated software winnowing |
205
click to vote
IWPC
2010
IEEE
15 years 3 months 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...
154
click to vote
RTS
2010
15 years 3 months ago
2010
The current practice to design software for real-time systems is tedious. There is almost no tool support that assists the designer in automatically deriving safe bounds of the wor...
125
click to vote
CLEIEJ
2010
15 years 2 months ago
2010
In order to customize their behavior at runtime, a wide sort of modern frameworks do use code annotations at the applications classes as metadata configuration. However, despite i...
176
click to vote
AMAST
2010
Springer
15 years 5 days ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
169
click to vote
TASLP
2011
15 years 2 days ago
2011
—This paper presents a novel student model intended to automate word-list-based reading assessments in a classroom setting, specifically for a student population that includes b...