1759 search results - page 195 / 352 » Overview of Generative Software Development |
WSC
2001
15 years 2 months ago
2001
The paper presents a database-based method to reduce the development time and project lead-time for large discreteevent simulation models of entire factories. The database used to...
101
click to vote
AIIDE
2009
15 years 2 months ago
2009
We examine the problem of self-adaptation in game-playing agents as the game requirements evolve incrementally. The goal of our current work is to develop an interactive environme...
SIGSOFT
2009
ACM
16 years 1 months ago
2009
ACM
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
CASES
2007
ACM
15 years 5 months ago
2007
ACM
This paper tackles the problem of providing correct information about program variable values in a software-pipelined loop through a non-transparent debugging approach. Since mode...
106
Voted
VSTTE
2005
Springer
15 years 6 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...