1005 search results - page 16 / 201 » Patterns for Refinement Automation |
198
Voted
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
160
Voted
TIP
2002
15 years 6 months ago
2002
In this paper, we propose a novel and simple fast block-matching algorithm (BMA), called adaptive rood pattern search (ARPS), which consists of two sequential search stages: 1) ini...
164
Voted
DAC
2001
ACM
16 years 7 months ago
2001
ACM
120
Voted
ICLP
2005
Springer
15 years 12 months ago
2005
Springer
155
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
Software systems have to be flexible in order to cope with evolving requirements. However, since it is impossible to predict with certainty what future requirements will emerge, i...