1733 search results - page 34 / 347 » On the naturalness of software |
MODELS
2010
Springer
13 years 8 months ago
2010
Springer
An MDSD process is often organised as transformation chain. This can threaten the Separation of Concerns (SoC) principle, because information is replicated in, scattered over, and ...
ALIFE
2004
13 years 9 months ago
2004
The Avida digital evolution platform is a software tool used to perform experimental evolution research with self-replicating computer programs ("digital organisms"). Av...
ACL
2009
13 years 7 months ago
2009
In this paper, we study the problem of extracting technical paraphrases from a parallel software corpus, namely, a collection of duplicate bug reports. Paraphrase acquisition is a...
MODELS
2009
Springer
14 years 4 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
CONPAR
1994
14 years 1 months ago
1994
Data parallel languages such as Vienna Fortran and HPF can be successfully applied to a wide range of numerical applications. However, many advanced scienti c and engineering appl...