Sciweavers

1494 search results - page 45 / 299
» Less Extreme Programming
Sort
View
ESEM
2009
ACM
15 years 4 months ago
Impact of the visitor pattern on program comprehension and maintenance
In the software engineering literature, many works claim that the use of design patterns improves the comprehensibility of programs and, more generally, their maintainability. Yet...
Sebastien Jeanmart, Yann-Gaël Guéh&eac...
ASP
2001
Springer
15 years 3 months ago
Effect of knowledge representation on model based planning: experiments using logic programming encodings
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...
Le-Chi Tuan, Chitta Baral
BIRTHDAY
2010
Springer
15 years 27 days ago
Counterexample Guided Path Reduction for Static Program Analysis
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...
Ansgar Fehnker, Ralf Huuck, Sean Seefried
ENDM
2010
115views more  ENDM 2010»
14 years 9 months ago
On the knapsack closure of 0-1 Integer Linear Programs
Many inequalities for Mixed-Integer Linear Programs (MILPs) or pure Integer Linear Programs (ILPs) are derived from the Gomory corner relaxation, where all the nonbinding constrai...
Matteo Fischetti, Andrea Lodi
AUIC
2005
IEEE
15 years 5 months ago
Evaluation of Two Textual Programming Notations for Children
Many researchers have developed many programming environments for children. Typically each of these environments contains its own programming notation ranging from computer code t...
Timothy N. Wright, Andy Cockburn