Sciweavers

16844 search results - page 361 / 3369
» How to Design Programs
Sort
View
CSMR
2004
IEEE
15 years 10 months ago
Using History Information to Improve Design Flaws Detection
1 As systems evolve and their structure decays, maintainers need accurate and automatic identification of the design problems. Current approaches for automatic detection of design...
Daniel Ratiu, Stéphane Ducasse, Tudor G&ici...
ICALT
2007
IEEE
16 years 1 months ago
Integrating Dynamic Program Visualization into BlueJ: the Jeliot 3 Extension
Previous research on program visualization tools has suggested that both static and dynamic aspects of the program shall be shown to novice students. We attempted to expand the st...
Niko Myller, Roman Bednarik, Andrés Moreno
FROCOS
2005
Springer
16 years 9 days ago
ATS: A Language That Combines Programming with Theorem Proving
ATS is a language with a highly expressive type system that supports a restricted form of dependent types in which programs are not allowed to appear in type expressions. The langu...
Sa Cui, Kevin Donnelly, Hongwei Xi
GECCO
2005
Springer
16 years 9 days ago
Function choice, resiliency and growth in genetic programming
In this paper we examine how the choice of functions in a genetic program (GP) affects the rate of code growth and the development of resilient individuals. We find that functio...
Sireesha Besetti, Terence Soule
GPCE
2005
Springer
16 years 9 days ago
Component-Oriented Programming with Sharing: Containment is Not Ownership
Abstract. Component-oriented programming yields a tension between higherorder features (deployment, reconfiguration, passivation), encapsulation, and component sharing. We propose...
Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, A...