1005 search results - page 16 / 201 » Patterns for Refinement Automation |
147
Voted
FM
2009
Springer
15 years 13 days 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...
112
Voted
TIP
2002
15 years 2 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...
114
Voted
DAC
2001
ACM
16 years 3 months ago
2001
ACM
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
111
click to vote
ICSE
2000
IEEE-ACM
15 years 6 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...