Sciweavers

10899 search results - page 502 / 2180
» The GP Programming System
Sort
View
PATAT
2004
Springer
148views Education» more  PATAT 2004»
16 years 11 days ago
Interactively Solving School Timetabling Problems Using Extensions of Constraint Programming
Timetabling problems have been frequently studied due to their wide range of applications. However, they are often solved manually because of the lack of appropriate computer tools...
Hadrien Cambazard, Fabien Demazeau, Narendra Jussi...
EUROMICRO
2003
IEEE
16 years 9 days ago
Extreme Programming: First Results from a Controlled Case Study
Extreme programming (XP) is the most well known agile software development method. Many experience reports have been published in recent years. Successful XP adoptions have howeve...
Pekka Abrahamsson
IUI
2003
ACM
16 years 8 days ago
DJ-boids: emergent collective behavior as multichannel radio station programming
In this paper we propose to apply emergent collective behavior ideas to automatically program Internet multichannel radio stations. The proposed model simulates n virtual Dj'...
Jesús Ibáñez, Antonio F. G&oa...
IFL
2001
Springer
137views Formal Methods» more  IFL 2001»
15 years 11 months ago
A Generic Programming Extension for Clean
Abstract. Generic programming enables the programmer to define functions by induction on the structure of types. Defined once, such a generic function can be used to generate a s...
Artem Alimarine, Marinus J. Plasmeijer
KBSE
2000
IEEE
15 years 11 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...